Formal Methods on Privacy

The first Workshop for Formal Methods on Privacy will be held in Limassol, Cyprus as an event part of the FM 16 symposium.

Individual privacy is a fundamental notion in society today. The recent development of large scale information systems, such as social networks, large databases that store private data, and network applications, presents new challenges in the preservation of individual privacy. The current methods that ensure privacy in information systems are considered as partial and unsatisfactory, a fact that creates societal and legal implications on system managers and users. Thus, research on privacy and its implications inside computer systems is considered today a necessity. Formal methods are known to provide solutions for problem in a rigorous and well formed discipline. In the context of privacy, formal methods aim to establish well founded techniques for the analysis of privacy requirements in modern systems that aggregate private information.

The formal methods on privacy workshop explicitly focuses on formal foundations for privacy inside information systems. It is an opportunity for researchers to exchange their specific ideas within a narrower and interested audience, with the goal of creating new ideas and future collaboration. Furthermore, the workshop aims to promote the topic of applying formal methods for privacy, as a high impact topic.


Hour Talk
09.15-09.30 Petros Stefaneas and Dimitrios Kouzapas - Welcome: Formal Methods on Privacy
09.30-10:00 Marcel Von Maltitz, Cornelius Diekmann and Georg Carle, Taint Analysis for System-Wide Privacy Audits: A Framework and Real-World Case Studies

Coffee break

10.30-11.00 Dimitrios Kouzapas and Anna Philippou, Introducing Time in the Privacy Calculus
11.00-11.30 Georgios V. Pitsiladis, Type Checking Conditional Purpose-Based Privacy Policies in the π-calculus
Georgios V. Pitsiladis and Petros Stefaneas, Implementing Type Checking of π-calculus Processes for Privacy in Maude
11.30-12:00 Nikolaos Triantafyllou, Katerina Ksystra, Petros Stefaneas and Petros Kavassalis, BlockChains, Financial Transactions, and Formal Methods
12.00-12.30 Tiziana Margaria - ΤΒΑ


14.00-14.15 Raúl Pardo Jiménez (Skype) - Formalising Privacy Policies in Social Networks
14.15-14.30 Sylvia Ghilezan (Skype) - TBA
14.30-14.45 Thibaud Antignac (Skype) - A Privacy-Aware Conceptual Model for Handling Personal Data
14.45-15.00 Sotiris Moschoyiannis (Skype) - TBA
15.00-15.15 Manolis Terrovitis (Skype) - Anonymization methods for multidimensional data
15.15-15:30 Maria Bottis - The Right to Forget as a Right to Privacy

Coffee Break

16.00-16.15 Talk from Industry (Skype) - TBA
16.14-16.30 Iakovos Ouranos - Privacy issues for airport smart services: A challenge ahead
16.30-17.00 Antonis Kakas - Medical Data Access Policies through Argumentation
17.00-18.00 Panel (future collaboration)

Call for Papers

(Full and short papers, and extended abstracts are accepted)

We invite authors to submit full research papers describing original research and technical results. Extended abstracts that summarize research under development and new ideas are also welcome. Note that the workshop proceedings will only publish full research papers.


  • Principles of privacy in information systems
  • Computational models for privacy
  • Formal methods on privacy - includes logic foundations, type systems, validation and verification
  • Differential privacy
  • Cryptographic methods for privacy
  • Privacy in information systems - including social network, databases, network applications, \dots
  • The legal aspects of privacy in information systems

Submission Guidelines

High quality, original papers, max. 15 pages can be submitted. Short papers and extended abstracts up to 6 pages are also invited. Papers should be written in English and submitted electronically in PDF format. Please submit to: Easychair submission site
Please upload all submissions in LNCS format. To ensure high quality, submitted papers will be carefully peer-reviewed by PC members.

Proceedings and Post-proceedings

The proceedings of the Formal Methods and Privacy Workshop will be published initially as Technical Report at the Department of Computer Science of the University of Cyprus.

Important Dates

Submission deadline: 29 August 2016
Notification of acceptance: 26 September 2016
Camera-ready deadline: 10 October 2016

Program Committee


Petros Stefaneas, National Technical University of Athens, Greece
Dimitrios Kouzapas, University of Glasgow, UK


Maria Bottis, Ionian University, Greece
Christian Colombo, University of Malta, Malta
Simon J. Gay, University of Glasgow, UK
Silvia Ghilezan, University of Novi Sad, Serbia
Petros Kavassalis, University of Aegean, Greece
Dimitrios Kouzapas, University of Glasgow, UK
Tiziana Margaria, University Potsdam, Germany
Sotiris Moschoyiannis, University of Surrey, UK
Anna Philippou, University of Cyprus, Cyprus
Gerardo Schneider, University of Gothenburg, Sweden
Carsten Schürmamm, IT University of Copenhagen, Denmark
Petros Stefaneas, National Technical University of Athens, Greece