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

POST was created in 2012 to combine and replace 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 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