Engineering post-quantum cryptography

Información del proyecto

EPOQUE

Identificador del acuerdo de subvención: 805031

DOI

10.3030/805031

Proyecto cerrado

Fecha de la firma de la CE 28 Septiembre 2018

Fecha de inicio 1 Octubre 2018

Fecha de finalización 31 Diciembre 2023

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 500 000,00

Aportación de la UE

€ 1 500 000,00

Coordinado por

STICHTING RADBOUD UNIVERSITEIT
Netherlands

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Open Research Data Pilot (1)

Data Management Plan

Data Management Plan as required by the ORDP

Publicaciones

Peer reviewed articles (14)

NTT Multiplication for NTT-unfriendly Rings

Autores: Chi-Ming Marvin Chung, Vincent Hwang, Matthias J. Kannwischer, Gregor Seiler, Cheng-Jhih Shih, Bo-Yin Yang
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, Página(s) 159-188, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i2.159-188

Rainbow on Cortex-M4

Autores: Tung Chou, Matthias J. Kannwischer, Bo-Yin Yang
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, Página(s) 650-675, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i4.650-675

Tighter Trail Bounds for Xoodoo

Autores: Silvia Mella, Joan Daemen, Gilles Van Assche
Publicado en: IACR Transactions on Symmetric Cryptology, Edición 2023-4, 2023, Página(s) 187–214, ISSN 2519-173X
Editor: Ruhr University Bochum
DOI: 10.46586/tosc.v2023.i4.187-214

Strength in Numbers: Improving Generalization with Ensembles in Machine Learning-based Profiled Side-channel Analysis

Autores: Guilherme Perin, Łukasz Chmielewski, Stjepan Picek
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Página(s) 337-364, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.13154/tches.v2020.i4.337-364

X-Wing: The Hybrid KEM You've Been Looking For

Autores: Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karolin Varner, Bas Westerbaan
Publicado en: IACR Communications in Cryptology, Edición volume 1, issue 1, 2024
Editor: IACR
DOI: 10.62056/a3qj89n4e

SoK: SCA-secure ECC in software – mission impossible?

Autores: Lejla Batina, Łukasz Chmielewski, Björn Haase, Niels Samwel, Peter Schwabe
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, Edición 2023-1, 2022, Página(s) 557-589, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2023.i1.557-589

Compact Dilithium Implementations on Cortex-M3 and Cortex-M4

Autores: Denisa O. C. Greconici, Matthias J. Kannwischer, Daan Sprenkels
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Página(s) 1-24, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i1.1-24

Optimizations and Practicality of High-Security CSIDH

Autores: Fabio Campos, Jorge Chávez-Saab, Jesús-Javier Chi-Domínguez, Michael Meyer, Krijn Reijnders, Francisco Rodríguez-Henríquez, Peter Schwabe, Thom Wiggers
Publicado en: IACR Communications in Cryptology, Edición volume 1, issue 1, 2024
Editor: IACR
DOI: 10.62056/anjbksdja

High-assurance zeroization

Autores: Santiago Arranz Olmos , Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe, Tiago Oliveira, Peter Schwabe
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, Edición 2024-1, 2023, Página(s) 375-397, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2024.i1.375-397

Single-Trace Attacks on Keccak

Autores: Matthias J. Kannwischer, Peter Pessl, Robert Primas
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Edición 2020 Edición 3, 2020, Página(s) to appear, ISSN 2569-2925
Editor: Ruhr University Bochum

Formally verifying Kyber -- Episode IV: Implementation correctness

Autores: José Bacelar Almeida, Universidade do Minho, INESC TEC Manuel Barbosa, University of Porto (FCUP), INESC TEC Gilles Barthe, Max Planck Institute for Security and Privacy, IMDEA Software Benjamin Grégoire, Université Côte dAzur, French Institute for Research in Computer Science and Automation Vincent Laporte, Université de Lorraine, French National Centre for Scientific Research, French Instit
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, Edición 2023-3, 2023, Página(s) 164-193, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2023.i3.164-193

Systematic Side-Channel Analysis of Curve25519 with Machine Learning

Autores: Léo Weissbart, Łukasz Chmielewski, Stjepan Picek, Lejla Batina
Publicado en: Journal of Hardware and Systems Security, Edición 4/4, 2020, Página(s) 314-328, ISSN 2509-3428
Editor: Springer Nature
DOI: 10.1007/s41635-020-00106-w

