ETAPS 2018: 14-20 April 2018, Thessaloniki, Greece

POST 2018

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

Accepted papers

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

We seek submissions on the foundations of information security, privacy, and trust, relevant for computer science and different application disciplines. 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
Cyber-physical systems security Database security Distributed systems security
Security and privacy economics 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 Usable security and privacy Usage control
Web security and privacy    

New this year

Exceptionally for this year 2018, POST important dates differ from those the other ETAPS conferences.

POST 2018 uses a rebuttal phase.

POST 2018 uses a double-blind reviewing process.

We consider position papers (in addition to regular research papers, systematization of knowledge papers and tool demonstration papers).

Important dates and submission instructions

See the ETAPS 2018 joint call for papers.

POST abstracts are due: 22 November 2017 AoE (two days after EURO S&P notification).

POST papers are due: 24 November 2017 AoE.

POST accepts four types of contributions: regular research papers, systematization of knowledge papers, position papers, and tool demonstratioin papers (see below for details). All four types of accepted papers will appear in the proceedings, with page limits similar to  the submissions, and have presentations during the conference. Titles of systematization of knowledge papers, position papers, and tool demonstration papers should start with a phrase that indicates the category (“SoK”, “Position Paper”, “Tool Demonstration”).

A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation.

Submitted papers must be in English and present previously unpublished work. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the Easychair author interface of POST 2018.

Submissions not adhering to the specified format and length may be rejected immediately.

POST will use a double-blind review process. Authors are asked to omit their names, institutions, and other directly identifying information; refer to their prior work in the third person, just as to prior work by others; and not to include acknowledgements that might identify them.

The proceedings of ETAPS 2018 will be published in gold open access, meaning that the published versions of all papers will be available for everyone to download  from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers wil remain with the authors. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series.

Regular research papers

POST allows regular research paper submissions of at most 20 pages (excluding a bibliography of max 2 pages). Additional material intended for reviewers but not for publication in the final version—for example, details of proofs—may be placed in a clearly marked appendix that is not included in the page limit. POST reviewers are at liberty to ignore appendices and papers must be understandable without them.

Systematization of knowledge (SoK) papers

SoK papers 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 prefix “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.

The page limit is as for regular research papers.

Position papers

New this year, POST welcomes position papers that present a well justified stance on a fundamental but possibly controversial question. For example: "Privacy should trump security in all cases" (or the other way around), "Cryptocurrencies should be outlawed because... / encouraged because ...", "Why we should/should not research internet-based voting". A position paper can also propose new directions for foundational research without having worked out all technical details. Position papers will be selected based on originality, likelihood of stimulating insightful discussion at the conference, and technical merit. Position papers may be no longer than 10 pages (excluding a bibliography of up to 2 pages) and their titles must start with the words "Position Paper:".

Tool demonstration papers

Submissions of tool demonstration papers should consist of two parts:

The first part, at most 6 pages, should describe the tool presented and provide information that illustrates the maturity and robustness of the tool (this part will be included in the proceedings). If available, the URL of the tool should be provided in the appropriate form field when submitting your paper. This field can only been seen by PC chairs, and hence, it does not have to be anonymized. Of course, authors may also include anonymized URLs directly in their submission. The title of the submission should start with the words “Tool Demonstration:”.

The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will not be included in the proceedings, but will be evaluated.)

Invited speaker

Benjamin C. Pierce (University of Pennsylvania, USA)

Programme chairs

Lujo Bauer (Carnegie Mellon University, USA)
Ralf Küsters (University of Stuttgart, Germany)

Programme committee

Karthikeyan Bhargavan (INRIA Paris, France) 
Nataliia Bielova (INRIA Sophia Antipolis, France)
Stephen Chong (Harvard University, USA)
Veronique Cortier (CNRS, LORIA, France)
Stephanie Delaune (CNRS, IRISA, France)

Cormac Flanagan (University of California at Santa Cruz, USA)
Riccardo Focardi (Università Ca' Foscari di Venezia, Italy)
Michael Hicks (University of Maryland, USA)
Anja Lehmann (IBM Research Zürich, Switzerland)
Jay Ligatti (University of South Florida, USA)

Sergio Maffeis (Imperial College London, UK)
Heiko Mantel (Technische Universität Darmstadt, Germany)
Catherine Meadows (NRL, USA)
Frank Piessens (KU Leuven, Belgium)
Tamara Rezk (INRIA Sophia Antipolis, France)

Andrei Sabelfeld (Chalmers University of Technology, Sweden)
Gregor Snelting (Karlsruhe Institute of Technology, Germany)
Cynthia Sturton (University of North Carolina at Chapel Hill, USA)
Vanessa Teague (University of Melbourne, Australia)
Luca Viganò (King's College London, UK)