Principles of Security and Trust

1. Front Matter

   PDF

2. Differential Privacy and the Power of (Formalizing) Negative Thinking

   • Cynthia Dwork

   Pages 1-2

3. Security Protocol Verification: Symbolic and Computational Models

   • Bruno Blanchet

   Pages 3-29

4. Analysing Routing Protocols: Four Nodes Topologies Are Sufficient

   • Véronique Cortier, Jan Degrieck, Stéphanie Delaune

   Pages 30-50

5. Parametric Verification of Address Space Separation

   • Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan

   Pages 51-68

6. Verification of Security Protocols with Lists: From Length One to Unbounded Length

   • Miriam Paiola, Bruno Blanchet

   Pages 69-88

7. Privacy Supporting Cloud Computing: ConfiChair, a Case Study

   • Myrto Arapinis, Sergiu Bursuc, Mark Ryan

   Pages 89-108

8. A Formal Analysis of the Norwegian E-voting Protocol

   • Véronique Cortier, Cyrille Wiedling

   Pages 109-128

9. Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

   • David Basin, Cas Cremers, Simon Meier

   Pages 129-148

10. Security Proof with Dishonest Keys

    • Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri

    Pages 149-168

11. Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity

    • Myrto Arapinis, Sergiu Bursuc, Mark D. Ryan

    Pages 169-188

12. Towards Unconditional Soundness: Computationally Complete Symbolic Attacker

    • Gergei Bana, Hubert Comon-Lundh

    Pages 189-208

13. Verified Indifferentiable Hashing into Elliptic Curves

    • Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin

    Pages 209-228

14. Provable De-anonymization of Large Datasets with Sparse Dimensions

    • Anupam Datta, Divya Sharma, Arunesh Sinha

    Pages 229-248

15. Revisiting Botnet Models and Their Implications for Takedown Strategies

    • Ting-Fang Yen, Michael K. Reiter

    Pages 249-268

16. A Game-Theoretic Analysis of Cooperation in Anonymity Networks

    • Mu Yang, Vladimiro Sassone, Sardaouna Hamadou

    Pages 269-289

17. Deciding Selective Declassification of Petri Nets

    • Eike Best, Philippe Darondeau

    Pages 290-308

18. Enforceable Security Policies Revisited

    • David Basin, Vincent Jugé, Felix Klaedtke, Eugen Zălinescu

    Pages 309-328

19. Towards Incrementalization of Holistic Hyperproperties

    • Dimiter Milushev, Dave Clarke

    Pages 329-348

20. Type-Based Analysis of PKCS#11 Key Management

    • Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio

    Pages 349-368

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, language-based security, and quantitative security properties.

• de-anonymization
• differential privacy
• e-voting
• formal methods
• lifetime privacy loss
• algorithm analysis and problem complexity

• Dipartimento di Informatica, Università di Pisa, Pisa, Italy

  Pierpaolo Degano

• Computer Science, Worcester Polytechnic Institute, Worcester, USA

  Joshua D. Guttman

Policies and ethics