Laurent Mazaré

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 2

Top Topics

Social Networks

Top Venues

Publications

João Carreira, Viorica Patraucean, Laurent Mazaré, Andrew Zisserman, Simon Osindero
Massively Parallel Video Networks. ECCV (4) (2018)
João Carreira, Viorica Patraucean, Laurent Mazaré, Andrew Zisserman, Simon Osindero
Massively Parallel Video Networks. CoRR (2018)
Steve Kremer, Laurent Mazaré
Computationally sound analysis of protocols using bilinear pairings. J. Comput. Secur. 18 (6) (2010)
Laurent Mazaré, Bogdan Warinschi
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. ARSPA-WITS (2009)
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
Opacity generalised to transition systems. Int. J. Inf. Sec. 7 (6) (2008)
Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. CRYPTO (2007)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. Electron. Notes Theor. Comput. Sci. 186 (2007)
Steve Kremer, Laurent Mazaré
Adaptive Soundness of Static Equivalence. ESORICS (2007)
Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. Formal Aspects in Security and Trust (2006)
Yassine Lakhnech, Laurent Mazaré
Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation. IACR Cryptol. ePrint Arch. 2005 (2005)
Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust (2005)
Laurent Mazaré
Satisfiability of Dolev-Yao Constraints. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. ESOP (2005)
Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
Automatic Verification of Security Properties Based on Abstractions. VISSAS (2005)
Romain Janvier, Yassine Lakhnech, Laurent Mazaré
(De)Compositions of Cryptographic Schemes and their Applications to Protocols. IACR Cryptol. ePrint Arch. 2005 (2005)
Yassine Lakhnech, Laurent Mazaré
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme. IACR Cryptol. ePrint Arch. 2005 (2005)
Laurent Mazaré
Decidability of Opacity with Non-Atomic Keys. Formal Aspects in Security and Trust (2004)
Jean-Marc Andreoli, Laurent Mazaré
Concurrent Construction of Proof-Nets. CSL (2003)