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.

The event seeks 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