412 citations · 469 across the 8 of their papers we have counts for
1 paper · 2 filters
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…