Skip to main content
European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Engineering post-quantum cryptography

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan

Data Management Plan as required by the ORDP

Publications

NTT Multiplication for NTT-unfriendly Rings

Auteurs: Chi-Ming Marvin Chung, Vincent Hwang, Matthias J. Kannwischer, Gregor Seiler, Cheng-Jhih Shih, Bo-Yin Yang
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, Page(s) 159-188, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i2.159-188

Rainbow on Cortex-M4

Auteurs: Tung Chou, Matthias J. Kannwischer, Bo-Yin Yang
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021, Page(s) 650-675, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i4.650-675

Tighter Trail Bounds for Xoodoo

Auteurs: Silvia Mella, Joan Daemen, Gilles Van Assche
Publié dans: IACR Transactions on Symmetric Cryptology, Numéro 2023-4, 2023, Page(s) 187–214, ISSN 2519-173X
Éditeur: 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

Auteurs: Guilherme Perin, Łukasz Chmielewski, Stjepan Picek
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Page(s) 337-364, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.13154/tches.v2020.i4.337-364

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

Auteurs: Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karolin Varner, Bas Westerbaan
Publié dans: IACR Communications in Cryptology, Numéro volume 1, issue 1, 2024
Éditeur: IACR
DOI: 10.62056/a3qj89n4e

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

Auteurs: Lejla Batina, Łukasz Chmielewski, Björn Haase, Niels Samwel, Peter Schwabe
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, Numéro 2023-1, 2022, Page(s) 557-589, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2023.i1.557-589

Compact Dilithium Implementations on Cortex-M3 and Cortex-M4

Auteurs: Denisa O. C. Greconici, Matthias J. Kannwischer, Daan Sprenkels
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Page(s) 1-24, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i1.1-24

Optimizations and Practicality of High-Security CSIDH

Auteurs: 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
Publié dans: IACR Communications in Cryptology, Numéro volume 1, issue 1, 2024
Éditeur: IACR
DOI: 10.62056/anjbksdja

High-assurance zeroization

Auteurs: Santiago Arranz Olmos , Gilles Barthe, Ruben Gonzalez, Benjamin Grégoire, Vincent Laporte, Jean-Christophe, Tiago Oliveira, Peter Schwabe
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, Numéro 2024-1, 2023, Page(s) 375-397, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2024.i1.375-397

Single-Trace Attacks on Keccak

Auteurs: Matthias J. Kannwischer, Peter Pessl, Robert Primas
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), Numéro 2020 Numéro 3, 2020, Page(s) to appear, ISSN 2569-2925
Éditeur: Ruhr University Bochum

Formally verifying Kyber -- Episode IV: Implementation correctness

Auteurs: 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
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, Numéro 2023-3, 2023, Page(s) 164-193, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2023.i3.164-193

Systematic Side-Channel Analysis of Curve25519 with Machine Learning

Auteurs: Léo Weissbart, Łukasz Chmielewski, Stjepan Picek, Lejla Batina
Publié dans: Journal of Hardware and Systems Security, Numéro 4/4, 2020, Page(s) 314-328, ISSN 2509-3428
Éditeur: Springer Nature
DOI: 10.1007/s41635-020-00106-w

Fault Injection as an Oscilloscope: Fault Correlation Analysis

Auteurs: Albert Spruyt, Alyssa Milburn, Łukasz Chmielewski
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Page(s) 192-216, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i1.192-216

Keep it Unsupervised: Horizontal Attacks Meet Deep Learning

Auteurs: Guilherme Perin, Łukasz Chmielewski, Lejla Batina, Stjepan Picek
Publié dans: IACR Transactions on Cryptographic Hardware and Embedded Systems, 2020, Page(s) 343-372, ISSN 2569-2925
Éditeur: Ruhr University Bochum
DOI: 10.46586/tches.v2021.i1.343-372

Post Quantum Noise

Auteurs: Yawning Angel, Benjamin Dowling, Andreas Hülsing, Peter Schwabe, Florian Weber
Publié dans: CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
Éditeur: ACM
DOI: 10.1145/3548606.3560577

Improving Software Quality in Cryptography Standardization Projects

Auteurs: Matthias J. Kannwischer; Peter Schwabe; Douglas Stebila; Thom Wiggers
Publié dans: 2022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2022, Page(s) 19-30
Éditeur: IEEE
DOI: 10.1109/eurospw55150.2022.00010

Typing High-Speed Cryptography against Spectre v1

Auteurs: Basavesh Ammanaghatta Shivakumar , Gilles Barthe, Benjamin Grégoire , Vincent Laporte , Tiago Oliveira, Swarn Priya , Peter Schwabe , Lucas Tabary-Maujean
Publié dans: 2023 IEEE Symposium on Security and Privacy (SP), 2023, Page(s) 1094-1111
Éditeur: IEEE
DOI: 10.1109/sp46215.2023.10179418

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

