This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software.The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security,...

The Italian Conference on Theoretical Computer Science (ICTCS '98) is the annual conference of the Italian Chapter of the European Association for Theoretical Computer Science. The Conference aims at enabling computer scientists, especially young researchers to enter the community and to exchange theoretical ideas and results, as well as theoretical based practical experiences and tools in computer science.This volume contains 32 papers selected out of 50 submissions. The main topics include computability, automata, formal languages, term rewriting, analysis and design of algorithms,...