Principles of Security and Trust

1. Front Matter

   PDF

2. Analysis of Cryptographic Protocols

   1. A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems

      • David Baelde, Stéphanie Delaune, Lucca Hirschi

      Pages 1-21

   2. Stateful Applied Pi Calculus

      • Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

      Pages 22-41

   3. Computational Soundness Results for ProVerif

      • Michael Backes, Esfandiar Mohammadi, Tim Ruffing

      Pages 42-62

   4. A Secure Key Management Interface with Asymmetric Cryptography

      • Marion Daubignard, David Lubicz, Graham Steel

      Pages 63-82

3. Quantitative Aspects of Information Flow

   1. Abstract Channels and Their Robust Information-Leakage Ordering

      • Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke

      Pages 83-102

   2. Quantitative Information Flow in Boolean Programs

      • Rohit Chadha, Dileep Kini, Mahesh Viswanathan

      Pages 103-119

   3. When Not All Bits Are Equal: Worth-Based Information Flow

      • Mário S. Alvim, Andre Scedrov, Fred B. Schneider

      Pages 120-139

   4. Leakage Resilience against Concurrent Cache Attacks

      • Gilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa

      Pages 140-158

4. Information Flow Control in Programming Languages

   1. Information Flow Control in WebKit’s JavaScript Bytecode

      • Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer

      Pages 159-178

   2. A Separation Logic for Enforcing Declarative Information Flow Control Policies

      • David Costanzo, Zhong Shao

      Pages 179-198

   3. Defining and Enforcing Referential Security

      • Jed Liu, Andrew C. Myers

      Pages 199-219

5. Cryptography in Implementations

   1. Extending and Applying a Framework for the Cryptographic Verification of Java Programs

      • Ralf Küsters, Enrico Scapin, Tomasz Truderung, Jürgen Graf

      Pages 220-239

   2. Compiling CAO: From Cryptographic Specifications to C Implementations

      • Manuel Barbosa, David Castro, Paulo F. Silva

      Pages 240-244

6. Policies and Attacks

   1. Decentralized Composite Access Control

      • Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David Basin

      Pages 245-264

   2. Temporal Logics for Hyperproperties

      • Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez

      Pages 265-284

   3. Time-Dependent Analysis of Attacks

      • Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga

      Pages 285-305

7. Back Matter

   PDF

This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in April 2014. The 15 papers presented in this volume were carefully reviewed and selected from 55 submissions. They are organized in topical sections named: analysis of cryptographic protocols; quantitative aspects of information flow; information flow control in programming languages; cryptography in implementations and policies and attacks.

• Web security
• authentication
• cloud computing
• cryptanalysis and other attacks
• cryptographic protocols
• encryption
• formal verification
• privacy
• reputation and trust
• security protocols
• algorithm analysis and problem complexity

• Microsoft Research, Mountain View, USA

  Martín Abadi

• LORIA, Vandoevre-lès-Nancy Cedex, France

  Steve Kremer

Policies and ethics