A selection of long talks. Regular conference presentations are not included in this list.

Desbordamiento de bĂșfer en implementaciones de SHA-3 (video)

Jornadas STIC CCN-CERT 2024

Thursday, November 28, 2024 – Madrid, Spain

Tutorial on Interactive and Automated Solvers (video)

FMCP 2024: NIST Workshop on Formal Methods within Certification Programs

Tuesday, July 23, 2024 – Rockville, MD, United States

Toward a New Block Cipher Mode Standard: Reasoning about Requirements Featuring the NECST Framework (slides) (video)

NIST Workshop on the Requirements for an Accordion Cipher Mode 2024

Thursday, June 20, 2024 – Rockville, MD, United States

Review of the Advanced Encryption Standard (slides) (video)

NSUCRYPTO 2020: The Seventh International Olympiad in Cryptography

Friday, October 16, 2020 – Virtual

On Proving Security against Differential Cryptanalysis (slides) (paper) (video)

CFAIL 2019: A Conference for Failed Approaches and Insightful Losses in Cryptology

Saturday, June 1, 2019 – New York City, NY, United States

Finding Bugs in Cryptographic Hash Function Implementations (slides)

ASK 2017: The Seventh Asian Workshop on Symmetric Key Cryptography – an IACR Cryptology School

Saturday, December 9, 2017 – Changsha, China

Symmetric-key Cryptography: an Engineering Perspective (slides)

ASK 2014: The Fourth Asian Workshop on Symmetric Key Cryptography – an IACR Cryptology School

Friday, December 19, 2014 – Chennai, India

Cryptanalysis of Symmetric-Key Primitives: Automated Techniques (slides)

ECRYPT II Summer School on Tools

Tuesday, 29 May 2012 – Mykonos, Greece

ARX-based Cryptography (slides)

ECRYPT II Summer School on Design and Security of Cryptographic Algorithms and Devices

Friday, June 3, 2011 – Albena, Bulgaria