Laurent Mazaré

According to our database, Laurent Mazaré authored at least 17 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Massively Parallel Video Networks.

João Carreira, Viorica Patraucean, Laurent Mazaré, Andrew Zisserman, Simon Osindero

Proceedings of the Computer Vision - ECCV 2018, 2018

2011

Computational Soundness - The Case of Diffie-Hellman Keys.

Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

Computationally sound analysis of protocols using bilinear pairings.

Steve Kremer, Laurent Mazaré

J. Comput. Secur., 2010

2009

Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.

Laurent Mazaré, Bogdan Warinschi

Proceedings of the Foundations and Applications of Security Analysis, 2009

2008

Opacity generalised to transition systems.

Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan

Int. J. Inf. Sec., 2008

2007

Adaptive Soundness of Static Equivalence.

Steve Kremer, Laurent Mazaré

Proceedings of the Computer Security, 2007

A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.

Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi

Proceedings of the Advances in Cryptology, 2007

2006

Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the First Workshop in Information and Computer Security, 2006

Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.

Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme.

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

(De)Compositions of Cryptographic Schemes and their Applications to Protocols.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

IACR Cryptol. ePrint Arch., 2005

Automatic Verification of Security Properties Based on Abstractions.

Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.

Romain Janvier, Yassine Lakhnech, Laurent Mazaré

Proceedings of the Programming Languages and Systems, 2005

2004

Satisfiability of Dolev-Yao Constraints.

Laurent Mazaré

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, 2004

Decidability of Opacity with Non-Atomic Keys.

Laurent Mazaré

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

2003

Concurrent Construction of Proof-Nets.

Jean-Marc Andreoli, Laurent Mazaré

Proceedings of the Computer Science Logic, 17th International Workshop, 2003