Auteurs: Dimitri Mankowski; Thom Wiggers; Veelasha Moonsamy
Publié dans: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2023, Page(s) 526-538
Éditeur: IEEE
DOI: 10.1109/eurospw59978.2023.00065

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

Auteurs: Felix Günther, Simon Rastikian, Patrick Towa, Thom Wiggers
Publié dans: Applied Cryptography and Network Security, Numéro LNCS 13269, 2022, Page(s) 253–272
Éditeur: Springer
DOI: 10.1007/978-3-031-09234-3_13

Post-Quantum TLS Without Handshake Signatures

Auteurs: Peter Schwabe, Douglas Stebila, Thom Wiggers
Publié dans: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, Page(s) 1461-1480, ISBN 9781450370899
Éditeur: ACM
DOI: 10.1145/3372297.3423350

High-Assurance Cryptography Software in the Spectre Era

Auteurs: Gilles Barthem Sunjay Cauligi, Benjamin Gregoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira, Swarn Priya, Tamara Rezk, Peter Schwabe
Publié dans: 2021 IEEE Symposium on Security and Privacy (SP), 2021, Page(s) 788-805
Éditeur: IEEE Computer Society
DOI: 10.1109/sp40001.2021.00046

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

Auteurs: Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers,
Publié dans: Computer Security – ESORICS 2022, Numéro LNCS13556, 2022, Page(s) 63–83
Éditeur: 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

Auteurs: 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
Publié dans: Advances in Cryptology -- CRYPTO 2024, 2024
Éditeur: Springer

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

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

Post-Quantum Multi-Recipient Public Key Encryption

Auteurs: Joël Alwen, Dominik Hartmann, Eike Kiltz, Marta Mularczyk, Peter Schwabe,
Publié dans: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Page(s) 1108–1122
Éditeur: ACM
DOI: 10.1145/3576915.3623185

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

Auteurs: Marcel Fourné, Daniel De Almeida Braga, Jan Jancar, Mohamed Sabt, Peter Schwabe, Gilles Barthe, Pierre-Alain Fouque, Yasemin Acar
Publié dans: Proceedings of the 33rd USENIX Security Symposium, 2024
Éditeur: USENIX

Algebraic Algorithm for the Alternating Trilinear Form Equivalence Problem

Auteurs: Lars Ran, Simona Samardjiska, Monika Trimoska
Publié dans: Code-Based Cryptography, Numéro LNCS 14311, 2023, Page(s) 84–103
Éditeur: Springer
DOI: 10.1007/978-3-031-46495-9_5

swoosh: efficient lattice-based non-interactive key exchange

Auteurs: Phillip Gajland, Bor de Kock, Miguel Quaresma, Giulio Malavolta, Peter Schwabe
Publié dans: Proceedings of the 33rd USENIX Security Symposium, 2024
Éditeur: USENIX

Take your MEDS: Digital Signatures from Matrix Code Equivalence

Auteurs: Tung Chou, Ruben Niederhagen, Edoardo Persichetti, Tovohery Hajatiana Randrianarisoa, Krijn Reijnders, Simona Samardjiska, Monika Trimoska,
Publié dans: Progress in Cryptology - AFRICACRYPT 2023, Numéro LNCS14064, 2023, Page(s) 28–52
Éditeur: Springer
DOI: 10.1007/978-3-031-37679-5_2

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

Auteurs: Ruben Gonzalez, Thom Wiggers
Publié dans: Security, Privacy, and Applied Cryptography Engineering, Numéro LNCS 13783, 2022, Page(s) 99–117
Éditeur: Springer
DOI: 10.1007/978-3-031-22829-2

The SPHINCS + Signature Framework

Auteurs: Daniel J. Bernstein, Andreas Hülsing, Stefan Kölbl, Ruben Niederhagen, Joost Rijneveld, Peter Schwabe
Publié dans: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, Page(s) 2129-2146, ISBN 9781-450367479
Éditeur: ACM
DOI: 10.1145/3319535.3363229

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

Auteurs: Matthias J. Kannwischer, Joost Rijneveld, Peter Schwabe, and Ko Stoffelen
Publié dans: Workshop Record of the Second PQC Standardization Conference, 2019
Éditeur: Second PQC Standardization Conference

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

Auteurs: Basavesh Ammanaghatta Shivakumar, Jack Barnes, Gilles Barthe, Sunjay Cauligi, Chitchanok Chuengsatiansup, Daniel Genkin, Sioli O’Connell, Peter Schwabe, Rui Qi Sim, Yuval Yarom
Publié dans: 2023 IEEE Symposium on Security and Privacy (SP), 2023, Page(s) 1753-1770
Éditeur: IEEE
DOI: 10.1109/sp46215.2023.10179355

Faster Kyber and Dilithium on the Cortex-M4

Auteurs: Amin Abdulrahman, Vincent Hwang, Matthias J. Kannwischer, Amber Sprenkels
Publié dans: Applied Cryptography and Network Security, Numéro LNCS 13269, 2022, Page(s) 853–871
Éditeur: Springer
DOI: 10.1007/978-3-031-09234-3_42

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

