Institute of Information Security
−Sidebar
Start »
−Table of Contents
5th Workshop on Hot Issues in Security Principles and Trust
HotSpot 2017
Affiliated with ETAPS 2017
Uppsala, Sweden
April 23rd, 2017
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 IFIP WG 1.7: Theoretical Foundations of Security Analysis and Design.
Important Dates
- Submission:
January 15th, 2017January 31st, 2017, AoE - Author Notification: February 13th, 2017
- Final versions for informal proceedings (optional): February 20th, 2017
- Workshop: April 23rd, 2017
Submissions
Paper submission is via EasyChair. Please follow the instructions given there. Note that only pdf files may be submitted.
There is no page limit. Given the informal setting of the workshop, one page abstracts may already suffice.
There will be no formal proceedings. Inclusion in informal proceedings is optional.
Invited talk
Andrei Sabelfeld, Chalmers University of Technology, Sweden
Title: Taint Tracking without Tracking Taints
Program
| Sunday, April 23rd | |
|---|---|
| Session I | |
| 8:30-9:00 | Making decryption accountable Mark Ryan |
| 9:00-9:30 | On Composability of Game-based Password Authenticated Key Exchange Jean Lancrenon and Marjan Skrobot |
| 9:30-10:00 | Securing the End-points of the Signal Protocol using Intel SGX based Containers Kristoffer Severinsen, Christian Johansen, and Sergiu Bursuc |
| 10:00-10:30 | Coffee break |
| Session II | |
| 10:30-11:00 | On the Content Security Policy Violations due to the Same-Origin Policy Dolière Francis Some, Nataliia Bielova, and Tamara Rezk |
| 11:00-11:30 | A Runtime Monitoring System to Secure Browser Extensions Raúl Pardo, Pablo Picazo-Sanchez, Gerardo Schneider, and Juan Tapiador |
| 11:30-12:00 | Combining Graph-Based and Deduction-Based Information-Flow Analysis Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, and Marko Kleine Büning |
| 12:00-12:30 | Securing Concurrent Lazy Programs Marco Vassena, Joachim Breitner, and Alejandro Russo |
| 12:30-14:00 | Lunch |
| Session III | |
| 14:00-15:00 | Invited Talk: Taint Tracking without Tracking Taints Andrei Sabelfeld |
| 15:00-15:30 | A Linguistic Framework for Firewall Decompilation and Analysis Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, and Lorenzo Veronese |
| 15:30-16:00 | Coffee break |
| 16:00-17:30 | IFIP WG 1.7 Meeting |
Program
The proceedings are now available.
Program Committee Chair
Ralf Küsters, University of Trier, Germany
Program Committee
- Aslan Askarov, Aarhus University, Denmark
- David Basin, ETH Zurich, Switzerland
- Véronique Cortier, CNRS, Loria, France
- Cas Cremers, University of Oxford, UK
- Riccardo Focardi, Ca' Foscari University, Italy
- Joshua Guttman, Worcester Polytechnic Institute, USA
- Boris Köpf, IMDEA Software Institute, Spain
- Ninghui Li, Purdue University, USA
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Tamara Rezk, INRIA, France
- Peter Ryan, University of Luxembourg, Luxembourg
- Mark Ryan, University of Birmingham, UK
- Geoffrey Smith, Florida International University, USA
- Nikhil Swamy, MSR Redmond, USA
Registration, accommodation and travel
For information about registration, accommodation, and travel please refer to the ETAPS web site.
Previous editions of HotSpot
Contact
Ralf Küsters (program chair): ralf.kuesters@informatik.uni-stuttgart.de
