26 citations · 59 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017
A method for unbounded verification of privacy-type properties
Lucca Hirschi, David Baelde, Stéphanie Delaune
In this paper, we consider the problem of verifying anonymity and unlinkability in the symbolic model, where protocols are represented as processes in a variant of the applied pi c…
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…