3rd Workshop on
Hot Issues in Security Principles and Trust
(HotSpot 2015)
ETAPS 2015

Affiliated with ETAPS 2015
London, UK
18 April 2015

Scope - Invited talks - Accepted papers - Program - Important dates - PC - Submissions - Registration, accommodation and travel - Previous Editions of HotSpot - Contact


This workshop is intended to be a less formal counterpart to the Principles of Security and Trust (POST) conference at ETAPS, and with an emphasis on "hot topics", both of security and of its theoretical foundations and analysis.

Like POST, the themes are:

Submissions about new and emerging topics (for example, those that have not appeared prominently in conferences and workshops until now) are particularly encouraged. Submissions of preliminary, tentative work are also encouraged. There is no page limit, but the length of your submission should be appropriate to its content. There will be no formal proceedings. Inclusion in informal proceedings is optional.

This workshop is organized by IFIP WG 1.7: Theoretical Foundations of Security Analysis and Design, and is sponsored also by the FP7 project SPaCIoS and by the PRIN 2010-2011 project Security Horizons.

Invited talks

Accepted papers


Invited talk I Joint with TPDP
09:00 - 10:00 The Genomics Revolution: Innovation Dream or Privacy Nightmare?
Emiliano De Cristofaro (University College London (UCL), UK)
Session I Chair: Luca Viganò
10:00 - 10:30 Type checking privacy policies in the pi-calculus
Dimitrios Kouzapas and Anna Philippou
10:30 - 11:00 Coffee break
Session II Chair: Stéphanie Delaune
11:00 - 11:30 Factorization of Behavioral Integrity
Ximeng Li, Flemming Nielson and Hanne Riis Nielson
11:30 - 12:00 Computational Soundness for Interactive Primitives for Equivalence Properties
Michael Backes, Esfandiar Mohammadi and Tim Ruffing
12:00 - 12:30 Ballot secrecy with malicious bulletin boards
Ben Smyth and David Bernhard
12:30 - 14:00 Lunch
Invited talk II
14:00 - 15:00 Symbolic security protocol analysis using the Tamarin Prover
Cas Cremers (University of Oxford, UK)
Session III Chair: Nicola Zannone
15:00 - 15:30 Towards a completeness result for model-checking of modern-day security protocols
Sreekanth Malladi
15:30 - 16:00 Hypertesting: The Case for Automated Testing of Hyperproperties
Johannes Kinder
16:00 - 16:30 Coffee break
Session IV Chair: Sergio Maffeis
16:30 - 17:00 Access Control with Non-deterministic and Probabilistic Attribute Retrieval
Jason Crampton, Charles Morisset and Nicola Zannone
17:00 - 17:30 Auditing with incomplete logs
Umbreen Sabir Mian, Jerry Den Hartog, Sandro Etalle and Nicola Zannone
17:30 - 19:00 WG 1.7 business meeting
19:30 - 22:30 Workshop dinner

Important dates

Program Committee


The only mechanism for paper submissions is via the electronic submission web-site powered by easychair.
Please, follow the instructions given there (note, in particular, that only pdf files may be submitted).

Registration, accommodation and travel

For information about registration, accommodation and travel please refer to the ETAPS web site.

Previous Editions of HotSpot


Luca Viganò (program chair): email.