Yamada, Kiyoshi
-
Volume 23: Automated Verification of Critical Systems 2009 - Articles
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST