Dominic Duggan, Ye Wu. Security correctness for secure nested transactions: position paper. In Sergio Maffeis, Tamara Rezk, editors, Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012. pages 4, ACM, 2012. [doi]
Abstract is missing.