Laurent Mazaré

Opacity generalised to transition systems

Jeremy Bryans, Maciej Koutny, Laurent Mazaré et al. · International Journal of Information Security · 2008 · 276 citations

Optical Properties, Discrete Dynamical System, Transition Systems +1

Using Unification For Opacity Properties

Laurent Mazaré · 2004 · 154 citations

Cryptographic Primitive, Engineering, Information Security +19

Computationally sound analysis of protocols using bilinear pairings

Steve Kremer, Laurent Mazaré · Journal of Computer Security · 2010 · 20 citations

Theory Of Computing, Computational Logic, Engineering +13

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

Yassine Lakhnech, Laurent Mazaré · IACR Cryptology ePrint Archive · 2005 · 20 citations

Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions

Romain Janvier, Yassine Lakhnech, Laurent Mazaré · Electronic Notes in Theoretical Computer Science · 2007 · 10 citations · Full text

Cryptographic Primitive, Engineering, Information Security +20