Laurent Mazare
Laurent Mazare
Afiliación desconocida
Dirección de correo verificada de polytechnique.org
Título
Citado por
Citado por
Año
Opacity generalised to transition systems
JW Bryans, M Koutny, L Mazaré, PYA Ryan
International Journal of Information Security 7 (6), 421-435, 2008
2682008
Using unification for opacity properties
L Mazaré
Proceedings of the 4th IFIP WG1 7, 165-176, 2004
1112004
Completing the picture: Soundness of formal encryption in the presence of active adversaries
R Janvier, Y Lakhnech, L Mazaré
European Symposium on Programming, 172-185, 2005
902005
Towards group communication for mobile participants
MO Killijian, R Cunningham, R Meier, L Mazare, V Cahill
712001
A generalization of DDH with applications to protocol analysis and computational soundness
E Bresson, Y Lakhnech, L Mazaré, B Warinschi
Annual International Cryptology Conference, 482-499, 2007
462007
Adaptive soundness of static equivalence
S Kremer, L Mazaré
European Symposium on Research in Computer Security, 610-625, 2007
292007
Decidability of opacity with non-atomic keys
L Mazaré
IFIP World Computer Congress, TC 1, 71-84, 2004
212004
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme.
Y Lakhnech, L Mazaré
IACR Cryptology ePrint Archive 2005, 98, 2005
192005
Computationally sound analysis of protocols using bilinear pairings
S Kremer, L Mazaré
Journal of Computer Security 18 (6), 999-1033, 2010
172010
Computational soundness of symbolic analysis for protocols using hash functions
R Janvier, Y Lakhnech, L Mazaré
Electronic Notes in Theoretical Computer Science 186, 121-139, 2007
172007
Satisfiability of dolev-yao constraints
L Mazaré
Electronic Notes in Theoretical Computer Science 125 (1), 109-124, 2005
142005
Massively parallel video networks
J Carreira, V Patraucean, L Mazare, A Zisserman, S Osindero
Proceedings of the European Conference on Computer Vision (ECCV), 649-666, 2018
92018
Computational Soundness of Symbolic Models for Cryptographic Protocols
L Mazaré
PhD thesis, Institut National Polytechnique de Grenoble, 2006
92006
(De) Compositions of Cryptographic Schemes and their Applications to Protocols
R Janvier, Y Lakhnech, L Mazaré
92005
Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation.
Y Lakhnech, L Mazaré
IACR Cryptology ePrint Archive 2005, 97, 2005
82005
Concurrent construction of proof-nets
JM Andreoli, L Mazaré
International Workshop on Computer Science Logic, 29-42, 2003
82003
Separating trace mapping and reactive simulatability soundness: The case of adaptive corruption
L Mazaré, B Warinschi
Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2009
72009
Computationally sound analysis of protocols using bilinear pairings
L Mazaré
Proc. 7th International Workshop on Issues in the Theory of Security (WITS …, 2007
72007
Relating the symbolic and computational models of security protocols using hashes
R Janvier, Y Lakhnech, L MazarÈ
Joint Workshop on Foundations of Computer Security and Automated Reasoning …, 2006
62006
Formal Aspects in Security and Trust
T Dimitrakos, F Martinelli
Springer Berlin/Heidelberg., 2006
52006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20