Abstract is missing.
- Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open ChallengesCatuscia Palamidessi. 3-7 [doi]
- IFC Inside: Retrofitting Languages with Dynamic Information Flow ControlStefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo. 11-31 [doi]
- Very Static Enforcement of Dynamic PoliciesBart van Delft, Sebastian Hunt, David Sands. 32-52 [doi]
- The Foundational Cryptography FrameworkAdam Petcher, Greg Morrisett. 53-72 [doi]
- On the Flow of Data, Information, and TimeMartín Abadi, Michael Isard. 73-92 [doi]
- Pareto Efficient Solutions of Attack-Defence TreesZaruhi Aslanyan, Flemming Nielson. 95-114 [doi]
- Analysis of XACML Policies with SMTFatih Turkmen, Jerry den Hartog, Silvio Ranise, Nicola Zannone. 115-134 [doi]
- Automatically Checking Commitment Protocols in ProVerif without False AttacksTom Chothia, Ben Smyth, Christopher Staite. 137-155 [doi]
- Generalizing Multi-party Contract SigningSjouke Mauw, Sasa Radomirovic. 156-175 [doi]
- Leakiness is Decidable for Well-Founded ProtocolsSibylle B. Fröschle. 176-195 [doi]
- Abstractions for Security Protocol VerificationThanh Binh Nguyen 0003, Christoph Sprenger. 196-215 [doi]
- Automated Backward Analysis of PKCS#11 v2.20Robert Künnemann. 219-238 [doi]
- A Safe Update Mechanism for Smart CardsKristian Beilke, Volker Roth. 239-258 [doi]
- Discrete vs. Dense Times in the Analysis of Cyber-Physical Security ProtocolsMax I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. 259-279 [doi]
- Timing Attacks in Security Protocols: Symbolic Framework and Proof TechniquesVincent Cheval, Véronique Cortier. 280-299 [doi]
- Type-Based Verification of Electronic Voting ProtocolsVéronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling. 303-323 [doi]
- Composing Security Protocols: From Confidentiality to PrivacyMyrto Arapinis, Vincent Cheval, Stéphanie Delaune. 324-343 [doi]
- PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case LawMichael Backes 0001, Fabian Bendun, Jörg Hoffmann 0001, Ninja Marnau. 344-363 [doi]