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