Cryptology ePrint Archive: Report 2009/322
Available versions in chronological order
20090701:101418 (posted 01-Jul-2009 10:14:18 UTC)
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS
Reynald Affeldt, David Nowak and Kiyoshi Yamada
20091029:100609 (posted 29-Oct-2009 10:06:09 UTC)
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS
Reynald Affeldt, David Nowak and Kiyoshi Yamada
Publication Info: An updated version will appear in the proceedings of AVoCS 2009.
20100513:102119 (posted 13-May-2010 10:21:19 UTC)
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS
Reynald Affeldt, David Nowak and Kiyoshi Yamada
Publication Info: An updated version appears in Automated Verification of Critical Systems 2009, volume 23 of Electronic Communications of the EASST
[
Cryptology ePrint archive
]