Concurrent Construction of Proof-Nets. - Jean-Marc Andreoli; Laurent Mazaré (CSL, 2003)

Decidability of Opacity with Non-Atomic Keys. - Laurent Mazaré (Formal Aspects in Security and Trust, 2004)

Satisfiability of Dolev-Yao Constraints. - Laurent Mazaré (ARSPA@IJCAR, 2004)

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. - Romain Janvier; Yassine Lakhnech; Laurent Mazaré (ESOP, 2005)

Automatic Verification of Security Properties Based on Abstractions. - Liana Bozga; Cristian Ene; Romain Janvier; Yassine Lakhnech; Laurent Mazaré; Michaël Périn (VISSAS, 2005)

(De)Compositions of Cryptographic Schemes and their Applications to Protocols. - Romain Janvier; Yassine Lakhnech; Laurent Mazaré (IACR Cryptol. ePrint Arch., 2005)

Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation. - Yassine Lakhnech; Laurent Mazaré (IACR Cryptol. ePrint Arch., 2005)

Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme. - Yassine Lakhnech; Laurent Mazaré (IACR Cryptol. ePrint Arch., 2005)

Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. - Marion Daubignard; Romain Janvier; Yassine Lakhnech; Laurent Mazaré (Formal Aspects in Security and Trust, 2006)

Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. - Romain Janvier; Yassine Lakhnech; Laurent Mazaré (ICS@SYNASC, 2006)

A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. - Emmanuel Bresson; Yassine Lakhnech; Laurent Mazaré; Bogdan Warinschi (CRYPTO, 2007)

Adaptive Soundness of Static Equivalence. - Steve Kremer; Laurent Mazaré (ESORICS, 2007)

Opacity generalised to transition systems. - Jeremy W. Bryans; Maciej Koutny; Laurent Mazaré; Peter Y. A. Ryan (Int. J. Inf. Sec., 2008)

Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. - Laurent Mazaré; Bogdan Warinschi (ARSPA-WITS, 2009)

Computationally sound analysis of protocols using bilinear pairings. - Steve Kremer; Laurent Mazaré (J. Comput. Secur., 2010)

Computational Soundness - The Case of Diffie-Hellman Keys. - Emmanuel Bresson; Yassine Lakhnech; Laurent Mazaré; Bogdan Warinschi (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Massively Parallel Video Networks. - João Carreira 001; Viorica Patraucean; Laurent Mazaré; Andrew Zisserman; Simon Osindero (ECCV (4), 2018)

Moshi: a speech-text foundation model for real-time dialogue. - Alexandre Défossez; Laurent Mazaré; Manu Orsini; Amélie Royer; Patrick Pérez; Hervé Jégou; Edouard Grave; Neil Zeghidour (CoRR, 2024)

High-Fidelity Simultaneous Speech-To-Speech Translation. - Tom Labiausse; Laurent Mazaré; Edouard Grave; Patrick Pérez; Alexandre Défossez; Neil Zeghidour (CoRR, 2025)

Vision-Speech Models: Teaching Speech Models to Converse about Images. - Amélie Royer; Moritz Böhle; Gabriel de Marmiesse; Laurent Mazaré; Neil Zeghidour; Alexandre Défossez; Patrick Pérez (CoRR, 2025)

Aligning Spoken Dialogue Models from User Interactions. - Anne Wu; Laurent Mazaré; Neil Zeghidour; Alexandre Défossez (CoRR, 2025)