Get started
Author

Laurent Mazaré

Opacity generalised to transition systems
2008 · Jeremy W. Bryans, Maciej Koutny, et al. · International Journal of Information Security · 278
Using Unification For Opacity Properties
2004 · Laurent Mazaré · 156
Opacity Generalised to Transition Systems
2006 · Jeremy W. Bryans, Maciej Koutny, et al. · Lecture notes in computer science · 72
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
2005 · Romain Janvier, Yassine Lakhnech, et al. · Lecture notes in computer science · 67
PDF
Formal Models and Techniques for Analyzing Security Protocols
2011 · Vèronique Cortier, Steve Kremer, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 45
Massively Parallel Video Networks
2018 · João Carreira, Viorica Pătrăucean, et al. · Lecture notes in computer science · 39
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness
2007 · Emmanuel Bresson, Yassine Lakhnech, et al. · Springer eBooks · 38
PDF
Adaptive Soundness of Static Equivalence
2007 · Steve Kremer, Laurent Mazaré · Lecture notes in computer science · 31
Decidability of Opacity with Non-Atomic Keys
2005 · Laurent Mazaré · Springer eBooks · 22
PDF
Computationally sound analysis of protocols using bilinear pairings
2010 · Steve Kremer, Laurent Mazaré · Journal of Computer Security · 20
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme.
2005 · Yassine Lakhnech, Laurent Mazaré · 20
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions
2007 · Romain Janvier, Yassine Lakhnech, et al. · Electronic Notes in Theoretical Computer Science · 10
PDF
Moshi: a speech-text foundation model for real-time dialogue
2024 · Défossez, Alexandre, Mazaré, Laurent, et al. · arXiv (Cornell University) · 9
PDF
De)Compositions of Cryptographic Schemes and their Applications to Protocols.
2005 · Romain Janvier, Yassine Lakhnech, et al. · 7
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption
2009 · Laurent Mazaré, Bogdan Warinschi · Lecture notes in computer science · 6
Concurrent Construction of Proof-Nets
2003 · Jean-Marc Andreoli, Laurent Mazaré · Lecture notes in computer science · 5
Satisfiability of Dolev-Yao Constraints
2005 · Laurent Mazaré · Electronic Notes in Theoretical Computer Science · 4
PDF
Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation
2005 · Yassine Lakhnech, Laurent Mazaré · 4
Massively Parallel Video Networks
2018 · Carreira, Joao, Patraucean, Viorica, et al. · arXiv (Cornell University) · 2
PDF
Soundness of Symbolic Equivalence for Modular Exponentiation
2006 · Yassine Lakhnech, Laurent Mazaré, et al. · 2
Opacity generalised to transition systems
2005 · Jeremy W. Bryans, Maciej Koutny, et al. · 2
Streaming Sequence-to-Sequence Learning with Delayed Streams Modeling
2025 · Zeghidour, Neil, Kharitonov, Eugene, et al. · arXiv (Cornell University) · 1
PDF
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security
2007 · M. Daubignard, R. Janvier, et al. · Lecture notes in computer science · 1
Decidability of Opacity with Non-Atomic Keys.
2004 · Laurent Mazaré · 1
Aligning Spoken Dialogue Models from User Interactions
2025 · Wu, Anne, Mazaré, Laurent, et al. · arXiv (Cornell University)
PDF
Works count: 59
Citation count: 842
H-index: 11
I10-index: 12
Year
Topic
Type