Auteurs: Madura A. Shelton, Łukasz Chmielewski, Niels Samwel, Markus Wagner, Lejla Batina, Yuval Yarom
Publié dans: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, Page(s) 685-699, ISBN 9781450384544
Éditeur: ACM
DOI: 10.1145/3460120.3485380

Practically Solving LPN

Auteurs: Thom Wiggers, Simona Samardjiska
Publié dans: 2021 IEEE International Symposium on Information Theory (ISIT), 2021, Page(s) 2399-2404, ISBN 978-1-5386-8209-8
Éditeur: IEEE
DOI: 10.1109/isit45174.2021.9518109

Ultimate SLH: Taking Speculative Load Hardening to the Next Level

Auteurs: Zhiyuan Zhang, Gilles Barthe, Chitchanok Chuengsatiansup, Peter Schwabe, Yuval Yarom,
Publié dans: Proceedings of the 32nd USENIX Security Symposium, 2023, Page(s) 7125-7142
Éditeur: USENIX

Post-quantum WireGuard

Auteurs: Andreas Hülsing, Kai-Chun Ning, Peter Schwabe, Florian Weber, Philip R. Zimmermann
Publié dans: 2021 IEEE Symposium on Security and Privacy (SP), 2021, Page(s) 511-528
Éditeur: IEEE Computer Society
DOI: 10.1109/sp40001.2021.00030

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

Auteurs: Fabio Campos, Matthias J. Kannwischer, Michael Meyer, Hiroshi Onuki, Marc Stottinger
Publié dans: 2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC), 2020, Page(s) 57-65, ISBN 978-1-7281-9562-9
Éditeur: IEEE Computer Society
DOI: 10.1109/fdtc51366.2020.00015

Implementing and Measuring KEMTLS

Auteurs: Sofía Celi, Armando Faz-Hernández, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood
Publié dans: Progress in Cryptology – LATINCRYPT 2021, Numéro LNCS, volume 12912, 2021, Page(s) 88-107
Éditeur: Springer
DOI: 10.1007/978-3-030-88238-9_5

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

Auteurs: Peter Schwabe, Douglas Stebila, Thom Wiggers
Publié dans: Computer Security – ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I, Numéro 12972, 2021, Page(s) 3-22, ISBN 978-3-030-88417-8
Éditeur: 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

Auteurs: Norman Lahr, Ruben Niederhagen, Richard Petri, Simona Samardjiska
Publié dans: 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, Numéro 12491, 2020, Page(s) 881-910, ISBN 978-3-030-64836-7
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-64837-4_29

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

Auteurs: Leon Botros, Matthias J. Kannwischer, Peter Schwabe
Publié dans: Progress in Cryptology – AFRICACRYPT 2019 - 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings, Numéro 11627, 2019, Page(s) 209-228, ISBN 978-3-030-23695-3
Éditeur: 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

Auteurs: Matthias J. Kannwischer, Joost Rijneveld, Peter Schwabe
Publié dans: Applied Cryptography and Network Security - 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings, Numéro 11464, 2019, Page(s) 281-301, ISBN 978-3-030-21567-5
Éditeur: 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

Auteurs: Christos Andrikos, Lejla Batina, Lukasz Chmielewski, Liran Lerman, Vasilios Mavroudis, Kostas Papagiannopoulos, Guilherme Perin, Giorgos Rassias, Alberto Sonnino
Publié dans: 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, Numéro 11923, 2019, Page(s) 285-314, ISBN 978-3-030-34617-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-34618-8_10

A Reaction Attack Against Cryptosystems Based on LRPC Codes

Auteurs: Simona Samardjiska, Paolo Santini, Edoardo Persichetti, Gustavo Banegas
Publié dans: 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, Numéro 11774, 2019, Page(s) 197-216, ISBN 978-3-030-30529-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-30530-7_10

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

Auteurs: Fabio Campos, Lars Jellema, Mauk Lemmen, Lars Müller, Daan Sprenkels, Benoit Viguier
Publié dans: Cryptology and Network Security - 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings, Numéro 12579, 2020, Page(s) 526-545, ISBN 978-3-030-65410-8
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-65411-5_26

Verifying Post-Quantum Signatures in 8 kB of RAM

Auteurs: Ruben Gonzalez, Andreas Hülsing, Matthias J. Kannwischer, Juliane Krämer, Tanja Lange, Marc Stöttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang
Publié dans: Post-Quantum Cryptography - 12th International Workshop, PQCrypto 2021, Daejeon, South Korea, July 20–22, 2021, Proceedings, Numéro 12841, 2021, Page(s) 215-233, ISBN 978-3-030-81292-8
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-81293-5_12

Post-Quantum TLS

Auteurs: Thom Wiggers
Publié dans: 2024, ISBN 9789464733303
Éditeur: Radboud University

Polynomial Multiplication for Post-Quantum Cryptography

Auteurs: Kannwischer, M.J.
Publié dans: 2022
Éditeur: Radboud University

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible