Benoît Razet

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 4

Top Topics

Communication Overhead

Top Venues

Math. Struct. Comput. Sci.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

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)