BibSonomy :: author  ::

bookmarks

publications

(16)

• Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.
  Alessandro Armando and Roberto Carbone and Luca Compagna and Jorge Cuéllar and M. Llanos Tobarra FMSE 1-10 (2008)
  to dblp by dblp on 2008-11-12 00:00:00
  | URL | BibTeX  
• Soziotechnische Aspekte von Teleheimarbeit
  Diego Compagna (eds.). (2007)
  to Imtm-Bibliothek by imtm on 2008-09-12 12:45:52
  | BibTeX  
• Preface.
  Luca Compagna and Volkmar Lotz and Fabio Massacci Electr. Notes Theor. Comput. Sci. 197 1-2 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• LTL Model Checking for Security Protocols.
  Alessandro Armando and Roberto Carbone and Luca Compagna CSF 385-396 (2007)
  to dblp by dblp on 2008-04-25 00:00:00
  | URL | BibTeX  
• SAT-based model-checking for security protocols analysis.
  Alessandro Armando and Luca Compagna Int. J. Inf. Sec. 7 3-32 (2008)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX  
• How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach.
  Luca Compagna and Paul El Khoury and Fabio Massacci and Reshma Thomas and Nicola Zannone ICAIL 149-153 (2007)
  to dblp by dblp on 2007-08-22 00:00:00
  | URL | BibTeX  
• Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.
  Alessandro Armando and Luca Compagna and Silvio Ranise Mechanizing Mathematical Reasoning 30-45 (2005)
  to dblp by dblp on 2006-03-16 00:00:00
  | URL | BibTeX  
• The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
  Alessandro Armando and David A. Basin and Yohan Boichut and Yannick Chevalier and Luca Compagna and Jorge Cuéllar and Paul Hankes Drielsma and Pierre-Cyrille Héam and Olga Kouchnarenko and Jacopo Mantovani and Sebastian Mödersheim and David von Oheimb and Michaël Rusinowitch and Judson Santiago and Mathieu Turuani and Luca Viganò and Laurent Vigneron CAV 281-285 (2005)
  to dblp by dblp on 2005-11-28 00:00:00
  | URL | BibTeX  
• An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols.
  Alessandro Armando and Luca Compagna Electr. Notes Theor. Comput. Sci. 125 91-108 (2005)
  to dblp by dblp on 2005-05-20 00:00:00
  | URL | BibTeX  
• SATMC: A SAT-Based Model Checker for Security Protocols.
  Alessandro Armando and Luca Compagna JELIA 730-733 (2004)
  to dblp by dblp on 2004-09-13 00:00:00
  | URL | BibTeX