Fault Injection as an Oscilloscope: Fault Correlation Analysis

Autores: Albert Spruyt, Alyssa Milburn, Łukasz Chmielewski
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Página(s) 192-216, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i1.192-216

Keep it Unsupervised: Horizontal Attacks Meet Deep Learning

Autores: Guilherme Perin, Łukasz Chmielewski, Lejla Batina, Stjepan Picek
Publicado en: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Página(s) 343-372, ISSN 2569-2925
Editor: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i1.343-372

Conference proceedings (25)

Post Quantum Noise

Autores: Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber
Publicado en: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
Editor: ACM
DOI: 10.1145/3548606.3560577

Improving Software Quality in Cryptography Standardization Projects

Autores: Matthias J. Kannwischer; Peter Schwabe; Douglas Stebila; Thom Wiggers
Publicado en: 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2022, Página(s) 19-30
Editor: IEEE
DOI: 10.1109/eurospw55150.2022.00010

Typing High-Speed Cryptography against Spectre v1

Autores: Basavesh Ammanaghatta Shivakumar , Gilles Barthe, Benjamin Grégoire , Vincent Laporte , Tiago Oliveira, Swarn Priya , Peter Schwabe , Lucas Tabary-Maujean
Publicado en: 2023 IEEE Symposium on Security and Privacy (SP), 2023, Página(s) 1094-1111
Editor: IEEE
DOI: 10.1109/sp46215.2023.10179418

TLS → Post-Quantum TLS: Inspecting the TLS landscape for PQC adoption on Android

Autores: Dimitri Mankowski; Thom Wiggers; Veelasha Moonsamy
Publicado en: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2023, Página(s) 526-538
Editor: IEEE
DOI: 10.1109/eurospw59978.2023.00065

KEMTLS with Delayed Forward Identity Protection in (Almost) a Single Round Trip

Autores: Felix Günther, Simon Rastikian, Patrick Towa, Thom Wiggers
Publicado en: Applied Cryptography and Network Security, Edición LNCS 13269, 2022, Página(s) 253–272
Editor: Springer
DOI: 10.1007/978-3-031-09234-3_13

Post-Quantum TLS Without Handshake Signatures

Autores: Peter Schwabe, Douglas Stebila, Thom Wiggers
Publicado en: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, Página(s) 1461-1480, ISBN 9781450370899
Editor: ACM
DOI: 10.1145/3372297.3423350

High-Assurance Cryptography Software in the Spectre Era

Autores: Gilles Barthem Sunjay Cauligi, Benjamin Gregoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
Publicado en: 2021 IEEE Symposium on Security and Privacy (SP), 2021, Página(s) 788-805
Editor: IEEE Computer Society
DOI: 10.1109/sp40001.2021.00046

A tale of two models: formal verification of KEMTLS via Tamarin

Autores: Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers,
Publicado en: Computer Security – ESORICS 2022, Edición LNCS13556, 2022, Página(s) 63–83
Editor: Springer
DOI: 10.1007/978-3-031-17143-7_4

Formally verifying Kyber -- Episode V: End-to-end machine-checked IND-CCA securityand correctness of ML-KEM in EasyCrypt

Autores: José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, and Pierre-Yves Strub
Publicado en: Advances in Cryptology -- CRYPTO 2024, 2024
Editor: Springer

“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks

Autores: Jan Jancar, Marcel Fourné, Daniel De Almeida Braga, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, and Yasemin Acar
Publicado en: 2022 IEEE Symposium on Security and Privacy (SP), 2021
Editor: IEEE
DOI: 10.1109/sp46214.2022.9833713

Post-Quantum Multi-Recipient Public Key Encryption

Autores: Joël Alwen, Dominik Hartmann, Eike Kiltz, Marta Mularczyk, Peter Schwabe,
Publicado en: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Página(s) 1108–1122
Editor: ACM
DOI: 10.1145/3576915.3623185

