Cryptology ePrint Archive: Report 2013/513
Available versions in chronological order
20130821:012023 (posted 21-Aug-2013 01:20:23 UTC)
Enforcing Language Semantics Using Proof-Carrying Data
Stephen Chong and Eran Tromer and Jeffrey A. Vaughan
20140114:001018 (posted 14-Jan-2014 00:10:18 UTC)
Enforcing Language Semantics Using Proof-Carrying Data
Stephen Chong and Eran Tromer and Jeffrey A. Vaughan
[
Cryptology ePrint archive
]