We are currently collecting comments, criticisms, and testimonials for the evaluation of our efforts by our public funders. If you want to share any thoughts that we may use in our report, please feel free to send us your comments!
default search action
1. POST 2012:
Tallinn, Estonia (Part of ETAPS 2012)
Pierpaolo Degano, Joshua D. Guttman: 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.Lecture Notes in Computer Science 7215, Springer2012, ISBN 978-3-642-28640-7
Cynthia Dwork: Differential Privacy and the Power of (Formalizing) Negative Thinking - (Extended Abstract).1-2
Bruno Blanchet: Security Protocol Verification: Symbolic and Computational Models.3-29