CALL FOR PAPERS =============== HotSpot 2018 6th Workshop on Hot Issues in Security Principles and Trust =========================================================== Affiliated with ETAPS 2018 ( http://www.etaps.org/2018/ ) Thessaloniki, Greece April 15th, 2018 https://www.cs.ox.ac.uk/conferences/hotspot2018/ 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 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/) Invited Speaker =============== T.b.a. 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 =========== Submissions are via EasyChair: https://easychair.org/conferences/?conf=hotspot2018 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 ======= Cas Cremers (PC chair): cas.cremers@cs.ox.ac.uk Registration, accommodation, and travel ====================================== See ETAPS web site http://www.etaps.org/2018/