HOTSPOT 2018: 6th Workshop on Hot Issues in Security Principles and Trust Thessaloniki, Greece, April 15, 2018 |
Conference website | https://www.cs.ox.ac.uk/conferences/hotspot2018/ |
Submission link | https://easychair.org/conferences/?conf=hotspot2018 |
Submission deadline | February 16, 2018 |
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
===============
EXTENDED deadline for submissions: February 16th, 2018 (AoE)
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/