Certifying assembly with formal security proofs: The case of BBS

✍ Scribed by Reynald Affeldt; David Nowak; Kiyoshi Yamada

• Book ID: 113890165
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 408 KB
• Volume: 77
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2011.07.003