Laurent Mazaré

26 papers A* 3A 2B 1Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2025 A* conf
Aligning Spoken Dialogue Models from User Interactions.
ICML
Anne Wu, Laurent Mazaré, Neil Zeghidour, Alexandre Défossez
2025 J jnl
Aligning Spoken Dialogue Models from User Interactions.
CoRR
Anne Wu, Laurent Mazaré, Neil Zeghidour, Alexandre Défossez
2025 A* conf
High-Fidelity Simultaneous Speech-To-Speech Translation.
ICML
Tom Labiausse, Laurent Mazaré, Edouard Grave, Alexandre Défossez, Neil Zeghidour
2025 J jnl
High-Fidelity Simultaneous Speech-To-Speech Translation.
CoRR
Tom Labiausse, Laurent Mazaré, Edouard Grave, Patrick Pérez, Alexandre Défossez, Neil Zeghidour
2025 J jnl
Streaming Sequence-to-Sequence Learning with Delayed Streams Modeling.
CoRR
Neil Zeghidour, Eugene Kharitonov, Manu Orsini, Václav Volhejn, Gabriel de Marmiesse, Edouard Grave, Patrick Pérez, Laurent Mazaré, Alexandre Défossez
2025 J jnl
Vision-Speech Models: Teaching Speech Models to Converse about Images.
CoRR
Amélie Royer, Moritz Böhle, Gabriel de Marmiesse, Laurent Mazaré, Neil Zeghidour, Alexandre Défossez, Patrick Pérez
2024 J jnl
Moshi: a speech-text foundation model for real-time dialogue.
CoRR
Alexandre Défossez, Laurent Mazaré, Manu Orsini, Amélie Royer, Patrick Pérez, Hervé Jégou, Edouard Grave, Neil Zeghidour
2018 — conf
Massively Parallel Video Networks.
ECCV (4)
João Carreira, Viorica Patraucean, Laurent Mazaré, Andrew Zisserman, Simon Osindero
2018 J jnl
Massively Parallel Video Networks.
CoRR
João Carreira, Viorica Patraucean, Laurent Mazaré, Andrew Zisserman, Simon Osindero
2011 — ch.
Computational Soundness - The Case of Diffie-Hellman Keys.
Formal Models and Techniques for Analyzing Security Protocols
Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi
2010 J jnl
Computationally sound analysis of protocols using bilinear pairings.
J. Comput. Secur.
Steve Kremer, Laurent Mazaré
2009 — conf
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.
ARSPA-WITS
Laurent Mazaré, Bogdan Warinschi
2008 J jnl
Opacity generalised to transition systems.
Int. J. Inf. Sec.
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
2007 A* conf
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.
CRYPTO
Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi
2007 A conf
Adaptive Soundness of Static Equivalence.
ESORICS
Steve Kremer, Laurent Mazaré
2006 — conf
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.
ICS@SYNASC
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
2006 — conf
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.
Formal Aspects in Security and Trust
Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré
2005 J jnl
(De)Compositions of Cryptographic Schemes and their Applications to Protocols.
IACR Cryptol. ePrint Arch.
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
2005 — conf
Automatic Verification of Security Properties Based on Abstractions.
VISSAS
Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
2005 A conf
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.
ESOP
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
2005 J jnl
Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation.
IACR Cryptol. ePrint Arch.
Yassine Lakhnech, Laurent Mazaré
2005 — conf
Opacity Generalised to Transition Systems.
Formal Aspects in Security and Trust
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
2005 J jnl
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme.
IACR Cryptol. ePrint Arch.
Yassine Lakhnech, Laurent Mazaré
2004 — conf
Decidability of Opacity with Non-Atomic Keys.
Formal Aspects in Security and Trust
Laurent Mazaré
2004 — conf
Satisfiability of Dolev-Yao Constraints.
ARSPA@IJCAR
Laurent Mazaré
2003 B conf
Concurrent Construction of Proof-Nets.
CSL
Jean-Marc Andreoli, Laurent Mazaré