Formal Verification for High Assurance Security Software in F*

Benjamin Beurdouche , Véronique CORTIER , Gilles BARTHE , Cas CREMERS
Ph. D. Dissertation

1
2020
TESLA: Tightly-Secure Efficient Signatures from Standard Lattices.

Erdem Alkim , Johannes Buchmann , Özgür Dagdelen , Peter Schwabe
IACR Cryptology ePrint Archive 2015 755

19
2015
Post-quantum key exchange: a new hope

Erdem Alkim , Léo Ducas , Thomas Pöppelmann , Peter Schwabe
usenix security symposium 327 -343

963
2016
NewHope without reconciliation.

Erdem Alkim , Thomas Pöppelmann , Peter Schwabe , Léo Ducas
IACR Cryptology ePrint Archive 2016 1157

50
2016
NTRU-HRSS-KEM - Submission to the NIST post-quantum cryptography project

Peter Schwabe , Joost Rijneveld , John M. Schanck , Andreas Hülsing

6
2017
SHA-3 on ARM11 processors.

Bo-Yin Yang , Shang-Yi Yang , Peter Schwabe
IACR Cryptology ePrint Archive 2011 670

1
2011
New software speed records for cryptographic pairings

Ruben Niederhagen , Michael Naehrig , Peter Schwabe
IACR Cryptology ePrint Archive 2010 186

2010
Usable assembly language for GPUs : a success story

Ruben Niederhagen , Bo-Yin Yang , Hsieh-Chung Chen , Tanja Lange
IACR Cryptology ePrint Archive 2012 137

2
2012
Post-Quantum TLS Without Handshake Signatures

Douglas Stebila , Thom Wiggers , Peter Schwabe
computer and communications security 2020 1461 -1480

72
2020
High-Assurance Cryptography in the Spectre Era

Tamara Rezk , Gilles Barthe , Benjamin Gregoire , Peter Schwabe
ieee symposium on security and privacy

2
2021
SPHINCS: Practical Stateless Hash-Based Signatures

Daniel J. Bernstein , Daira Hopwood , Andreas Hülsing , Tanja Lange
theory and application of cryptographic techniques 368 -397

393
2015
On the correct use of the negation map in the Pollard rho method

Daniel J. Bernstein , Tanja Lange , Peter Schwabe
public key cryptography 128 -146

45
2011
The Security Impact of a New Cryptographic Library

Daniel J. Bernstein , Tanja Lange , Peter Schwabe
Progress in Cryptology – LATINCRYPT 2012 159 -176

169
2012
CRYSTALS-Dilithium: A lattice-based digital signature scheme

Léo Ducas , Eike Kiltz , Tancrède Lepoint , Vadim Lyubashevsky
cryptographic hardware and embedded systems 2018 ( 1) 238 -268

297
2018
The Complete Cost of Cofactor $$h=1$$

Peter Schwabe , Daan Sprenkels
Lecture Notes in Computer Science 2019 375 -397

3
2019
Efficient vector implementations of AES-Based designs: a case study and new implemenations for grøstl

Severin Holzer-Graf , Thomas Krinninger , Martin Pernull , Martin Schläffer
the cryptographers track at the rsa conference 145 -161

8
2013
NEON crypto

Daniel J. Bernstein , Peter Schwabe
cryptographic hardware and embedded systems 320 -339

124
2012
Memory-Efficient High-Speed Implementation of Kyber on Cortex-M4

Leon Botros , Matthias J. Kannwischer , Peter Schwabe
international conference on cryptology in africa 2019 209 -228

71
2019