Benjamin Perez

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Highly Efficient

Theorem Proving

Top Venues

IACR Cryptol. ePrint Arch.

Proc. Priv. Enhancing Technol.

Publications

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