| Authors | Title | Paper | Talk |
|---|
| Christos Dimoulas, Scott Moore, Aslan Askarov and Stephen Chong | Declarative Policies for Capability Control |  | Jul 19 10:45 |
| Joshua Kroll, Gordon Stewart and Andrew Appel | Portable Software Fault Isolation | | Jul 19 11:15 |
| Radha Jagadeesan, Cm Lubinski, Corin Pitcher, James Riely and Charles Winebrinner | Certificates for Verifiable Forensics | | Jul 19 11:45 |
| Andrey Chudnov, George Kuan and David Naumann | Information flow monitoring as abstract interpretation for relational logic | | Jul 19 12:15 |
| Pablo Buiras, Deian Stefan and Alejandro Russo | On Dynamic Flow-sensitive Floating-Label Systems | | Jul 19 17:30 |
| Heiko Mantel, Matthias Perner and Jens Sauer | Noninterference under Weak Memory Models | | Jul 19 18:00 |
| Marian Harbach, Sascha Fahl and Matthew Smith | Who’s Afraid of Which Bad Wolf? A Survey of IT Security Risk Awareness | | Jul 20 10:45 |
| Jens Grossklags and David Reitter | How Task Familiarity and Cognitive Predispositions Impact Behavior in a Security Game of Timing | | Jul 20 11:15 |
| Jason Crampton and Alexandre Pinto | Attribute-based Encryption for Access Control Using Elementary Operations | | Jul 20 14:30 |
| Alex Malozemoff, Jonathan Katz and Matthew Green | Automated Analysis and Synthesis of Block-Cipher Modes of Operation | | Jul 20 15:00 |
| Joseph Ayo Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt and Pierre-Yves Strub | Certified Synthesis of Efficient Batch Verifiers | | Jul 20 15:30 |
| Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya and Sarah Meiklejohn | Malleable Signatures: New Definitions and Delegatable Anonymous Credentials | | Jul 20 17:30 |
| Chris Culnane and Steve Schneider | A Peered Bulletin Board for Robust Use in Verifiable Voting Systems | | Jul 20 16:30 |
| Dan Bogdanov, Peeter Laud, Sven Laur and Pille Pullonen | From Input Private to Universally Composable Secure Multi-party Computation Primitives | | Jul 20 17:00 |
| Daniel Dougherty and Joshua Guttman | Decidability for Lightweight Diffie-Hellman Protocols | | Jul 21 10:45 |
| Moses Liskov and Francisco Javier Thayer | Modeling Diffie-Hellman Derivability for Automated Analysis | | Jul 21 11:15 |
| David Basin, Cas Cremers and Marko Horvat | Actor Key Compromise: Consequences and Countermeasures | | Jul 21 11:45 |
| Sebastian A. Mödersheim and Georgios Katsoris | A Sound Abstraction of the Parsing Problem | | Jul 21 12:15 |
| Willard Rafnsson and Andrei Sabelfeld | Compositional Information-flow Security for Interactive Systems | | Jul 21 14:30 |
| Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens and Tamara Rezk | Stateful Declassification Policies for Event-Driven Programs | | Jul 21 15:00 |
| Mario Alvim, Kostas Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi and Geoffrey Smith | Additive and multiplicative notions of leakage, and their capacities | | Jul 21 15:30 |
| Benjamin Johnson, Aron Laszka and Jens Grossklags | The Complexity of Estimating Systematic Risk in Networks | | Jul 22 10:45 |
| Roberto Vigo, Flemming Nielson and Hanne Riis Nielson | Automated Generation of Attack Trees | | Jul 22 11:15 |
| Pedro Adão, Claudio Bozzato, Gian-Luca Dei Rossi, Riccardo Focardi and Flaminia Luccio | Mignis: A semantic based tool for firewall configuration | | Jul 22 11:45 |
| Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan and Mauro Tempesta | Provably Sound Browser-Based Enforcement of Web Session Integrity | | Jul 22 12:15 |
| Michael Backes, Praveen Manoharan and Esfandiar Mohammadi | TUC: Time-sensitive and Modular Analysis of Anonymous Communication | | Jul 22 16:30 |
| Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin Pierce and Aaron Roth | Differential Privacy: An Economic Method for Choosing Epsilon | | Jul 22 17:00 |
| Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz and Pierre-Yves Strub | Proving differential privacy in Hoare logic | | Jul 22 17:30 |
| Jia Liu, Mark Ryan and Liqun Chen | Balancing Societal Security and Individual Privacy: Accountable Escrow System | | Jul 22 15:30 |