1 citations · 2 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2017★ 1 cited
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…
cs.CR2011
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…