POST 2015 programme

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