We research symmetric cryptography and cryptanalysis to create efficient ciphers that are secure in both theory and practice. Our designs and attacks contribute to important crypto competitions, such as
CAESAR (with final portfolio winner
Ascon and cryptanalysis of other finalists) and
NIST LWC (with ongoing submissions Ascon and
ISAP). We're interested in new techniques and tools to establish cryptanalytic security as well as robustness against implementation attacks.