Some of my recent seminars...

• On the Rational Attacker threat model
  Presented at SAP Research Labs, France, February 2008
   
• On the general concept of retaliating an attack for the sake of preventing itself
  Presented at IEEE-NATO Information and Communication Technologies Symposium, Tetuan, Morocco, June 2005
  
  
• On the general concept of Second-Level Security Protocols and their challenges to formal treatment
  Presented at CNR (Consiglio Nazionale delle Ricerche) IIT (Istituto di Informatica e Telematica), Pisa, Italy, Sept. 2003 (previously at TPHOLs, Conference on Theorem Proving in Higher Order Logics, Rome, Italy, same month)
  
  
• On the general principle of Goal Availability for security protocol analysis.
  Presented at ACM Symposium on Applied Computing, Melbourne FL, USA, March 2003 (previously at Validation 2002, Genoa, Italy, November 2002
  
  
• On using Isabelle and the Inductive Method to analyse large portions of the SET protocol. 
  Presented at ACM Conference on Computer and Communications Security, Washington, USA, November 2002
  
  
• On using Abstract State Machines and their Workbench to simulate security policies interactively.
  Presented at ACM Symposium on Applied Computing, Madrid, Spain, March 2002
  
  
• On using Soft Constraint Programming to analyse security protocols.
  Presented at SRI International, Menlo Park CA, USA,  March 2001