Hide-and-Seek and the Non-Resignability of the BUFF Transform.

On the (In)Security of the BUFF Transform.

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.

Efficient NIZKs and Signatures from Commit-and-Open Protocols in the QROM.

Adaptive versus Static Multi-oracle Algorithms, and Quantum Security of a Split-key PRF.

Online-Extractability in the Quantum Random-Oracle Model.

The Measure-and-Reprogram Technique 2.0: Multi-Round Fiat-Shamir and More.

Security of the Fiat-Shamir Transformation in the Quantum Random-Oracle Model.