2nd Workshop on
Hot Issues in Security Principles and Trust (HotSpot 2014)
ETAPS 2014

Affiliated with ETAPS 2014 , 5th April 2014 in Grenoble, France.


9:00 - 10:30 Session 1 chaired by Peter Ryan

11:00 - 12:30 Session 2 chaired by Mark Ryan

14:00 - 16:00 Session 3 chaired by Sebastian Mödersheim

16:30 - 18:00 Session 4 chaired by Pierpaolo Degano

About HotSpot

Previous Edition


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.

Program Committee

This workshop is organised by IFIP WG 1.7: Theoretical Foundations of Security Analysis and Design.


Submissions were via EasyChair.


Sebastian Mödersheim (program chair): samo@dtu.dk.

Registration, accommodation and travel

Information about registration, accommodation and travel will be made available on the ETAPS web site.