View of Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS

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