26 citations · 59 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 5 cited
A Reduced Semantics for Deciding Trace Equivalence
David Baelde, Stéphanie Delaune, Lucca Hirschi
Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be de…
cs.LO2010
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…