| Authors | Title | Paper | Talk |
|---|
| Gergei Bana and Hubert Comon-Lundh | Protocol Indistinguishability and the Computationally Complete Symbolic Attacker |  | Jul 18 16:30 |
| Abhishek Bichhawat, Vineet Rajani, Deepak Garg and Christian Hammer | Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis | | Jul 18 15:00 |
| Gergei Bana and Mitsuhiro Okada | Fitting's Embedding of Classical Logic in S4 and Trace Properties in the Computational Model | | Jul 18 17:10 |
| Sibylle Froeschle | On Well-Founded Security Protocols (Extended Abstract) | | Jul 18 16:50 |
| Hubert Comon-Lundh, Veronique Cortier and Guillaume Scerri | A tool for automating the computationally complete symbolic attacker | | Jul 18 12:00 |
| Catalin Hritcu | Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) | | Jul 18 15:30 |
| Piotr Mardziel, Mario Alvim and Michael Hicks | Adversary Gain vs. Defender Loss in Quantified Information Flow | | Jul 18 14:30 |
| Alberto Cappai and Ugo Dal Lago | Towards a Coinductive Characterization of Computational Indistinguishability | | Jul 18 12:20 |
| Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott | Towards Timed Models for Cyber-Physical Security Protocols | | Jul 18 17:30 |
| Anupam Datta, Dilsun Kaynar, Divya Sharma and Arunesh Sinha | Actual Causes of Security Violations (Short Paper) | | Jul 18 12:40 |
| John D Ramsdell, Daniel Dougherty, Joshua Guttman and Paul D Rowe | A Hybrid Analysis for Security Protocols with State | | Jul 18 09:45 |