Abuse Resistant Law Enforcement Access Systems. - Matthew Green 001; Gabriel Kaptchuk; Gijs Van Laer (IACR Cryptol. ePrint Arch., 2021)

Efficient Set Membership Encryption and Applications. - Matthew Green 001; Abhishek Jain 002; Gijs Van Laer (CCS, 2023)

Efficient Proofs of Software Exploitability for Real-world Processors. - Matthew Green 001; Mathias Hall-Andersen; Eric Hennenfent; Gabriel Kaptchuk; Benjamin Perez; Gijs Van Laer (Proc. Priv. Enhancing Technol., 2023)