CALL FOR PAPERS
===============

HotSpot 2017
5th Workshop on Hot Issues in Security Principles and Trust
===========================================================

Affiliated with ETAPS 2017 ( http://www.etaps.org/2017/ )
Uppsala, Sweden
April 23rd, 2017

https://infsec.uni-trier.de/events/hotspot2017

Important Dates
===============
Deadline for submissions: January 15th, 2017
Notification: February 13th,  2017
Final version for informal proceedings (optional): February 20th, 2017
Workshop: April 23rd, 2017

Invited Speaker
===============
Andrei Sabelfeld, Chalmers University of Technology, Sweden

   Taint Tracking without Tracking Taints

Scope
=====
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 (http://www.dsi.unive.it./IFIPWG1_7/)


Program Committee Chair
=======================

    Ralf Küsters, University of Trier, Germany


Program Committee
=================

    Aslan Askarov, Aarhus University, Denmark
    David Basin, ETH Zurich, Switzerland
    Véronique Cortier, CNRS, Loria, France
    Cas Cremers, University of Oxford, UK
    Riccardo Focardi, Ca' Foscari University, Italy
    Joshua Guttman, Worcester Polytechnic Institute, USA
    Boris Köpf, IMDEA Software Institute, Spain
    Ninghui Li, Purdue University, USA
    Frank Piessens, Katholieke Universiteit Leuven, Belgium
    Tamara Rezk, INRIA, France
    Peter Ryan, University of Luxembourg, Luxembourg
    Mark Ryan, University of Birmingham, UK
    Geoffrey Smith, Florida International University, USA
    Nikhil Swamy, MSR Redmond, USA


Submissions
===========
Submissions are via
EasyChair: https://easychair.org/conferences/?conf=hotspot2017

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.



Contact
=======
Ralf Küsters (PC chair): kuesters@uni-trier.de


Registration, accommodation, and travel
=======================================
See ETAPS web site http://www.etaps.org/2017/