dcypher.nl

You are here

Extended deadline CfP HotSpot 2018

Extended deadline CfP HotSpot 2018

12 February 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

  • Deadline for submissions: February 16th, 2018 (EXTENDED) (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, CNRS, 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

 

Registration, accommodation, and travel See ETAPS web site http://www.etaps.org/2018/