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/