Abstract is missing.
- What's the Over/Under? Probabilistic Bounds on Information LeakageIan Sweet, José Manuel Calderón Trilla, Chad Scherrer, Michael Hicks 0001, Stephen Magill. 3-27 [doi]
- Secure Information Release in Timed AutomataPanagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson. 28-52 [doi]
- Compositional Non-interference for Concurrent Programs via Separation and FramingAleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal. 53-78 [doi]
- The Meaning of Memory SafetyArthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce. 79-105 [doi]
- Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-ChannelsHamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam. 109-133 [doi]
- Leakage and Protocol Composition in a Game-Theoretic PerspectiveMário S. Alvim, Konstantinos Chatzikokolakis 0001, Yusuke Kawamoto 0001, Catuscia Palamidessi. 134-159 [doi]
- Equivalence Properties by Typing in Cryptographic Branching ProtocolsVéronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei. 160-187 [doi]
- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On ExperienceGiada Sciarretta, Roberto Carbone, Silvio Ranise, Luca Viganò 0001. 188-213 [doi]
- SoK: Unraveling Bitcoin Smart ContractsNicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino. 217-242 [doi]
- A Semantic Framework for the Security Analysis of Ethereum Smart ContractsIlya Grishchenko, Matteo Maffei, Clara Schneidewind. 243-269 [doi]
- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart ContractsAnastasia Mavridou, Aron Laszka. 270-277 [doi]
- UniTraX: Protecting Data Privacy with Discoverable BiasesReinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg. 278-299 [doi]
- Transcompiling FirewallsChiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta. 303-324 [doi]
- On Quantitative Analysis of Attack-Defense Trees with Repeated LabelsBarbara Kordy, Wojciech Widel. 325-346 [doi]