Formal Methods in Cryptography
Zachary Flores - PhD from Colorado State University
|
Presentation |
04/17/2024 |
Thriving in between theory and practice: How applied cryptography bridges the gap
Matilda Backendal - ETH Zurich
Miro Haller - UC San Diego
|
Presentation |
04/03/2024 |
Large-scale computational records for public-key cryptography: current state of the art, and further directions
Emmanuel Thomé - INRIA
|
Presentation |
03/20/2024 |
Laconic Cryptography: New paradigms, constructions and directions
Nico Döttling - CISPA Helmholtz Center for Information Security
|
Presentation |
03/06/2024 |
A Yarn of Randomness: The CU Randomness Beacon and the Twine Protocol
Jasper Palfree - University of Colorado; NIST
|
Presentation |
02/21/2024 |
A Hitchhiker's Guide to Cryptography Code Audit
Tommaso Gagliardoni - Kudelski Security
Marco Macchetti - Kudelski Security
Sylvain Pelissier - Kudelski Security
|
Presentation |
01/24/2024 |
Synergies between AI and Cryptography: Challenges and Research Directions
Luca Mariot - University of Twente, Netherlands
|
Presentation |
01/10/2024 |
Poster: The NIST Crypto Reading Club
Luís T. A. N. Brandão - NIST/Strativia
Presented at:
NIST ITL Science Day 2023 @ NIST Gaithersburg, USA (November 08, 2023)
|
Presentation |
11/08/2023 |
BBS+ Signatures: Applications, Standardizations, and a bit of Theory
Greg M. Bernstein - Grotto Networking
Vasilis Kalos - MATTR
|
Presentation |
10/18/2023 |
Basics of Multivariate-based Cryptography (UOV scheme)
Hung Le-Thai - University of Limoges (France)
|
Presentation |
09/20/2023 |
Variants of the Syndrome Decoding Problem and algebraic cryptanalysis
Pierre Briaud - Inria Paris & Sorbonne Université (France)
|
Presentation |
09/06/2023 |
MinRank-based zero-knowledge proofs and signatures
Javier Verbel - Technology Innovation Institute (UAE)
|
Presentation |
08/09/2023 |
Overview of the IETF and Post-Quantum Protocols
Alyssa Thompson - NSA
|
Presentation |
07/12/2023 |
The genus of lattice forms and algebraic-arithmetic-geometric invariants
Daniel Apon - MITRE
|
Presentation |
06/28/2023 |
On MPCFHEZK-friendly symmetric crypto
Christian Rechberger - Graz University of Technology
|
Presentation |
06/14/2023 |
Evaluating the QROM Hardness of Cryptographic Assumptions in CRYSTALS-Dilithium
Kelsey Jackson - University of Maryland (USA)
|
Presentation |
05/17/2023 |
Basics of Code-based Cryptography (Hamming metric)
Maxime Bros - NIST
|
Presentation |
05/03/2023 |
Formally Verifying Kyber Part I: Functional Correctness
Manuel Barbosa - University of Porto (FCUP); INESC TEC
|
Presentation |
04/19/2023 |
Building and Breaking Lattice-Based Post-Quantum Cryptosystem Hardware
Aydin Aysu - North Carolina State University
|
Presentation |
04/05/2023 |
Taming the Many EdDSAs
Konstantinos Chalkias - Mysten Labs
François Garillot - Protocol Labs
Valeria Nikolaenko - A16z Crypto
|
Presentation |
03/08/2023 |
Crypto-satellites — a cryptographic trusted party in space and its applications
Yan Michalevsky - CryptoSat
|
Presentation |
02/08/2023 |
Local Leakage-resilience of Shamir's Secret-sharing Scheme
Hemanta Maji - Purdue University
|
Presentation |
01/25/2023 |
Pairing-free Blind Signatures with Exponential Security
Stefano Tessaro - University of Washington
|
Presentation |
01/11/2023 |
Moving toward real-world deployment of FHE
Cathie Yun - Google
|
Presentation |
12/14/2022 |
2F – A New Method for Constructing Efficient Multivariate Encryption Schemes
Daniel Smith-Tone - NIST and University of Louisville
|
Presentation |
11/16/2022 |
Adaptive Security of Multi-Party Protocols, Revisited
Chen-Da Liu-Zhang - NTT Research
|
Presentation |
11/02/2022 |
Breaking Category Five SPHINCS+ with SHA-256
Ray Perlner - NIST
|
Presentation |
10/19/2022 |
Basics of MD Hashes and Hash-Based Signatures
John Kelsey - NIST and KU Leuven
|
Presentation |
10/19/2022 |
New Representations of the AES Key Schedule
Clara Pernot - Inria (Paris)
|
Presentation |
10/05/2022 |
New Efficient Characteristic Three Polynomial Multiplication Algorithms and Their Applications to NTRU Prime
Esra Yeniaras
|
Presentation |
09/21/2022 |
On the (in)security of ROS
Michele Orrù - UC Berkeley
|
Presentation |
09/07/2022 |
Practical Privacy-Preserving Authentication for SSH
Mike Rosulek - Oregon State University
|
Presentation |
08/24/2022 |
Notes on Threshold EdDSA/Schnorr Signatures
Luís T. A. N. Brandão
|
Presentation |
08/10/2022 |
Decoding failures and error floors
Angela Robinson - NIST
|
Presentation |
07/27/2022 |
Approximate FHE scheme CKKS from A to Z
Duhyeong Kim - Intel Labs
Presented at:
Crypto Reading Club talk on 2022-Jul-13
|
Presentation |
07/13/2022 |
Improving the Design and Evaluation of Cryptographic Implementations against Leakage — Can Open Source Help and How?
François-Xavier Standaert - UCLouvain
|
Presentation |
06/29/2022 |
Modern zk-SNARKs (feat. Caulk)
Mary Maller - Ethereum Foundation and PQShield
|
Presentation |
06/15/2022 |
The First NIST PQC Standards
Dustin Moody - NIST
|
Presentation |
06/01/2022 |
Revisiting Leakage in Searchable Encryption
Evgenios Kornaropoulos - GMU
|
Presentation |
04/06/2022 |
Hash functions, program secrets and lattices
Giorgos Zirdelis - UMD
|
Presentation |
03/23/2022 |
Quantum Collision Attack with Respect to Primitive Security Margin
Yu Sasaki - NIST/NTT
|
Presentation |
03/09/2022 |
Attacks Cost Models
Ray Perlner - NIST
|
Presentation |
02/23/2022 |
Trapdoor claw-free functions in quantum cryptography
Carl Miller - NIST
|
Presentation |
02/09/2022 |
Collaborations with Standards Development Organizations (SDOs)
Luís Brandão - NIST/Strativia
Elaine Barker - NIST
Lily Chen - NIST
David Cooper - NIST
Quynh Dang - NIST
Noah Waller - NIST
|
Presentation |
01/26/2022 |
Accelerating FHE with ASICs
Nicholas Genise
|
Presentation |
01/12/2022 |
"We make it a big deal in the company": Security Mindsets in Organizations that Develop Cryptographic Products
Julie Haney - NIST
|
Presentation |
12/15/2021 |
Side Channels: Attacks, Defences, and Evaluation Schemes (Part 2)
Elisabeth Oswald - University of Klagenfurt and University of Bristol
James Howe
Presented at:
Crypto reading club talk on 2021-Dec-01
|
Presentation |
12/01/2021 |
Side Channels: Attacks, Defences, and Evaluation Schemes (Part 1)
Elisabeth Oswald - University of Klagenfurt and University of Bristol
James Howe
Presented at: Crypto Reading Club talk on 2021-Nov-17
|
Presentation |
11/17/2021 |
Threshold Hash-Based Signatures
John Kelsey - NIST
|
Presentation |
11/03/2021 |
Is Bitcoin Outdated? Comparative Cryptocurrency Design and Security
Michael Davidson - NIST
|
Presentation |
10/20/2021 |
Linear Homomorphic Encryption from Class Groups of Quadratic Fields
Guilhem Castagnos - University of Bordeaux
Presented at:
Presentation via Webex video conference
|
Presentation |
06/16/2021 |
