---------------------------------
*Submission Deadline Extended to January 31st, 2017*
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
===============
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
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. 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.
Contact
=======
Ralf Küsters (PC chair): kuesters@uni-trier.de
Registration, accommodation, and travel
=======================================
See ETAPS web site http://www.etaps.org/2017/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
