POST 2012 First Conference on Principles of Security and Trust - Tallinn, Estonia March, 2012

Conference Description

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
in 2011 under the name Theory of Security and Applications
(TOSCA).

POST is now a member conference of the European Joint
Conferences on Theory and Practice of Software (ETAPS), which
is the primary European forum for academic and industrial
researchers working on topics relating to Software
Science. ETAPS 2012 is the 15th joint conference in this
series.

http://www.etaps.org/2012
http://web.cs.wpi.edu/~guttman/post12/