Benoît Razet

According to our database, Benoît Razet authored at least 10 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Daedalus: Safer Document Parsing.

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood

Proc. ACM Program. Lang., 2024

2021

Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k.

Carsten Baum, Lennart Braun, Alexander Munch-Hansen, Benoît Razet, Peter Scholl

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2019

Weird Machines as Insecure Compilation.

Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore

CoRR, 2019

Inter-family Communication in Hyperledger Sawtooth and Its Application to a Crypto-Asset Framework.

Luke Owens, Benoît Razet, W. Bryan Smith, Theodore C. Tanner Jr.

Proceedings of the Distributed Computing and Internet Technology, 2019

2017

Computing with relational machines.

Gérard P. Huet, Benoît Razet

Math. Struct. Comput. Sci., 2017

2010

Average Analysis of Glushkov Automata under a BST-Like Model.

Cyril Nicaud, Carine Pivoteau, Benoît Razet

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

Machines d'Eilenberg Effectives.

Benoît Razet

PhD thesis, 2009

2008

Simulating Finite Eilenberg Machines with a Reactive Engine.

Benoît Razet

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

Finite Eilenberg Machines.

Benoît Razet

Proceedings of the Implementation and Applications of Automata, 2008

2006

The Reactive Engine for Modular Transducers.

Gérard P. Huet, Benoît Razet

Proceedings of the Algebra, Meaning, and Computation, 2006