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.