Laurent Mazaré - Concepedia

Author

Laurent Mazaré

Also Known As

L. Mazaré, Laurent Mazare, Laurent Mazaré, Mazare, Laurent, Mazaré, Laurent

Publications

830

Citations

H-Index

Concepts

All Affiliations

Laurent Mazaré is an author at Verimag specializing in computer science, formal methods, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	184
2	Computer Science	3	3	184
3	Data Security	2	2	164
4	Information Security	2	2	164
5	Data Privacy	1	1	154

Laurent Mazaré

Publications

480

Citations

H-Index

Page 1

	Year	Citations
Opacity generalised to transition systems Jeremy Bryans, Maciej Koutny, Laurent Mazaré, International Journal of Information Security Optical PropertiesDiscrete Dynamical SystemTransition SystemsSystem Theory	2008	276
Using Unification For Opacity Properties Laurent Mazaré Cryptographic PrimitiveEngineeringInformation SecurityVerificationKey Quantification	2004	154
Computationally sound analysis of protocols using bilinear pairings Steve Kremer, Laurent Mazaré Journal of Computer Security Theory Of ComputingComputational LogicEngineeringInteraction ProtocolProtocol Analysis	2010	20
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme. Yassine Lakhnech, Laurent Mazaré IACR Cryptology ePrint Archive	2005	20
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions Romain Janvier, Yassine Lakhnech, Laurent Mazaré Electronic Notes in Theoretical Computer Science Cryptographic PrimitiveEngineeringInformation SecurityVerificationCollision Freeness	2007	10

Page 1