[TYPES/announce] 2nd CfP POST'17 (NEW: SYSTEMATIZATION OF KNOWLEDGE PAPERS)
Matteo Maffei
maffei at cs.uni-saarland.de
Sun Sep 25 15:54:40 EDT 2016
ETAPS 2017: European Joint Conferences on Theory and Practice of Software
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of five main annual conferences (ESOP, FASE, FOSSACS, POST and TACAS) accompanied by satellite workshops and other events. The twentieth edition, ETAPS 2017, will take place in Uppsala, Sweden. This is the first time that ETAPS goes to Scandinavia.
POST 2017: 6th International Conference on Principles of Security and Trust
Principles of Security and Trust is a broad forum related to the 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. 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
============
Papers due: 21 October 2016 ***4 days after EuroS&P notification deadline, no abstract submission deadline***
Author notification: 22 December 2016
Camera-ready versions: 20 January 2017
ETAPS Conference: 22-29 April 2017, Uppsala, Sweden
===============
Program Committee
===============
Matteo Maffei (Universität des Saarlandes, Germany - co-chair)
Mark D. Ryan (University of Birmingham, UK - co-chair)
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)
The full CfP is available at http://www.etaps.org/index.php/2017/post
More information about the Types-announce
mailing list