Laurent Mazaré

Available identifiers

zbMath Open mazare.laurentMaRDI QIDQ2848038

List of research outcomes

Publication	Date of Publication	Type
Computational soundness of symbolic analysis for protocols using hash functions	2013-12-13	Paper
Satisfiability of Dolev-Yao constraints	2013-09-25	Paper
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption	2009-10-22	Paper
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness	2009-03-10	Paper
Computer Science Logic	2007-06-21	Paper
Programming Languages and Systems	2005-09-13	Paper

Research outcomes over time

This page was built for person: Laurent Mazaré