Benoît Razet

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 5

Top Topics

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Carsten Baum, Lennart Braun, Alexander Munch-Hansen, Benoît Razet, Peter Scholl
Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k. CCS (2021)
Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore
Weird Machines as Insecure Compilation. CoRR (2019)
Luke Owens, Benoît Razet, W. Bryan Smith, Theodore C. Tanner Jr.
Inter-family Communication in Hyperledger Sawtooth and Its Application to a Crypto-Asset Framework. ICDCIT (2019)
Gérard P. Huet, Benoît Razet
Computing with relational machines. Math. Struct. Comput. Sci. 27 (5) (2017)
Benoît Razet
Simulating Finite Eilenberg Machines with a Reactive Engine. Electron. Notes Theor. Comput. Sci. 229 (5) (2011)
Cyril Nicaud, Carine Pivoteau, Benoît Razet
Average Analysis of Glushkov Automata under a BST-Like Model. FSTTCS (2010)
Benoît Razet
Finite Eilenberg Machines. CIAA (2008)
Gérard P. Huet, Benoît Razet
The Reactive Engine for Modular Transducers. Essays Dedicated to Joseph A. Goguen (2006)