Cryptology ePrint Archive: Report 2013/686

Available versions in chronological order

20131024:161009 (posted 24-Oct-2013 16:10:09 UTC): New abstractions in applied pi-calculus and automated verification of protected executions; Shiwei Xu and Sergiu Bursuc and Julian P. Murphy

[ Cryptology ePrint archive ]