Luca Compagna
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
20
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | SourceBroken: A large-scale analysis on the (un)reliability of SourceRank in the PyPI ecosystem. | Biagio Montaruli, Serena Elisa Ponta, Luca Compagna, Davide Balzarotti |
| 2025 | ACSAC | One Detector Fits All: Robust and Adaptive Detection of Malicious Packages from PyPI to Enterprises. | Biagio Montaruli, Luca Compagna, Serena Elisa Ponta, Davide Balzarotti |
| 2024 | DCAI | ModSec-Learn: Boosting ModSecurity with Machine Learning. | Christian Scano, Giuseppe Floris, Biagio Montaruli, Luca Demetrio, Andrea Valenza, Luca Compagna, Davide Ariu, Luca Piras, Davide Balzarotti, Battista Biggio |
| 2023 | CCS | Raze to the Ground: Query-Efficient Adversarial HTML Attacks on Machine-Learning Phishing Webpage Detectors. | Biagio Montaruli, Luca Demetrio, Maura Pintor, Luca Compagna, Davide Balzarotti, Battista Biggio |
| 2022 | AsiaCCS | The Convergence of Source Code and Binary Vulnerability Discovery - A Case Study. | Alessandro Mantovani, Luca Compagna, Yan Shoshitaishvili, Davide Balzarotti |
| 2022 | NDSS | Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications. | Feras Al Kassar, Giulia Clerici, Luca Compagna, Davide Balzarotti, Fabian Yamaguchi |
| 2020 | ESORICS | Bulwark: Holistic and Verified Security Monitoring of Web Protocols. | Lorenzo Veronese, Stefano Calzavara, Luca Compagna |
| 2016 | NDSS | Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications. | Avinash Sudhodanan, Alessandro Armando, Roberto Carbone, Luca Compagna |
| 2016 | TACAS | Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes. | Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise |
| 2015 | DBSEC | Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios. | Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta |
| 2015 | ICST | Security Threat Identification and Testing. | Roberto Carbone, Luca Compagna, Annibale Panichella, Serena Elisa Ponta |
| 2014 | TACAS | SATMC: A SAT-Based Model Checker for Security-Critical Systems. | Alessandro Armando, Roberto Carbone, Luca Compagna |
| 2013 | ICST | Business Process Compliance via Security Validation as a Service. | Luca Compagna, Pierre Guilleminot, Achim D. Brucker |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | SACMAT | Security validation tool for business processes. | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
| 2011 | SEC | From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cullar, Giancarlo Pellegrino, Alessandro Sorniotti |
| 2010 | ICST | Model-Checking Driven Security Testing of Web-Based Applications. | Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino |
| 2009 | COMPSAC | Towards Validating Security Protocol Deployment in the Wild. | Luca Compagna, Ulrich Flegel, Volkmar Lotz |
| 2008 | CCS | Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cullar, Llanos Tobarra |
| 2007 | ICAIL | How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach. | Luca Compagna, Paul El Khoury, Fabio Massacci, Reshma Thomas, Nicola Zannone |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2004 | JELIA | SATMC: A SAT-Based Model Checker for Security Protocols. | Alessandro Armando, Luca Compagna |
| 2004 | JELIA | Automatic Compilation of Protocol Insecurity Problems into Logic Programming. | Alessandro Armando, Luca Compagna, Yuliya Lierler |
| 2003 | FM | SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. | Alessandro Armando, Luca Compagna, Pierre Ganty |
| 2003 | SAT | Abstraction-Driven SAT-based Analysis of Security Protocols. | Alessandro Armando, Luca Compagna |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2002 | FORTE | Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. | Alessandro Armando, Luca Compagna |
| 2001 | CADE | System Description: RDL : Rewrite and Decision Procedure Laboratory. | Alessandro Armando, Luca Compagna, Silvio Ranise |