Start »

5th Workshop on Hot Issues in Security Principles and Trust

HotSpot 2017

etapslogo.jpg Affiliated with ETAPS 2017
Uppsala, Sweden
April 23rd, 2017


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

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.

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

Important Dates

  • Submission: January 15th, 2017 January 31st, 2017, AoE
  • Author Notification: February 13th, 2017
  • Final versions for informal proceedings (optional): February 20th, 2017
  • Workshop: April 23rd, 2017


Paper submission is via EasyChair. Please follow the instructions given there. Note that only pdf files may be submitted.

There is no page limit. Given the informal setting of the workshop, one page abstracts may already suffice.

There will be no formal proceedings. Inclusion in informal proceedings is optional.

Invited talk

Andrei Sabelfeld, Chalmers University of Technology, Sweden

Title: Taint Tracking without Tracking Taints


Sunday, April 23rd
Session I
8:30-9:00 Making decryption accountable
Mark Ryan
9:00-9:30On Composability of Game-based Password Authenticated Key Exchange
Jean Lancrenon and Marjan Skrobot
9:30-10:00Securing the End-points of the Signal Protocol using Intel SGX based Containers
Kristoffer Severinsen, Christian Johansen, and Sergiu Bursuc
10:00-10:30Coffee break
Session II
10:30-11:00On the Content Security Policy Violations due to the Same-Origin Policy
Dolière Francis Some, Nataliia Bielova, and Tamara Rezk
11:00-11:30A Runtime Monitoring System to Secure Browser Extensions
Raúl Pardo, Pablo Picazo-Sanchez, Gerardo Schneider, and Juan Tapiador
11:30-12:00Combining Graph-Based and Deduction-Based Information-Flow Analysis
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning
12:00-12:30Securing Concurrent Lazy Programs
Marco Vassena, Joachim Breitner, and Alejandro Russo
Session III
14:00-15:00Invited Talk:
Taint Tracking without Tracking Taints
Andrei Sabelfeld
15:00-15:30A Linguistic Framework for Firewall Decompilation and Analysis
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, and Lorenzo Veronese
15:30-16:00Coffee break
16:00-17:30IFIP WG 1.7 Meeting


The proceedings are now available.

Program Committee Chair

Ralf Küsters, University of Trier, Germany

Program Committee

Registration, accommodation and travel

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

Previous editions of HotSpot