R. Affeldt, D. Nowak, and K. Yamada, “Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS”, eceasst, vol. 23, Dec. 2009.