The Security Impact of a New Cryptographic Library
From MaRDI portal
Publication:2915120
DOI10.1007/978-3-642-33481-8_9zbMath1303.94067MaRDI QIDQ2915120
Peter Schwabe, Daniel J. Bernstein, Tanja Lange
Publication date: 21 September 2012
Published in: Progress in Cryptology – LATINCRYPT 2012 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33481-8_9
94A60: Cryptography
Related Items
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC, Formal Proof of the Group Law for Edwards Elliptic Curves, Unnamed Item, Output-sensitive information flow analysis, A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data, Gaining trust by tracing security protocols, Verifying constant-time implementations by abstract interpretation, TweetNaCl: A Crypto Library in 100 Tweets
Uses Software