ETAPS 2017: 22-29 April 2017, Uppsala, Sweden

POST 2017

6th International Conference on Principles of Security and Trust (POST)

Accepted papers


Principles of Security and Trust is a broad forum related to the theoretical and foundational aspects of security and trust.

POST was created in 2012 to combine and replace a number of successful and longstanding workshops in this area: Automated Reasoning and Security Protocol Analysis (ARSPA), Formal Aspects of Security and Trust (FAST), Security in Concurrency (SecCo), and the Workshop on Issues in the Theory of Security (WITS). A subset of these events met jointly as an event affiliated with ETAPS 2011 under the name Theory of Security and Applications (TOSCA).

We seek submissions on the foundations of information security, privacy, and trust, relevant for computer science and different application disciplines. This includes results on cryptographic and logical foundations, reasoning methods, tools, and applications. Case studies that reflect the strengths and limitations of existing foundations, methods, and their supporting tools are also welcome, as are more exploratory presentations on open questions.

Areas of interest include:

Access control Accountability Anonymity
Authentication Availability Cloud security
Confidentiality Covert channels Crypto foundations
Database security Distributed systems security Economic issues
Embedded systems security Hardware security Information flow
Integrity Languages for security Malicious code
Mobile security and privacy Models and policies Privacy and privacy-preserving systems
Provenance Reputation and trust Resource usage
Risk assessment Security architectures Security protocols
Trust management Web security and privacy  

Systematization of knowledge papers

We solicit systematization of knowledge (SoK) papers that evaluate, systematize, and contextualize existing knowledge. Suitable papers are those that provide an important new viewpoint on established research areas, challenge long-held beliefs in such an area with compelling evidence, or present a comprehensive new taxonomy of such an area. Survey papers without such insights are not appropriate. Submissions should be distinguished by the suffix “(SoK)” in the title. They will be reviewed by the PC and held to the same standards as traditional research papers, except instead of emphasizing novel research contributions the emphasis will be on value to the community. Accepted papers will be presented at the conference and included in the proceedings.

Important dates and submission instructions

See the ETAPS 2017 joint call for papers. Submit your paper through the POST 2017 author interface of Easychair.

POST accepts both research papers (max 20 pp, excluding bibliography of max 2 pp) and tool demonstration papers (4+6 pp). Systematization of knowledge papers are a special form of research paper and are subject to the same page limit.

POST 2017 will not use a rebuttal phase.

Programme chairs

Matteo Maffei (Technische Universität Wien, Austria)
Mark D. Ryan (University of Birmingham, UK)

Programme committee

Myrto Arapinis (University of Edinburgh, UK)
Stefano Calzavara (Università Ca'Foscari Venezia, Italy)
Kostas Chatzikokolakis (LIX, CNRS & École Polytechnique & INRIA, France)
Stephen Chong (Harvard University, USA)
Jeremy Clark (Concordia University, Canada)

Cas Cremers (University of Oxford, UK)
Stephanie Delaune (LSV, CNRS & ENS Cachan, France)
Matt Fredrikson (Carnegie Mellon University, UK)
Marco Gaboardi (State University of New York at Buffalo, USA)
David Galindo (University of Birmingham, UK)

Deepak Garg (MPI-SWS, Germany)
Dieter Gollmann (Technische Universität Hamburg, Germany)
Cătălin Hriţcu (INRIA Paris - Rocquencourt, France)
Limin Jia (Carrnegie Mellon University, USA)
Aniket Kate (Purdue University, USA)

Boris Köpf (IMDEA Software Institute, Spain)
Mark Manulis (University of Surrey, UK)
Catherine Meadows (Naval Research Laboratory, USA)
Frank Piessens (KU Leuven, Belgium)
Alejandro Russo (Chalmers University of Technology, Sweden)

Geoffrey Smith (University of Florida, USA)
Ben Smyth (Huawei Research)
Luca Viganò (King's College London, UK)
Bogdan Warinschi (University of Bristol, UK)