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.
Program
| 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 |
| 10.00-10.30 | 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 - ΤΒΑ |
| 12.30-14.00 | Lunch |
| 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 |
| 15.30-16:00 | 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.
Topics
- 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
Chairs
Petros Stefaneas, National Technical University of Athens, Greece
Dimitrios Kouzapas, University of Glasgow, UK
Committee
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