39 citations · 44 across the 6 of their papers we have counts for
6 papers
A Type System for Privacy Properties (Technical Report)
Véronique Cortier, Niklas Grimm, Joseph Lallemand +1
Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy propertie…
Proceedings 8th International Workshop on Security Issues in Concurrency
Konstantinos Chatzikokolakis, Véronique Cortier
This volume contains the proceedings of the 8th Workshop on Security Issues in Concurrency (SecCo 2010). The workshop was held in Paris, France on August 30th, 2010, as a satellite…
YAPA: A generic tool for computing intruder knowledge
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages…
Deciding security properties for cryptographic protocols. Application to key cycles
Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
There is a large amount of work dedicated to the formal verification of security protocols. In this paper, we revisit and extend the NP-complete decision procedure for a bounded nu…
Relating two standard notions of secrecy
Veronique Cortier, Michael Rusinovitch, Eugen Zalinescu
Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never…
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such m…