Laurent Mazaré

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Massively Parallel Video Networks.
CoRR, 2018

Massively Parallel Video Networks.
Proceedings of the Computer Vision - ECCV 2018, 2018

2010
Computationally sound analysis of protocols using bilinear pairings.
Journal of Computer Security, 2010

2009
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.
Proceedings of the Foundations and Applications of Security Analysis, 2009

2008
Opacity generalised to transition systems.
Int. J. Inf. Sec., 2008

2007
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.
Electr. Notes Theor. Comput. Sci., 2007

Adaptive Soundness of Static Equivalence.
Proceedings of the Computer Security, 2007

A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.
Proceedings of the Advances in Cryptology, 2007

2006
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security.
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.
IACR Cryptology ePrint Archive, 2005

Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation.
IACR Cryptology ePrint Archive, 2005

(De)Compositions of Cryptographic Schemes and their Applications to Protocols.
IACR Cryptology ePrint Archive, 2005

Satisfiability of Dolev-Yao Constraints.
Electr. Notes Theor. Comput. Sci., 2005

Automatic Verification of Security Properties Based on Abstractions.
Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Opacity Generalised to Transition Systems.
Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.
Proceedings of the Programming Languages and Systems, 2005

2004
Decidability of Opacity with Non-Atomic Keys.
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.
Proceedings of the Computer Science Logic, 17th International Workshop, 2003


  Loading...