L. Compagna

Most-cited papers

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
A. Armando, David A. Basin, Yohan Boichut, Yannick Chevalier +13 more
2005International Conference on Computer Aided Verification1,469 citations Open access
Semantic Scholar
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar +1 more
2008Formal Methods in Security Engineering305 citations Open access
Semantic Scholar
A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
Yannick Chevalier, L. Compagna, Jorge Cuéllar, P. Drielsma +3 more
2004177 citations
Semantic Scholar
SAT-based model-checking for security protocols analysis
A. Armando, L. Compagna
2008International Journal of Information Security123 citations
Semantic Scholar
LTL Model Checking for Security Protocols
Alessandro Armando, R. Carbone, L. Compagna
2007IEEE Computer Security Foundations Symposium106 citations
Semantic Scholar
SATMC: A SAT-Based Model Checker for Security Protocols
A. Armando, L. Compagna
2004European Conference on Logics in Artificial Intelligence92 citations
Semantic Scholar
The AVISS Security Protocol Analysis Tool
A. Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier +6 more
2002International Conference on Computer Aided Verification76 citations Open access
Semantic Scholar
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations
A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar +2 more
2013Computers & security72 citations
Semantic Scholar
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
A. Armando, R. Carbone, L. Compagna
2015International Journal on Software Tools for Technology Transfer (STTT)54 citations
Semantic Scholar
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
A. Armando, L. Compagna
2005ARSPA@IJCAR50 citations Open access
Semantic Scholar
Security Validation of Business Processes via Model-Checking
Wihem Arsac, L. Compagna, Giancarlo Pellegrino, S. E. Ponta
2011Engineering Secure Software and Systems46 citations
Semantic Scholar
How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach
L. Compagna, P. El Khoury, F. Massacci, Reshma Thomas +1 more
2007International Conference on Artificial Intelligence and Law46 citations
Semantic Scholar
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries
Avinash Sudhodanan, R. Carbone, L. Compagna, Nicolas Dolgin +2 more
2017European Symposium on Security and Privacy43 citations
Semantic Scholar
SATMC: A SAT-Based Model Checker for Security-Critical Systems
A. Armando, R. Carbone, L. Compagna
2014International Conference on Tools and Algorithms for Construction and Analysis of Systems43 citations
Semantic Scholar
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
A. Armando, L. Compagna, P. Ganty
2003FME40 citations
Semantic Scholar
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning
A. Armando, L. Compagna
2002Formal Techniques for (Networked and) Distributed Systems38 citations
Semantic Scholar
The Convergence of Source Code and Binary Vulnerability Discovery -- A Case Study
Alessandro Mantovani, L. Compagna, Yan Shoshitaishvili, D. Balzarotti
2022ACM Asia Conference on Computer and Communications Security37 citations
Semantic Scholar
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications
Avinash Sudhodanan, A. Armando, R. Carbone, L. Compagna
2016Network and Distributed System Security Symposium37 citations Open access
Semantic Scholar
From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure?
A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar +2 more
2011IFIP International Information Security Conference33 citations Open access
Semantic Scholar
Model-Checking Driven Security Testing of Web-Based Applications
A. Armando, R. Carbone, L. Compagna, Ke-Qin Li +1 more
20102010 Third International Conference on Software Testing, Verification, and Validation Workshops32 citations
Semantic Scholar
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta +18 more
2012International Conference on Tools and Algorithms for Construction and Analysis of Systems29 citations Open access
Semantic Scholar
Multi-Attacker Protocol Validation
Wihem Arsac, G. Bella, Xavier Chantry, L. Compagna
2011Journal of automated reasoning26 citations
Semantic Scholar
Abstraction-Driven SAT-based Analysis of Security Protocols
A. Armando, L. Compagna
2003International Conference on Theory and Applications of Satisfiability Testing26 citations
Semantic Scholar
SAT-based Model-Checking of Security Protocols
L. Compagna, Thesis Supervisors, A. Armando, A. Smaill +2 more
200523 citations
Semantic Scholar
ModSec-AdvLearn: Countering Adversarial SQL Injections With Robust Machine Learning
Giuseppe Floris, Christian Scano, B. Montaruli, Luca Demetrio +6 more
2023IEEE Transactions on Information Forensics and Security19 citations Open access
Semantic Scholar
Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications
Feras Al Kassar, Giulia Clerici, L. Compagna, D. Balzarotti +1 more
2022Network and Distributed System Security Symposium18 citations Open access
Semantic Scholar
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
A. Armando, L. Compagna, Y. Lierler
2004European Conference on Logics in Artificial Intelligence17 citations
Semantic Scholar
Business Process Compliance via Security Validation as a Service
L. Compagna, P. Guilleminot, Achim D. Brucker
20132013 IEEE Sixth International Conference on Software Testing, Verification and Validation16 citations Open access
Semantic Scholar
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications
L. Compagna, D. D. dos Santos, S. E. Ponta, S. Ranise
2017Conference on Data and Application Security and Privacy15 citations
Semantic Scholar
XACML as a Security and Dependability Pattern for Access Control in AmI environments
A. Muñoz, F. Sánchez-Cid, P. El Khoury, L. Compagna
200814 citations Open access
Semantic Scholar
Validating Security Protocols under the General Attacker
Wihem Arsac, G. Bella, Xavier Chantry, L. Compagna
2009ARSPA-WITS13 citations
Semantic Scholar
A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence
L. Compagna, H. Jonker, Johannes Krochewski, Benjamin Krumnow +1 more
20212021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)12 citations
Semantic Scholar
Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes
L. Compagna, D. D. dos Santos, S. E. Ponta, S. Ranise
2016International Conference on Tools and Algorithms for Construction and Analysis of Systems12 citations
Semantic Scholar
FP-tracer: Fine-grained Browser Fingerprinting Detection via Taint-tracking and Entropy-based Thresholds
S. Boussaha, Lukas Hock, M. Bermejo, R. C. Rumín +6 more
2024Proceedings on Privacy Enhancing Technologies11 citations Open access
Semantic Scholar
Security validation tool for business processes
Wihem Arsac, L. Compagna, Samuel Paul Kaluvuri, S. E. Ponta
2011ACM Symposium on Access Control Models and Technologies9 citations
Semantic Scholar
Automatically finding execution scenarios to deploy security-sensitive workflows
D. D. dos Santos, S. Ranise, L. Compagna, S. E. Ponta
2017Journal of computing and security7 citations
Semantic Scholar
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios
D. D. dos Santos, S. Ranise, L. Compagna, S. E. Ponta
2015Database Security7 citations Open access
Semantic Scholar
Automatic Security Analysis of SAML-Based Single Sign-On Protocols
A. Armando, R. Carbone, L. Compagna, Giancarlo Pellegrino
20117 citations Open access
Semantic Scholar
Towards Adaptive Security for Ubiquitous Computing Systems
V. Lotz, L. Compagna, Konrad S. Wrona
2008Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises6 citations
Semantic Scholar
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
Lorenzo Veronese, Stefano Calzavara, L. Compagna
2020European Symposium on Research in Computer Security5 citations Open access
Semantic Scholar
Security Threat Identification and Testing
R. Carbone, L. Compagna, Annibale Panichella, S. E. Ponta
2015International Conference on Information Control Systems & Technologies5 citations
Semantic Scholar
WHIP: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate
Feras Al Kassar, L. Compagna, D. Balzarotti
2023USENIX Security Symposium4 citations
Semantic Scholar
CSRFing the SSO Waves: Security Testing of SSO-Based Account Linking Process
Andrea Bisegna, Matteo Bitussi, R. Carbone, L. Compagna +2 more
2024European Symposium on Security and Privacy3 citations
Semantic Scholar
A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application
L. Compagna, P. El Khoury, F. Massacci, Ayda Saïdane
2010IFIP International Conference on Theoretical Computer Science3 citations
Semantic Scholar
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
A. Armando, L. Compagna, S. Ranise
2005Mechanizing Mathematical Reasoning3 citations
Semantic Scholar
Compliance Validation of Secure Service Compositions
Achim D. Brucker, L. Compagna, P. Guilleminot
2014Secure and Trustworthy Service Composition2 citations
Semantic Scholar
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols
Giancarlo Pellegrino, L. Compagna, Thomas Morreggia
2013International Conference on Testing Software and Systems2 citations
Semantic Scholar
Attacking Each Other
Wihem Arsac, G. Bella, Xavier Chantry, L. Compagna
2009Security Protocols Workshop2 citations
Semantic Scholar
Verification of S&D Solutions for Network Communications and Devices
C. Rudolph, L. Compagna, R. Carbone, A. Muñoz +1 more
2009Security and Dependability for Ambient Intelligence2 citations
Semantic Scholar
The AVISS Se urity Proto ol Analysis Tool ?
A. Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier +5 more
20022 citations
Semantic Scholar