| Thursday 16 April |
| 10h30 - 12h30 |
Information Flow and Security Types (Chair: Sergio Maffeis)
- Stefan Heule, Deian Stefan, Edward Yang, John Mitchell and Alejandro Russo. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
- Bart van Delft, Sebastian Hunt and David Sands. Very Static Enforcement of Dynamic Policies
- Adam Petcher and Greg Morrisett. The Foundational Cryptography Framework
- Martín Abadi and Michael Isard. On the Flow of Data, Information, and Time
|
| 14h00 - 15h00 |
Risk Assessment and Security Policies (Chair: Heiko Mantel)
- Zaruhi Aslanyan and Flemming Nielson. Pareto Efficient Solutions of Attack-Defence Trees
- Fatih Turkmen, Jerry den Hartog, Silvio Ranise and Nicola Zannone. Analysis of XACML Policies with SMT
|
| Friday 17 April |
| 10h30 - 12h30 |
Protocols (Chair: Chair: Veronique Cortier)
- Tom Chothia, Ben Smyth and Christopher Staite. Automatically Checking Commitment Protocols in ProVerif Without False Attacks
- Sjouke Mauw and Sasa Radomirovic. Generalizing Multi-Party Contract Signing
- Sibylle Froeschle. Leakiness is Decidable for Well-Founded Protocols
- Thanh Binh Nguyen and Christoph Sprenger. Abstractions for Security Protocol Verification
|
| 14h00 - 16h00 |
Hardware and Physical Security (Chair: Riccardo Focardi)
- Robert Künnemann. Automated Backward Analysis of PKCS#11 v2.20
- Kristian Beilke and Volker Roth. A Safe Update Mechanism for Smart Cards
- Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott. Discrete vs Dense Times in the Verification of Cyber-Physical Security Protocols
- Vincent Cheval and Veronique Cortier. Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques
|
| 16h30 - 18h00 |
Privacy and Voting (Chair: Karthikeyan Bhargavan)
- Veronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei and Cyrille Wiedling. Type-Based Verification of Electronic Voting Protocols
- Myrto Arapinis, Vincent Cheval and Stephanie Delaune. Composing Security Protocols: from Confidentiality to Privacy
- Michael Backes, Fabian Bendun, Jörg Hoffmann and Ninja Marnau. PriCL: Creating a Precedent, a Framework for Reasoning About Privacy Case Law
|