Friday, January 13, 2017

[DMANET] HotSpot 2017 - Deadline Extension

HotSpot 2017 - Deadline Extension

*Submission Deadline Extended to January 31st, 2017*

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

Affiliated with ETAPS 2017 ( )
Uppsala, Sweden
April 23rd, 2017

Important Dates
NEW Deadline for submissions: *January 31st, 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

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 (

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 are via

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.

Ralf Küsters (PC chair):

Registration, accommodation, and travel
See ETAPS web site
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.