Software:

• three-layer-prolog-1.0.zip — Implementation of Three-Layer Model accompanying paper “A Formal Privacy Analysis of Identity Management Systems” (version 1.0)
• three-layer-prolog-parelsnoer-1.0.zip — Implementation of Three-Layer Model and coalition analysis accompanying paper “Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy” (version 1.0)
• symbolic-derivability-1.0.zip — Implementation of Symbolic Derivability accompanying paper “Symbolic Privacy Analysis through Linkability and Detectability” (version 1.0)

Technical reports:

• Meilof Veeningen, Formal Models of Parelsnoer
• Meilof Veeningen, Symbolic Analysis of Identity Mixer