CCA Secure Updatable Encryption from Non-Mappable Group Actions.

Solving the Hidden Number Problem for CSIDH and CSURF via Automated Coppersmith.

Generic Models for Group Actions.

Group Action Key Encapsulation and Non-Interactive Key Exchange in the QROM.