Developing High-Performance Mechanically-Verified Cryptographic Code
Channel: IACR
Date: 31/12/2019

Paper by Bryan Parno presented at Cryptographic Hardware and Embedded Systems Conference 2019
See https://iacr.org/cryptodb/data/paper.php?pubkey=29938