Secure Nested Transactions

Reference: "Security Correctness for Secure Nested Transactions," Dominic Duggan and Ye Wu. Stevens Computer Science Technical Report 2011-4, July 2011. Available here.