5 minute talks

CSF's popular tradition of a session of 5-minute talks will continue this year! Short talks may be trailers for longer presentations at one of the affiliated workshops, or stand entirely on their own. Work-in progress, provocative ideas, programmatic presentations, and whatever has the potential to stimulate interesting discussions are especially welcome!


  1. Musard Balliu, Mads Dam, Roberto Guanciale. Automating Information Flow Analysis of Low Level Code. Abstract
  2. Remy Chretien, Veronique Cortier, Stephanie Delaune. Typing messages for free in security protocols: the case of equivalence properties. Abstract
  3. Rance DeLong. Distributed MILS (Work-in-Progress). Abstract
  4. Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt. Analysis and synthesis in the generic group model. Abstract
  5. Richard Gay, Jinwei Hu, and Heiko Mantel. Coordinating Distributed Security Enforcement. Abstract
  6. Catalin Hritcu. The Joint EasyCrypt-F*-CryptoVerif School 2014. Abstract
  7. Matteo Maffei, Giulio Malavolta, Manuel Reinert and Dominique Schroeder. GORAM: Privacy, Access Control, and Verifiability in Group Outsourced Storage. Abstract
  8. Scott Moore, Christos Dimoulas, Dan King, and Stephen Chong. Shill: A Secure Shell Scripting Language. Abstract
  9. Mario S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith. An Axiomatic Approach to Quantitative Information Flow. Abstract
  10. Willard Rafnsson and Andrei Sabelfeld. A What and Where Model of Declassification for Secure Multi-Execution. Abstract
  11. Per Hallgren, Martin Ochoa, Andrei Sabelfeld. InnerCircle: A Decentralized Privacy-Preserving Location Proximity Protocol. Abstract
  12. Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld. SeLINQ: Tracking Information across Application-Database Boundaries. Abstract
  13. Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen. A Symbolic Logic with Exact Bounds for Cryptographic Protocols. Abstract
  14. Anupam Datta, Dilsun Kaynar, Divya Sharma, Arunesh Sinha. Actual Causes of Security Violations: A Building Block for Accountability. Abstract
  15. Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, and Alejandro Russo. IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. Abstract
  16. Sebastian Moedersheim, Thomas Gross, Luca Vigano`. Defining Privacy is Supposed to be Easy . Abstract
  17. Roberto Vigo, Flemming Nielson, Hanne Riis Nielson. Availability by Design. Abstract
  18. Dante Zanarini. Monitoring Reactive Systems with Dynamic Channels. Abstract