Cataldo Basile

63 papers A 2B 5C 9Misc 3Journal 31Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management. IEEE Trans. Netw. Cataldo Basile, Gabriele Gatti, Francesco Settanni
2026	J	`jnl`	Empirical assessment of the code comprehension effort needed to attack programs protected with obfuscation. Comput. Secur. Leonardo Regano, Daniele Canavese, Cataldo Basile, Marco Torchiano
2026	J	`jnl`	From Threat Intelligence to Firewall Rules: Semantic Relations in Hybrid AI Agent and Expert System Architectures. CoRR Chiara Bonfanti, Davide Colaiacomo, Luca Cagliero, Cataldo Basile
2025	J	`jnl`	A Neuro-Symbolic Multi-Agent Approach to Legal-Cybersecurity Knowledge Integration. CoRR Chiara Bonfanti, Alessandro Druetto, Cataldo Basile, Tharindu Ranasinghe, Marcos Zampieri
2025	J	`jnl`	Advanced attack graph framework for operational technology: scalable modeling, validation, and risk mitigation. Clust. Comput. Alessio Viticchié, Alberto Salvatore Colletto, Giulio Sunder, Cataldo Basile, Alessandro Aliberti
2025	J	`jnl`	Automatic Selection of Protections to Mitigate Risks Against Software Applications. CoRR Daniele Canavese, Leonardo Regano, Bjorn De Sutter, Cataldo Basile
2025	J	`jnl`	Empirical Assessment of the Code Comprehension Effort Needed to Attack Programs Protected with Obfuscation. CoRR Leonardo Regano, Daniele Canavese, Cataldo Basile, Marco Torchiano
2025	J	`jnl`	Holistic Cyber Risk Assessment in the Cloud Continuum: A Multi-Layer, Multi-Domain Approach. IEEE Access Gabriele Gatti, José María Jorquera Valero, Manuel Gil Pérez, Cataldo Basile
2025	—	`conf`	Towards A Capability Model of Kubernetes Runtime Security Enforcement Mechanisms. ARES (Workshops 1) Francesco Settanni, Giuseppe Lisena, Cataldo Basile
2024	J	`jnl`	A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management. CoRR Cataldo Basile, Gabriele Gatti, Francesco Settanni
2024	B	`conf`	A Threat Analysis of Cooperative Intelligent Transport Systems: C-Roads Scenarios. COMPSAC Gabriele Gatti, Marco Civera, Cataldo Basile, Massimiliano Masi, Michele La Manna
2024	Misc	`conf`	Dynamic Security Provisioning for Cloud-Native Networks: An Intent-Based Approach. CSR Francesco Settanni, Alessandro Zamponi, Cataldo Basile
2024	J	`jnl`	Security at the Edge for Resource-Limited IoT Devices. Sensors Daniele Canavese, Luca Mannella, Leonardo Regano, Cataldo Basile
2023	B	`conf`	A Model for Automated Cybersecurity Threat Remediation and Sharing. NetSoft Francesco Settanni, Leonardo Regano, Cataldo Basile, Antonio Lioy
2023	B	`conf`	An expert system for automatic cyber risk assessment and its AI-based improvements. COMPSAC Gabriele Gatti, Cataldo Basile, Guido Perboli
2023	Misc	`conf`	Continuous Security Assurance of Modern Supply-Chain Ecosystems with Application in Autonomous Driving: The FISHY approach for the secure autonomous driving domain. CSR George Hatzivasilis, Sotiris Ioannidis, Grigoris Kalogiannis, Manolis Chatzimpyrros, George Spanoudakis, Guillermo Jiménez Prieto, Araceli Rojas Morgan, Miguel Juaniz Lopez, Cataldo Basile, José Francisco Ruiz
2023	J	`jnl`	Design, Implementation, and Automation of a Risk Management Approach for Man-at-the-End Software Protection. CoRR Cataldo Basile, Bjorn De Sutter, Daniele Canavese, Leonardo Regano, Bart Coppens
2023	J	`jnl`	Design, implementation, and automation of a risk management approach for man-at-the-End software protection. Comput. Secur. Cataldo Basile, Bjorn De Sutter, Daniele Canavese, Leonardo Regano, Bart Coppens
2022	B	`conf`	A model of capabilities of Network Security Functions. NetSoft Cataldo Basile, Daniele Canavese, Leonardo Regano, Ignazio Pedone, Antonio Lioy
2022	J	`jnl`	Encryption-agnostic classifiers of traffic originators and their application to anomaly detection. Comput. Electr. Eng. Daniele Canavese, Leonardo Regano, Cataldo Basile, Gabriele Ciravegna, Antonio Lioy
2022	J	`jnl`	Toward Cybersecurity Personalization in Smart Homes. IEEE Secur. Priv. Daniele Bringhenti, Fulvio Valenza, Cataldo Basile
2020	J	`jnl`	Empirical assessment of the effort needed to attack programs protected with client/server code splitting. Empir. Softw. Eng. Alessio Viticchié, Leonardo Regano, Cataldo Basile, Marco Torchiano, Mariano Ceccato, Paolo Tonella
2020	J	`jnl`	Software Protection as a Risk Analysis Process. CoRR Daniele Canavese, Leonardo Regano, Cataldo Basile, Bart Coppens, Bjorn De Sutter
2019	J	`jnl`	A meta-model for software protections and reverse engineering attacks. J. Syst. Softw. Cataldo Basile, Daniele Canavese, Leonardo Regano, Paolo Falcarin, Bjorn De Sutter
2019	J	`jnl`	Adding Support for Automatic Enforcement of Security Policies in NFV Networks. IEEE/ACM Trans. Netw. Cataldo Basile, Fulvio Valenza, Antonio Lioy, Diego R. López, Antonio Pastor Perales
2019	J	`jnl`	Securing Soft IP Cores in FPGA based Reconfigurable Mobile Heterogeneous Systems. CoRR Alberto Carelli, Cataldo Basile, Alessandro Savino, Alessandro Vallero, Stefano Di Carlo
2019	J	`jnl`	Understanding the behaviour of hackers while performing attack tasks in a professional setting and in a public challenge. Empir. Softw. Eng. Mariano Ceccato, Paolo Tonella, Cataldo Basile, Paolo Falcarin, Marco Torchiano, Bart Coppens, Bjorn De Sutter
2018	J	`jnl`	On the impossibility of effectively using likely-invariants for software attestation purposes. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Alessio Viticchié, Cataldo Basile, Fulvio Valenza, Antonio Lioy
2018	—	`conf`	Securing bitstream integrity, confidentiality and authenticity in reconfigurable mobile heterogeneous systems. AQTR Alberto Carelli, Carlo Alberto Cristofanini, Alessandro Vallero, Cataldo Basile, Paolo Prinetto, Stefano Di Carlo
2017	J	`jnl`	Assessing network authorization policies via reachability analysis. Comput. Electr. Eng. Cataldo Basile, Daniele Canavese, Christian Pitscheider, Antonio Lioy, Fulvio Valenza
2017	J	`jnl`	Assessment of Source Code Obfuscation Techniques. CoRR Alessio Viticchié, Leonardo Regano, Marco Torchiano, Cataldo Basile, Mariano Ceccato, Paolo Tonella, Roberto Tiella
2017	J	`jnl`	Classification and Analysis of Communication Protection Policy Anomalies. CoRR Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
2017	J	`jnl`	Classification and Analysis of Communication Protection Policy Anomalies. IEEE/ACM Trans. Netw. Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
2017	—	`conf`	Estimating Software Obfuscation Potency with Artificial Neural Networks. STM Daniele Canavese, Leonardo Regano, Cataldo Basile, Alessio Viticchié
2017	J	`jnl`	How Professional Hackers Understand Protected Code while Performing Attack Tasks. CoRR Mariano Ceccato, Paolo Tonella, Cataldo Basile, Bart Coppens, Bjorn De Sutter, Paolo Falcarin, Marco Torchiano
2017	A	`conf`	How professional hackers understand protected code while performing attack tasks. ICPC Mariano Ceccato, Paolo Tonella, Cataldo Basile, Bart Coppens, Bjorn De Sutter, Paolo Falcarin, Marco Torchiano
2017	C	`conf`	Remotely Assessing Integrity of Software Applications by Monitoring Invariants: Present Limitations and Future Directions. CRiSIS Alessio Viticchié, Cataldo Basile, Antonio Lioy
2017	C	`conf`	Towards Optimally Hiding Protected Assets in Software Applications. QRS Leonardo Regano, Daniele Canavese, Cataldo Basile, Antonio Lioy
2016	—	`conf`	A Reference Architecture for Software Protection. WICSA Bjorn De Sutter, Paolo Falcarin, Brecht Wyseur, Cataldo Basile, Mariano Ceccato, Jérôme d'Annoville, Michael Zunke
2016	C	`conf`	Assessment of Source Code Obfuscation Techniques. SCAM Alessio Viticchié, Leonardo Regano, Marco Torchiano, Cataldo Basile, Mariano Ceccato, Paolo Tonella, Roberto Tiella
2016	J	`jnl`	Inter-function anomaly analysis for correct SDN/NFV deployment. Int. J. Netw. Manag. Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider, Fulvio Valenza
2016	—	`conf`	Reactive Attestation: Automatic Detection and Reaction to Software Tampering Attacks. SPRO@CCS Alessio Viticchié, Cataldo Basile, Andrea Avancini, Mariano Ceccato, Bert Abrath, Bart Coppens
2016	—	`conf`	The ASPIRE Framework for Software Protection. SPRO@CCS Bjorn De Sutter, Cataldo Basile, Mariano Ceccato, Paolo Falcarin, Michael Zunke, Brecht Wyseur, Jérôme d'Annoville
2016	C	`conf`	Towards Automatic Risk Analysis and Mitigation of Software Applications. WISTP Leonardo Regano, Daniele Canavese, Cataldo Basile, Alessio Viticchié, Antonio Lioy
2015	C	`conf`	A Formal Model of Policy Reconciliation. PDP Cataldo Basile, Antonio Lioy, Christian Pitscheider, Shilong Zhao
2015	—	`conf`	A formal model of network policy analysis. RTSI Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy
2015	B	`conf`	A novel approach for integrating security policy enforcement with dynamic network virtualization. NetSoft Cataldo Basile, Antonio Lioy, Christian Pitscheider, Fulvio Valenza, Marco Vallini
2015	J	`jnl`	Analysis of Application-Layer Filtering Policies With Application to HTTP. IEEE/ACM Trans. Netw. Cataldo Basile, Antonio Lioy
2015	—	`conf`	Automatic Discovery of Software Attacks via Backward Reasoning. SPRO@ICSE Cataldo Basile, Daniele Canavese, Jérôme d'Annoville, Bjorn De Sutter, Fulvio Valenza
2015	—	`conf`	Towards the Dynamic Provision of Virtualized Security Services. CSP Forum Cataldo Basile, Christian Pitscheider, Fulvio Risso, Fulvio Valenza, Marco Vallini
2015	J	`jnl`	Virtualized security at the network edge: a user-centric approach. IEEE Commun. Mag. Diego Montero, Marcelo Yannuzzi, Adrian L. Shaw, Ludovic Jacquin, Antonio Pastor, René Serral-Gracià, Antonio Lioy, Fulvio Risso, Cataldo Basile, Roberto Sassu, Mario Nemirovsky, Francesco Ciaccia, Michael Georgiades, Savvas Charalambides, Jarkko Kuusijärvi, Francesca Bosco
2014	C	`conf`	Inter-technology Conflict Analysis for Communication Protection Policies. CRiSIS Cataldo Basile, Daniele Canavese, Antonio Lioy, Fulvio Valenza
2013	C	`conf`	Improved Reachability Analysis for Security Management. PDP Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider
2013	A	`conf`	Towards a unified software attack model to assess software protections. ICPC Cataldo Basile, Mariano Ceccato
2012	J	`jnl`	FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems. IEEE Trans. Syst. Man Cybern. Part C Cataldo Basile, Stefano Di Carlo, Alberto Scionti
2012	J	`jnl`	Network-Level Access Control Policy Analysis and Transformation. IEEE/ACM Trans. Netw. Cataldo Basile, Alberto Cappadonia, Antonio Lioy
2012	—	`conf`	The PoSecCo Security Decision Support System. ISSE Cataldo Basile, Antonio Lioy, Stefano Paraboschi
2010	C	`conf`	Towards a Network-Independent Policy Specification. PDP Cataldo Basile, Antonio Lioy, Marco Vallini
2009	Misc	`conf`	Ontology-Based Policy Translation. CISIS Cataldo Basile, Antonio Lioy, Salvatore Scozzi, Marco Vallini
2008	—	`conf`	Geometric Interpretation of Policy Specification. POLICY Cataldo Basile, Alberto Cappadonia, Antonio Lioy
2008	C	`conf`	Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC). PDP Cataldo Basile, Paolo Carlo Pomi, Piervito Scaglioso
2007	—	`conf`	POSITIF: A Policy-Based Security Management System. POLICY Cataldo Basile, Antonio Lioy, Gregorio Martínez Pérez, Félix J. García Clemente, Antonio Fernandez Gómez-Skarmeta
2004	—	`—`	Theoretical iusses and architectural design of policy-based security systems. Cataldo Basile