Security correctness for secure nested transactions: position paper.

Dominic Duggan, Ye Wu

Browse the full PLDI paper archive.