HotSpot 2018
6th Workshop on Hot Issues in Security Principles and Trust

Affiliated with ETAPS 2018 ( )
Thessaloniki, Greece
April 15th, 2018

Important Dates
Deadline for submissions: January 31st, 2018
Notification: March 9th,  2018
Final version for informal proceedings (optional): March 23th, 2018
Workshop: April 15th, 2018

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 the IFIP WG 1.7: Theoretical Foundations
of Security Analysis and Design (

Invited Speaker


Program Committee Chair

    Cas Cremers, University of Oxford, UK

Program Committee

    Aslan Askarov, Aarhus University, Denmark
    Konstantinos Chatzikokolakis, Ecole Polytechnique of Paris, France
    Vincent Cheval, LORIA, CNRS, France
    Cas Cremers, University of Oxford, UK
    Riccardo Focardi, Ca'Foscari University, Italy
    Joshua Guttman, Worcester Polytechnic Institute, USA
    Markulf Kohlweiss, UK
    Boris Köpf, IMDEA Software Institute, Spain
    Frank Piessens, Katholieke Universiteit Leuven, Belgium
    Peter Ryan, University of Luxembourg, Luxembourg
    Mark Ryan, University of Birmingham, UK
    Ralf Sasse, ETH Zurich, Switzerland
    Luca Vigano, King's College London, UK

Submissions are via

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.

Cas Cremers (PC chair):

Registration, accommodation, and travel
See ETAPS web site