Cryptology ePrint Archive: Report 2013/686

Available versions in chronological order


New abstractions in applied pi-calculus and automated verification of protected executions
Shiwei Xu and Sergiu Bursuc and Julian P. Murphy


[ Cryptology ePrint archive ]