"""These results must be false"": A usability evaluation of constant-time analysis tools"

Autores: Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
Publicado en: Proceedings of the 33rd USENIX Security Symposium, 2024
Editor: USENIX

Algebraic Algorithm for the Alternating Trilinear Form Equivalence Problem

Autores: Lars Ran, Simona Samardjiska, Monika Trimoska
Publicado en: Code-Based Cryptography, Edición LNCS 14311, 2023, Página(s) 84–103
Editor: Springer
DOI: 10.1007/978-3-031-46495-9_5

swoosh: efficient lattice-based non-interactive key exchange

Autores: Phillip Gajland, Bor de Kock, Miguel Quaresma, Giulio Malavolta, Peter Schwabe
Publicado en: Proceedings of the 33rd USENIX Security Symposium, 2024
Editor: USENIX

Take your MEDS: Digital Signatures from Matrix Code Equivalence

Autores: Tung Chou, Ruben Niederhagen, Edoardo Persichetti, Tovohery Hajatiana Randrianarisoa, Krijn Reijnders, Simona Samardjiska, Monika Trimoska,
Publicado en: Progress in Cryptology - AFRICACRYPT 2023, Edición LNCS14064, 2023, Página(s) 28–52
Editor: Springer
DOI: 10.1007/978-3-031-37679-5_2

KEMTLS vs. Post-Quantum TLS: Performance On Embedded Systems

Autores: Ruben Gonzalez, Thom Wiggers
Publicado en: Security, Privacy, and Applied Cryptography Engineering, Edición LNCS 13783, 2022, Página(s) 99–117
Editor: Springer
DOI: 10.1007/978-3-031-22829-2

The SPHINCS + Signature Framework

Autores: Daniel J. Bernstein, Andreas Hülsing, Stefan Kölbl, Ruben Niederhagen, Joost Rijneveld, Peter Schwabe
Publicado en: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, Página(s) 2129-2146, ISBN 9781-450367479
Editor: ACM
DOI: 10.1145/3319535.3363229

pqm4: Testing and Benchmarking NIST PQC on ARM Cortex-M4

Autores: Matthias J. Kannwischer, Joost Rijneveld, Peter Schwabe, and Ko Stoffelen
Publicado en: Workshop Record of the Second PQC Standardization Conference, 2019
Editor: Second PQC Standardization Conference

Spectre Declassified: Reading from the Right Place at the Wrong Time

Autores: Basavesh Ammanaghatta Shivakumar, Jack Barnes, Gilles Barthe, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O’Connell, Peter Schwabe, Rui Qi Sim, Yuval Yarom
Publicado en: 2023 IEEE Symposium on Security and Privacy (SP), 2023, Página(s) 1753-1770
Editor: IEEE
DOI: 10.1109/sp46215.2023.10179355

Faster Kyber and Dilithium on the Cortex-M4

Autores: Amin Abdulrahman, Vincent Hwang, Matthias J. Kannwischer, Amber Sprenkels
Publicado en: Applied Cryptography and Network Security, Edición LNCS 13269, 2022, Página(s) 853–871
Editor: Springer
DOI: 10.1007/978-3-031-09234-3_42

Rosita++: Automatic Higher-Order Leakage Elimination from Cryptographic Code

Autores: Madura A. Shelton, Łukasz Chmielewski, Niels Samwel, Markus Wagner, Lejla Batina, Yuval Yarom
Publicado en: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, Página(s) 685-699, ISBN 9781450384544
Editor: ACM
DOI: 10.1145/3460120.3485380

Practically Solving LPN

Autores: Thom Wiggers, Simona Samardjiska
Publicado en: 2021 IEEE International Symposium on Information Theory (ISIT), 2021, Página(s) 2399-2404, ISBN 978-1-5386-8209-8
Editor: IEEE
DOI: 10.1109/isit45174.2021.9518109

Ultimate SLH: Taking Speculative Load Hardening to the Next Level

Autores: Zhiyuan Zhang, Gilles Barthe, Chitchanok Chuengsatiansup, Peter Schwabe, Yuval Yarom,
Publicado en: Proceedings of the 32nd USENIX Security Symposium, 2023, Página(s) 7125-7142
Editor: USENIX

Post-quantum WireGuard

Autores: Andreas Hülsing, Kai-Chun Ning, Peter Schwabe, Florian Weber, Philip R. Zimmermann
Publicado en: 2021 IEEE Symposium on Security and Privacy (SP), 2021, Página(s) 511-528
Editor: IEEE Computer Society
DOI: 10.1109/sp40001.2021.00030

Trouble at the CSIDH: Protecting CSIDH with Dummy-Operations Against Fault Injection Attacks

Autores: Fabio Campos, Matthias J. Kannwischer, Michael Meyer, Hiroshi Onuki, Marc Stottinger
Publicado en: 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), 2020, Página(s) 57-65, ISBN 978-1-7281-9562-9
Editor: IEEE Computer Society
DOI: 10.1109/fdtc51366.2020.00015

Book chapters (9)

Implementing and Measuring KEMTLS

Autores: Sofía Celi, Armando Faz-Hernández, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood
Publicado en: Progress in Cryptology – LATINCRYPT 2021, Edición LNCS, volume 12912, 2021, Página(s) 88-107
Editor: Springer
DOI: 10.1007/978-3-030-88238-9_5

More Efficient Post-quantum KEMTLS with Pre-distributed Public Keys

Autores: Peter Schwabe, Douglas Stebila, Thom Wiggers
Publicado en: Computer Security – ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I, Edición 12972, 2021, Página(s) 3-22, ISBN 978-3-030-88417-8
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-88418-5_1

Side Channel Information Set Decoding Using Iterative Chunking - Plaintext Recovery from the “Classic McEliece” Hardware Reference Implementation

Autores: Norman Lahr, Ruben Niederhagen, Richard Petri, Simona Samardjiska
Publicado en: Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7–11, 2020, Proceedings, Part I, Edición 12491, 2020, Página(s) 881-910, ISBN 978-3-030-64836-7
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-64837-4_29

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

Autores: Leon Botros, Matthias J. Kannwischer, Peter Schwabe
Publicado en: Progress in Cryptology – AFRICACRYPT 2019 - 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings, Edición 11627, 2019, Página(s) 209-228, ISBN 978-3-030-23695-3
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-23696-0_11

Faster Multiplication in $$\mathbb {Z}_{2^m}[x]$$ on Cortex-M4 to Speed up NIST PQC Candidates

Autores: Matthias J. Kannwischer, Joost Rijneveld, Peter Schwabe
Publicado en: Applied Cryptography and Network Security - 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings, Edición 11464, 2019, Página(s) 281-301, ISBN 978-3-030-21567-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-21568-2_14

Location, Location, Location: Revisiting Modeling and Exploitation for Location-Based Side Channel Leakages

Autores: Christos Andrikos, Lejla Batina, Lukasz Chmielewski, Liran Lerman, Vasilios Mavroudis, Kostas Papagiannopoulos, Guilherme Perin, Giorgos Rassias, Alberto Sonnino
Publicado en: Advances in Cryptology – ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III, Edición 11923, 2019, Página(s) 285-314, ISBN 978-3-030-34617-1
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-34618-8_10

A Reaction Attack Against Cryptosystems Based on LRPC Codes

Autores: Simona Samardjiska, Paolo Santini, Edoardo Persichetti, Gustavo Banegas
Publicado en: Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings, Edición 11774, 2019, Página(s) 197-216, ISBN 978-3-030-30529-1
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-30530-7_10

Assembly or Optimized C for Lightweight Cryptography on RISC-V?

Autores: Fabio Campos, Lars Jellema, Mauk Lemmen, Lars Müller, Daan Sprenkels, Benoit Viguier
Publicado en: Cryptology and Network Security - 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings, Edición 12579, 2020, Página(s) 526-545, ISBN 978-3-030-65410-8
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-65411-5_26

Verifying Post-Quantum Signatures in 8 kB of RAM

Autores: Ruben Gonzalez, Andreas Hülsing, Matthias J. Kannwischer, Juliane Krämer, Tanja Lange, Marc Stöttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang
Publicado en: Post-Quantum Cryptography - 12th International Workshop, PQCrypto 2021, Daejeon, South Korea, July 20–22, 2021, Proceedings, Edición 12841, 2021, Página(s) 215-233, ISBN 978-3-030-81292-8
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-81293-5_12

Thesis and dissertations (2)

Post-Quantum TLS

Autores: Thom Wiggers
Publicado en: 2024, ISBN 9789464733303
Editor: Radboud University

Polynomial Multiplication for Post-Quantum Cryptography

Autores: Kannwischer, M.J.
Publicado en: 2022
Editor: Radboud University