Abstract is missing.
- A Reduced Semantics for Deciding Trace Equivalence Using Constraint SystemsDavid Baelde, Stéphanie Delaune, Lucca Hirschi. 1-21 [doi]
- Stateful Applied Pi CalculusMyrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan. 22-41 [doi]
- Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to UniformityMichael Backes, Esfandiar Mohammadi, Tim Ruffing. 42-62 [doi]
- A Secure Key Management Interface with Asymmetric CryptographyMarion Daubignard, David Lubicz, Graham Steel. 63-82 [doi]
- Abstract Channels and Their Robust Information-Leakage OrderingAnnabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke. 83-102 [doi]
- Quantitative Information Flow in Boolean ProgramsRohit Chadha, Dileep Kini, Mahesh Viswanathan. 103-119 [doi]
- When Not All Bits Are Equal: Worth-Based Information FlowMário S. Alvim, Andre Scedrov, Fred B. Schneider. 120-139 [doi]
- Leakage Resilience against Concurrent Cache AttacksGilles Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa. 140-158 [doi]
- Information Flow Control in WebKit's JavaScript BytecodeAbhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer. 159-178 [doi]
- A Separation Logic for Enforcing Declarative Information Flow Control PoliciesDavid Costanzo, Zhong Shao. 179-198 [doi]
- Defining and Enforcing Referential SecurityJed Liu, Andrew C. Myers. 199-219 [doi]
- Extending and Applying a Framework for the Cryptographic Verification of Java ProgramsRalf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf. 220-239 [doi]
- Compiling CAO: From Cryptographic Specifications to C ImplementationsManuel Barbosa, David Castro, Paulo F. Silva. 240-244 [doi]
- Decentralized Composite Access ControlPetar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin. 245-264 [doi]
- Temporal Logics for HyperpropertiesMichael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez. 265-284 [doi]
- Time-Dependent Analysis of AttacksFlorian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga. 285-305 [doi]