1st Workshop on Hot Issues in
Security Principles and Trust
(HotSpot 2013)

A workshop in ETAPS 2013, Sunday 17th March 2013, Rome, Italy.

• Deadline for submissions: 10th January 2013 (updated!)
• Notification: 25th January 2013
• Final version for informal proceedings (optional): 22nd February 2013

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.

This workshop is organised by IFIP WG 1.7: Theoretical Foundations of Security Analysis and Design. The programme committee is:

• Mark Ryan, University of Birmingham (chair)
• Myrto Arapinis, University of Birmingham
• Ernesto Damiani, University of Milan
• Pierpaolo Degano, University of Pisa
• Dieter Gollmann, Hamburg University of Technology
• Joshua Guttman, Worcester Polytechnic Institute
• Jan Jürjens, TU Dortmund & Fraunhofer ISST
• Gavin Lowe, University of Oxford
• Matteo Maffei, Saarland University
• Carroll Morgan, University of New South Wales
• Jean-Jacques Quisquater, Catholic University of Louvain
• P. Y. A. Ryan, University of Luxembourg
• Steve Schneider, University of Surrey
• Ankur Taly, Stanford University
• Dominique Unruh, Saarland University
• Luca Viganò, University of Verona

Submissions were accepted through EasyChair.

The programme is now available.

Mark Ryan (programme chair): M.D.Ryan at cs.bham.ac.uk.

Information about registration, accommodation and travel will be made available on the ETAPS web site.