Luca Compagna - RankMe

60 papers A* 5A 12B 3C 4Misc 1Journal 16Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ModSec-AdvLearn: Countering Adversarial SQL Injections With Robust Machine Learning. IEEE Trans. Inf. Forensics Secur. Giuseppe Floris, Christian Scano, Biagio Montaruli, Luca Demetrio, Andrea Valenza, Luca Compagna, Davide Ariu, Luca Piras, Davide Balzarotti, Battista Biggio
2025	A	`conf`	One Detector Fits All: Robust and Adaptive Detection of Malicious Packages from PyPI to Enterprises. ACSAC Biagio Montaruli, Luca Compagna, Serena Elisa Ponta, Davide Balzarotti
2025	J	`jnl`	One Detector Fits All: Robust and Adaptive Detection of Malicious Packages from PyPI to Enterprises. CoRR Biagio Montaruli, Luca Compagna, Serena Elisa Ponta, Davide Balzarotti
2025	J	`jnl`	SourceBroken: A large-scale analysis on the (un)reliability of SourceRank in the PyPI ecosystem. CoRR Biagio Montaruli, Serena Elisa Ponta, Luca Compagna, Davide Balzarotti
2024	A	`conf`	CSRFing the SSO Waves: Security Testing of SSO-Based Account Linking Process. EuroS&P Andrea Bisegna, Matteo Bitussi, Roberto Carbone, Luca Compagna, Silvio Ranise, Avinash Sudhodanan
2024	J	`jnl`	FP-tracer: Fine-grained Browser Fingerprinting Detection via Taint-tracking and Entropy-based Thresholds. Proc. Priv. Enhancing Technol. Soumaya Boussaha, Lukas Hock, Miguel Bermejo, Rubén Cuevas Rumín, Ángel Cuevas Rumín, David Klein, Martin Johns, Luca Compagna, Daniele Antonioli, Thomas Barber
2024	J	`jnl`	ModSec-Learn: Boosting ModSecurity with Machine Learning. CoRR Christian Scano, Giuseppe Floris, Biagio Montaruli, Luca Demetrio, Andrea Valenza, Luca Compagna, Davide Ariu, Luca Piras, Davide Balzarotti, Battista Biggio
2023	J	`jnl`	Adversarial ModSecurity: Countering Adversarial SQL Injections with Robust Machine Learning. CoRR Biagio Montaruli, Luca Demetrio, Andrea Valenza, Luca Compagna, Davide Ariu, Luca Piras, Davide Balzarotti, Battista Biggio
2023	—	`conf`	Raze to the Ground: Query-Efficient Adversarial HTML Attacks on Machine-Learning Phishing Webpage Detectors. AISec@CCS Biagio Montaruli, Luca Demetrio, Maura Pintor, Luca Compagna, Davide Balzarotti, Battista Biggio
2023	J	`jnl`	Raze to the Ground: Query-Efficient Adversarial HTML Attacks on Machine-Learning Phishing Webpage Detectors. CoRR Biagio Montaruli, Luca Demetrio, Maura Pintor, Luca Compagna, Davide Balzarotti, Battista Biggio
2023	A*	`conf`	WHIP: Improving Static Vulnerability Detection in Web Application by Forcing tools to Collaborate. USENIX Security Symposium Feras Al Kassar, Luca Compagna, Davide Balzarotti
2022	A*	`conf`	Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications. NDSS Feras Al Kassar, Giulia Clerici, Luca Compagna, Davide Balzarotti, Fabian Yamaguchi
2022	A	`conf`	The Convergence of Source Code and Binary Vulnerability Discovery - A Case Study. AsiaCCS Alessandro Mantovani, Luca Compagna, Yan Shoshitaishvili, Davide Balzarotti
2021	—	`conf`	A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence. EuroS&P Workshops Luca Compagna, Hugo Jonker, Johannes Krochewski, Benjamin Krumnow, Merve Sahin
2021	J	`jnl`	Bulwark: Holistic and Verified Security Monitoring of Web Protocols. CoRR Lorenzo Veronese, Stefano Calzavara, Luca Compagna
2020	—	`conf`	Bulwark: Holistic and Verified Security Monitoring of Web Protocols. ESORICS (1) Lorenzo Veronese, Stefano Calzavara, Luca Compagna
2017	—	`conf`	Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications. CODASPY Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
2017	J	`jnl`	Automatically finding execution scenarios to deploy security-sensitive workflows. J. Comput. Secur. Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta
2017	A	`conf`	Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries. EuroS&P Avinash Sudhodanan, Roberto Carbone, Luca Compagna, Nicolas Dolgin, Alessandro Armando, Umberto Morelli
2016	A*	`conf`	Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications. NDSS Avinash Sudhodanan, Alessandro Armando, Roberto Carbone, Luca Compagna
2016	A	`conf`	Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes. TACAS Luca Compagna, Daniel Ricardo dos Santos, Serena Elisa Ponta, Silvio Ranise
2016	J	`jnl`	SATMC: a SAT-based model checker for security protocols, business processes, and security APIs. Int. J. Softw. Tools Technol. Transf. Alessandro Armando, Roberto Carbone, Luca Compagna
2015	B	`conf`	Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios. DBSec Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta
2015	A	`conf`	Security Threat Identification and Testing. ICST Roberto Carbone, Luca Compagna, Annibale Panichella, Serena Elisa Ponta
2014	—	`ch.`	Compliance Validation of Secure Service Compositions. Secure and Trustworthy Service Composition Achim D. Brucker, Luca Compagna, Pierre Guilleminot
2014	—	`conf`	From Research Results to Strategy: A Mapping Exercise. ISSE Michele Bezzi, Frances Cleary, Luca Compagna
2014	A	`conf`	SATMC: A SAT-Based Model Checker for Security-Critical Systems. TACAS Alessandro Armando, Roberto Carbone, Luca Compagna
2013	C	`conf`	A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols. ICTSS Giancarlo Pellegrino, Luca Compagna, Thomas Morreggia
2013	J	`jnl`	An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations. Comput. Secur. Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti
2013	A	`conf`	Business Process Compliance via Security Validation as a Service. ICST Luca Compagna, Pierre Guilleminot, Achim D. Brucker
2012	A	`conf`	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 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ò
2011	Misc	`conf`	From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? SEC Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti
2011	J	`jnl`	Multi-Attacker Protocol Validation. J. Autom. Reason. Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
2011	—	`conf`	Security Validation of Business Processes via Model-Checking. ESSoS Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta
2011	C	`conf`	Security validation tool for business processes. SACMAT Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta
2010	J	`jnl`	A Dynamic Security Framework for Ambient Intelligent Systems: A Smart-Home Based eHealth Application. Trans. Comput. Sci. Luca Compagna, Paul El Khoury, Fabio Massacci, Ayda Saïdane
2010	—	`conf`	Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino
2009	—	`conf`	Attacking Each Other. Security Protocols Workshop Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
2009	J	`jnl`	How to integrate legal requirements into a requirements engineering methodology for the development of security and privacy patterns. Artif. Intell. Law Luca Compagna, Paul El Khoury, Alzbeta Krausová, Fabio Massacci, Nicola Zannone
2009	J	`jnl`	LTL model checking for security protocols. J. Appl. Non Class. Logics Alessandro Armando, Roberto Carbone, Luca Compagna
2009	—	`conf`	Towards Validating Security Protocol Deployment in the Wild. COMPSAC (2) Luca Compagna, Ulrich Flegel, Volkmar Lotz
2009	—	`conf`	Validating Security Protocols under the General Attacker. ARSPA-WITS Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
2009	—	`ch.`	Verification of S&D Solutions for Network Communications and Devices. Security and Dependability for Ambient Intelligence Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp
2008	—	`conf`	Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Llanos Tobarra
2008	—	`ed.`	Proceedings of the 3rd International Workshop on Security and Trust Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007 STM@ESORICS Luca Compagna, Volkmar Lotz, Fabio Massacci
2008	J	`jnl`	SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec. Alessandro Armando, Luca Compagna
2008	—	`ch.`	Towards Adaptive Security for Ubiquitous Computing Systems. Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises Volkmar Lotz, Luca Compagna, Konrad S. Wrona
2007	C	`conf`	How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach. ICAIL Luca Compagna, Paul El Khoury, Fabio Massacci, Reshma Thomas, Nicola Zannone
2007	A	`conf`	LTL Model Checking for Security Protocols. CSF Alessandro Armando, Roberto Carbone, Luca Compagna
2007	—	`conf`	Preface. STM@ESORICS Luca Compagna, Volkmar Lotz, Fabio Massacci
2005	—	`conf`	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning Alessandro Armando, Luca Compagna, Silvio Ranise
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 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
2004	—	`conf`	An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. ARSPA@IJCAR Alessandro Armando, Luca Compagna
2004	B	`conf`	Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA Alessandro Armando, Luca Compagna, Yuliya Lierler
2004	B	`conf`	SATMC: A SAT-Based Model Checker for Security Protocols. JELIA Alessandro Armando, Luca Compagna
2003	A	`conf`	Abstraction-Driven SAT-based Analysis of Security Protocols. SAT Alessandro Armando, Luca Compagna
2003	—	`conf`	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. FME Alessandro Armando, Luca Compagna, Pierre Ganty
2002	C	`conf`	Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. FORTE Alessandro Armando, Luca Compagna
2002	A*	`conf`	The AVISS Security Protocol Analysis Tool. CAV Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2001	A	`conf`	System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR Alessandro Armando, Luca Compagna, Silvio Ranise