SAT-based Model-Checking of Security Protocols: Lectures and Talks

  1. Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. Given by Roberto Carbone at the 6th ACM Workshop on Formal Methods in Security Engineering (FMSE 2008), October 27 2008, Alexandria, Virginia, US. Note: More details on the vulnerability can be found here.
  2. LTL Model Checking for Security Protocol Analysis. Invited talk given by Alessandro Armando at the Logic and Information Security, September 24, 2008, Lorenz Center, Leiden, Holland.
  3. Automatic Validation of Internet Security Protocols. Invited lecture by Alessandro Armando at the AEOLUS Summer School on Global Computing, September 20, 2007, Salerno, Italy.
  4. LTL Model Checking for Security Protocols. Given by Roberto Carbone at the 20th IEEE Computer Security Foundations Symposium (CSF 2007), July 6-8 2007, Venice, Italy.
  5. Automatic Compilation of Protocol Insecurity Problems into Logic Programming. Given by Luca Compagna at the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), September 27-30 2004, Lisbon, Portugal.
  6. SATMC: a SAT-based Model Checker for Security Protocols. Given by Luca Compagna at the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), September 27-30 2004, Lisbon, Portugal.
  7. An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. Given by Luca Compagna at the Workshop on Automated Reasoning for Security Protocol Analysis Workshop (ARSPA 2005), July 04 2004, Cork, Irland.
  8. SAT-based Model-Checking of Security Protocols using Planning Graph Analysis. Given by Pierre Ganty at the 12th International FME Symposium (FME 2003) , September 8-14 2003, Pisa, Italy.
  9. Automatic Analysis of Security Protocols via Reduction to SAT. Given by Luca Compagna at the Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), May 5-8 2003, S.Margherita Ligure, Italy.
  10. Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. Given by Luca Compagna at the Formal Techniques for Networked and Distributed Systems (FORTE 2002) conference, November 11-14 2002, Houston, Texas.