Search results for "Luca Compagna"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.	TACAS	2012	DBLP DOI BibTeX RDF
1	Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna	Multi-Attacker Protocol Validation.	J. Autom. Reasoning	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta	Security Validation of Business Processes via Model-Checking.	ESSoS	2011	DBLP DOI BibTeX RDF
1	Luca Compagna, Paul El Khoury, Fabio Massacci, Ayda Saïdane	A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application.	Transactions on Computational Science	2010	DBLP DOI BibTeX RDF
1	Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li 0002, Giancarlo Pellegrino	Model-Checking Driven Security Testing of Web-Based Applications.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Alessandro Armando, Roberto Carbone, Luca Compagna	LTL model checking for security protocols.	Journal of Applied Non-Classical Logics	2009	DBLP BibTeX RDF
1	Luca Compagna, Paul El Khoury, Alzbeta Krausová, Fabio Massacci, Nicola Zannone	How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns.	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Security and privacy patterns, Legal requirements, Pattern validation, Healthcare, Organization
1	Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp	Verification of S&D Solutions for Network Communications and Devices.	Security and Dependability for Ambient Intelligence	2009	DBLP DOI BibTeX RDF
1	Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna	Validating Security Protocols under the General Attacker.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Luca Compagna, Ulrich Flegel, Volkmar Lotz	Towards Validating Security Protocol Deployment in the Wild.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna	SAT-based model-checking for security protocols analysis.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking
1	Luca Compagna, Volkmar Lotz, Fabio Massacci	Preface.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Volkmar Lotz, Luca Compagna, Konrad Wrona	Towards Adaptive Security for Ubiquitous Computing Systems.	Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises	2008	DBLP BibTeX RDF
1	Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra	Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.	FMSE	2008	DBLP DOI BibTeX RDF	saml single sign-on, sat-based model checking, security protocols, bounded model checking
1	Alessandro Armando, Roberto Carbone, Luca Compagna	LTL Model Checking for Security Protocols.	CSF	2007	DBLP DOI BibTeX RDF
1	Luca Compagna, Paul El Khoury, Fabio Massacci, Reshma Thomas, Nicola Zannone	How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach.	ICAIL	2007	DBLP DOI BibTeX RDF	legal requirements, pattern validation, security & privacy patterns, organization, health care
1	Alessandro Armando, Luca Compagna	An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna, Silvio Ranise	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
1	Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.	CAV	2005	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna, Yuliya Lierler	Automatic Compilation of Protocol Insecurity Problems into Logic Programming.	JELIA	2004	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna	SATMC: A SAT-Based Model Checker for Security Protocols.	JELIA	2004	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna	Abstraction-Driven SAT-based Analysis of Security Protocols.	SAT	2003	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna, Pierre Ganty	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.	FME	2003	DBLP DOI BibTeX RDF	SAT encodings, security protocols, bounded model-checking, SAT-solvers
1	Alessandro Armando, Luca Compagna	Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.	FORTE	2002	DBLP DOI BibTeX RDF	Verification, Network security
1	Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron	The AVISS Security Protocol Analysis Tool.	CAV	2002	DBLP DOI BibTeX RDF
1	Alessandro Armando, Luca Compagna, Silvio Ranise	System Description: RDL : Rewrite and Decision Procedure Laboratory.	IJCAR	2001	DBLP DOI BibTeX RDF

Publications of "Luca Compagna" ( http://dblp.L3S.de/Authors/Luca_Compagna )