A Type System for Privacy Properties
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei · 2017
Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy properties (e.g. ballot privacy or anonymity) is more complex and constitutes an active research topic with several recent propositions of techniques and tools.