Algebraic Cryptanalysis

Cryptanalysis of AADP-Based Witness Encryption

Witness encryption is a powerful cryptographic primitive that allows encrypting a message so that only someone holding a valid witness for a specific circuit can decrypt it. While prior schemes are infeasible in practice due to very large …

Panem et Circenses - Challenges in Rome

This talk will be about cryptographic challenges for our new witness encryption scheme and rewards for solving them.

Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC

The block cipher Jarvis and the hash function Friday, both members of the MARVELlous family of cryptographic primitives, are among the first proposed solutions to the problem of designing symmetric-key algorithms suitable for transparent, …

Algebraic Cryptanalysis of Jarvis and Friday

In this rump session talk we present our preliminary results regarding new algebraic attacks on Jarvis and Friday.