Cosmiq Homepage | Léo Perrin's Homepage | ReSCALE

STAP'23: Symmetric Techniques for Advanced Protocols

Algorithms from symmetric cryptography such as hash functions, and stream/block ciphers, have been at the heart of many higher level cryptographic protocols. However, in recent years, the specific design requirement of new advanced protocols has given raise to new needs that are improperly addressed by state-of-the-art algorithms: while safe, current algorithms like AES or SHA-3 are too inefficient in these contexts.

From arithmetization-oriented hash functions enabling a cheap zero-knowledge verification of their evaluation, to homomorphic encryption-friendly stream ciphers, new symmetric algorithms need to be designed and analyzed.

The aim of this workshop is to bring together the users of such primitives, their designers, and their analysts. It will be organized as a sequence of invited talks and tutorials revolving around such questions as

• What are the new primitives needed, both in terms of security and in terms of design constraints?
• How do we ensure their security?
• How do higher level protocols use them?

The invited speakers come from different communities: zero-knowledge, symmetric cryptography, mathematics… There will also be a rump-style session during which participants are invited to informally introduce their work on either designing new symmetric primitives, or their need for new ones.

STAP is an affiliated workshop of EUROCRYPT'23 that will take place on Saturday 22nd and Sunday 23rd of April 2023.