Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012
URL:	http://dx.doi.org/10.1007/978-3-642-28641-4
DBLP:	db/conf/post/post2012.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 22  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Miriam Paiola, Bruno Blanchet. Verification of Security Protocols with Lists: From Length One to Unbounded Length.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Myrto Arapinis, Sergiu Bursuc, Mark Ryan. Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Eike Best, Philippe Darondeau. Deciding Selective Declassification of Petri Nets.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu. Enforceable Security Policies Revisited.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Mu Yang, Vladimiro Sassone, Sardaouna Hamadou. A Game-Theoretic Analysis of Cooperation in Anonymity Networks.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Cynthia Dwork. Differential Privacy and the Power of (Formalizing) Negative Thinking - (Extended Abstract).	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera. A Core Calculus for Provenance.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Véronique Cortier, Cyrille Wiedling. A Formal Analysis of the Norwegian E-voting Protocol.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan. Parametric Verification of Address Space Separation.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012
	Conference paper Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio. Type-Based Analysis of PKCS#11 Key Management.	Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 2012	(0)	2012

Show item 1 to 10 of 22  

Your query returned 22 matches in the database.