Evolution of Cryptanalysis: Security Updates on SHA-3 and AES Hashing
In this talk, we will survey the developments of cryptanalysis methods over the last two decades, and how they evolve from traditional ways to those aided by automatic tools like SAT solver, as well as by machine learning. We will showcase their effectiveness by applications to SHA-3, and AES hashing modes, in both classical and quantum settings.
Jian Guo is currently a faculty member with Nanyang Technological University in Singapore. He has been working on symmetric-key cryptography dedicatedly and has published 40+ papers with the IACR since 2007. He co-designed several symmetric-key primitives, including the lightweight block cipher LED and lightweight hash function PHOTON, and continuously provides updated security evaluations to important symmetric-key designs, such as SHA-2, SHA-3, and AES. He serves the research community actively as General (Co-)Chair of FSE 2013 and Asiacrypt 2021, a member of IACR board of directors since 2020, a member of the Asiacrypt Steering Committee since 2017, and a PC member of multiple IACR conferences and workshops. He also co-founded the Asian Workshop on Symmetric-Key Cryptography (ASK) in 2011.
Efficient lattice-based encryption
Lattices have proved invaluable for designing secure and expressive cryptographic schemes. When it comes to efficient constructions, lattices are typically restricted to so-called algebraic lattices, which can be expressed in terms of polynomial rings and algebraic number theory. In this talk, I will focus on lattice-based public-key encryption from algebraic lattices. This topic originated with NTRU in the mid-90's and has steadily gained maturity, as recently showcased by the NIST post-quantum cryptography project. I will discuss the underlying hardness assumptions, their relationships, and how they are used in constructions.
Damien Stehlé is a professor in the department of computer science of Ecole Normale Supérieure de Lyon. He received his PhD from University Nancy 1 in 2005. He was a post-doc at the University of Sydney, and then a CNRS researcher until 2012. He studies the algorithmic and cryptographic aspects of Euclidean lattices. He is a co-author of the Kyber encryption scheme and Dilithium signature scheme, which have recently been selected by NIST for standardization. He has published over 50 papers in leading venues of cryptography and won several awards such as best paper awards at flagship conferences like Eurocrypt and Asiacrypt.