POST 2012
First Conference on Principles of Security and Trust (POST 2012)
Principles of Security and Trust is a broad forum related to the theoretical and foundational aspects of security and trust. Papers of many kinds are welcome: new theoretical results, practical applications of existing foundational ideas, and innovative theoretical approaches stimulated by pressing practical problems.
POST combines and replaces 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 proposing theories to clarify security and trust within computer science; submissions establishing new results in existing theories; and also submissions raising fundamental concerns about existing theories. We welcome new techniques and tools to automate reasoning within such theories, or to solve security and trust problems. Case studies that reflect the strengths and limitations of foundational approaches are also welcome, as are more exploratory presentations on open questions.
Areas of interest include:
| Access control | Anonymity | Authentication |
| Availability | Cloud security | Confidentiality |
| Covert channels | Crypto foundations | Economic issues |
| Information flow | Integrity | Languages for security |
| Malicious code | Mobile code | Models and policies |
| Privacy | Provenance | Reputation and trust |
| Resource usage | Risk assessment | Security architectures |
| Security protocols | Trust management | Web service security |
Productive techniques have included automated reasoning, compositionality and transformation, language-based methods, logical formalization, quantitative methods, and static analysis.
Important dates and submission
See the common call for papers of ETAPS 2012. Submit your paper via the POST 2012 author interface of Easychair.
POST 2012 will use a rebuttal phase. Dates: 28-30 November 2011.
Invited speaker
Cynthia Dwork (Microsoft Research, Silicon Valley, USA)
Programme co-chairs
Pierpaolo Degano (Univ. of Pisa, Italy)
Joshua Guttman (Worcester Polytechnic Institute, USA)
Programme committee
Michael Backes (Univ. of Saarland and MPI-SWS, Germany)
Anindya Banerjee (IMDEA Software, Spain)
Gilles Barthe (IMDEA Software, Spain)
David Basin (ETH Zürich, Switzerland)
Veronique Cortier (CNRS, LORIA, FR)
Andrew Gordon (Microsoft Research, Cambridge, and Univ. of Edinburgh, UK)
Ralf Küsters (Univ. of Trier, Germany)
Steve Kremer (INRIA, ENS Cachan, France)
Peeter Laud (Cybernetica AS and Univ. of Tartu, Estonia)
Gavin Lowe (Oxford Univ., UK)
Heiko Mantel (Technical Univ. of Darmstadt, Germany)
Sjouke Mauw (Univ. of Luxembourg, Luxembourg)
Catherine Meadows (NRL, USA)
John C. Mitchell (Stanford Univ., USA)
Sebastian Mödersheim (Techn. Univ. of Denmark)
Carroll Morgan (Univ. of New South Wales, Australia)
Mogens Nielsen (Univ. of Aarhus, Denmark)
Catuscia Palamidessi (INRIA, École Polytechnique, France)
Andrei Sabelfeld (Chalmers Univ. of Technology, Sweden)
Nikhil Swamy (Microsoft Research, Redmond, USA)
Luca Viganò (Univ. of Verona, Italy)