Affeldt, R.; Nowak, D.; Yamada, K. Certifying Assembly With Formal Cryptographic Proofs: The Case of BBS. eceasst 2009, 23.