Return to Article Details Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS Download Download PDF