Cryptology ePrint Archive: Report 2010/416

Available versions in chronological order

20100727:152523 (posted 27-Jul-2010 15:25:23 UTC): Computationally Sound Verification of Source Code; Michael Backes and Matteo Maffei and Dominique Unruh; Publication Info: A short version appears at ACM CCS 2010

[ Cryptology ePrint archive ]