CALL FOR PAPERS
===============

HotSpot 2014
2nd Workshop on Hot Issues in Security Principles and Trust
===========================================================

Affiliated with ETAPS 2014 ( http://www.etaps.org/2014 )
12th April 2014 in Grenoble, France.

http://www.imm.dtu.dk/~samo/hotspot14.html

Important Dates
===============

Deadline for submissions: 3rd January 2014
Notification: 31st January 2014
Final version for informal proceedings (optional): 14th February 2014

Scope
=====

This workshop is intended to be a less formal counterpart to the
Principles of Security and Trust (POST) conference at ETAPS, and with
an emphasis on "hot topics", both of security and of its theoretical
foundations and analysis. Like POST, the themes are:

- theory of computer security;
- formal specification, analysis and design of security systems;
- automated reasoning for security 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. 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.

Program Committee
=================
Bruno Blanchet,  INRIA Paris-Rocquencourt
Pierpaolo Degano, University of Pisa
Dieter Gollmann, Hamburg University of Technology
Joshua Guttman, Worcester Polytechnic Institute
Jan Juerjens, TU Dortmund & Fraunhofer ISST
Pascal Lafourcade, Clermont University
Gavin Lowe, University of Oxford
Matteo Maffei, Saarland University
Sebastian Moedersheim, Technical University of Denmark (Program Chair)
Carroll Morgan, University of New South Wales
Jean-Jacques Quisquater, Catholic University of Louvain
Mark Ryan, University of Birmingham
Peter Y. A. Ryan, University of Luxembourg
Steve Schneider, University of Surrey
Christoph Sprenger, ETH Zurich
Luca Vigano`, King's College London

This workshop is organised by the IFIP WG 1.7: Theoretical Foundations
of Security Analysis and Design (http://www.dsi.unive.it./IFIPWG1_7/)

Submissions
===========

Submissions are via EasyChair: https://www.easychair.org/conferences/?conf=hotspot2014

Contact
=======

Sebastian Moedersheim (program chair): samo@dtu.dk

Registration, accommodation and travel
======================================

See ETAPS web site http://www.etaps.org/2014