Cataldo Basile

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 33

Top Topics

Software Application

Reverse Engineer

Top Venues

IEEE/ACM Trans. Netw.

Publications

Cataldo Basile, Gabriele Gatti, Francesco Settanni
A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management. CoRR (2024)
Daniele Canavese, Luca Mannella, Leonardo Regano, Cataldo Basile
Security at the Edge for Resource-Limited IoT Devices. Sensors 24 (2) (2024)
Francesco Settanni, Leonardo Regano, Cataldo Basile, Antonio Lioy
A Model for Automated Cybersecurity Threat Remediation and Sharing. NetSoft (2023)
Cataldo Basile, Bjorn De Sutter, Daniele Canavese, Leonardo Regano, Bart Coppens
Design, Implementation, and Automation of a Risk Management Approach for Man-at-the-End Software Protection. CoRR (2023)
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
Continuous Security Assurance of Modern Supply-Chain Ecosystems with Application in Autonomous Driving: The FISHY approach for the secure autonomous driving domain. CSR (2023)
Cataldo Basile, Bjorn De Sutter, Daniele Canavese, Leonardo Regano, Bart Coppens
Design, implementation, and automation of a risk management approach for man-at-the-End software protection. Comput. Secur. 132 (2023)
Gabriele Gatti, Cataldo Basile, Guido Perboli
An expert system for automatic cyber risk assessment and its AI-based improvements. COMPSAC (2023)
Cataldo Basile, Daniele Canavese, Leonardo Regano, Ignazio Pedone, Antonio Lioy
A model of capabilities of Network Security Functions. NetSoft (2022)
Daniele Canavese, Leonardo Regano, Cataldo Basile, Gabriele Ciravegna, Antonio Lioy
Encryption-agnostic classifiers of traffic originators and their application to anomaly detection. Comput. Electr. Eng. 97 (2022)
Daniele Bringhenti, Fulvio Valenza, Cataldo Basile
Toward Cybersecurity Personalization in Smart Homes. IEEE Secur. Priv. 20 (1) (2022)
Daniele Canavese, Leonardo Regano, Cataldo Basile, Bart Coppens, Bjorn De Sutter
Software Protection as a Risk Analysis Process. CoRR (2020)
Alessio Viticchié, Leonardo Regano, Cataldo Basile, Marco Torchiano, Mariano Ceccato, Paolo Tonella
Empirical assessment of the effort needed to attack programs protected with client/server code splitting. Empir. Softw. Eng. 25 (1) (2020)
Mariano Ceccato, Paolo Tonella, Cataldo Basile, Paolo Falcarin, Marco Torchiano, Bart Coppens, Bjorn De Sutter
Understanding the behaviour of hackers while performing attack tasks in a professional setting and in a public challenge. Empir. Softw. Eng. 24 (1) (2019)
Alberto Carelli, Cataldo Basile, Alessandro Savino, Alessandro Vallero, Stefano Di Carlo
Securing Soft IP Cores in FPGA based Reconfigurable Mobile Heterogeneous Systems. CoRR (2019)
Cataldo Basile, Fulvio Valenza, Antonio Lioy, Diego R. López, Antonio Pastor Perales
Adding Support for Automatic Enforcement of Security Policies in NFV Networks. IEEE/ACM Trans. Netw. 27 (2) (2019)
Cataldo Basile, Daniele Canavese, Leonardo Regano, Paolo Falcarin, Bjorn De Sutter
A meta-model for software protections and reverse engineering attacks. J. Syst. Softw. 150 (2019)
Alberto Carelli, Carlo Alberto Cristofanini, Alessandro Vallero, Cataldo Basile, Paolo Prinetto, Stefano Di Carlo
Securing bitstream integrity, confidentiality and authenticity in reconfigurable mobile heterogeneous systems. AQTR (2018)
Alessio Viticchié, Cataldo Basile, Fulvio Valenza, Antonio Lioy
On the impossibility of effectively using likely-invariants for software attestation purposes. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 9 (2) (2018)
Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
Classification and Analysis of Communication Protection Policy Anomalies. CoRR (2017)
Mariano Ceccato, Paolo Tonella, Cataldo Basile, Bart Coppens, Bjorn De Sutter, Paolo Falcarin, Marco Torchiano
How professional hackers understand protected code while performing attack tasks. ICPC (2017)
Daniele Canavese, Leonardo Regano, Cataldo Basile, Alessio Viticchié
Estimating Software Obfuscation Potency with Artificial Neural Networks. STM (2017)
Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy
Classification and Analysis of Communication Protection Policy Anomalies. IEEE/ACM Trans. Netw. 25 (5) (2017)
Alessio Viticchié, Leonardo Regano, Marco Torchiano, Cataldo Basile, Mariano Ceccato, Paolo Tonella, Roberto Tiella
Assessment of Source Code Obfuscation Techniques. CoRR (2017)
Alessio Viticchié, Cataldo Basile, Antonio Lioy
Remotely Assessing Integrity of Software Applications by Monitoring Invariants: Present Limitations and Future Directions. CRiSIS (2017)
Cataldo Basile, Daniele Canavese, Christian Pitscheider, Antonio Lioy, Fulvio Valenza
Assessing network authorization policies via reachability analysis. Comput. Electr. Eng. 64 (2017)
Mariano Ceccato, Paolo Tonella, Cataldo Basile, Bart Coppens, Bjorn De Sutter, Paolo Falcarin, Marco Torchiano
How Professional Hackers Understand Protected Code while Performing Attack Tasks. CoRR (2017)
Leonardo Regano, Daniele Canavese, Cataldo Basile, Antonio Lioy
Towards Optimally Hiding Protected Assets in Software Applications. QRS (2017)
Alessio Viticchié, Cataldo Basile, Andrea Avancini, Mariano Ceccato, Bert Abrath, Bart Coppens
Reactive Attestation: Automatic Detection and Reaction to Software Tampering Attacks. SPRO@CCS (2016)
Bjorn De Sutter, Paolo Falcarin, Brecht Wyseur, Cataldo Basile, Mariano Ceccato, Jérôme d'Annoville, Michael Zunke
A Reference Architecture for Software Protection. WICSA (2016)
Alessio Viticchié, Leonardo Regano, Marco Torchiano, Cataldo Basile, Mariano Ceccato, Paolo Tonella, Roberto Tiella
Assessment of Source Code Obfuscation Techniques. SCAM (2016)
Leonardo Regano, Daniele Canavese, Cataldo Basile, Alessio Viticchié, Antonio Lioy
Towards Automatic Risk Analysis and Mitigation of Software Applications. WISTP (2016)
Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider, Fulvio Valenza
Inter-function anomaly analysis for correct SDN/NFV deployment. Int. J. Netw. Manag. 26 (1) (2016)
Bjorn De Sutter, Cataldo Basile, Mariano Ceccato, Paolo Falcarin, Michael Zunke, Brecht Wyseur, Jérôme d'Annoville
The ASPIRE Framework for Software Protection. SPRO@CCS (2016)
Cataldo Basile, Antonio Lioy, Christian Pitscheider, Shilong Zhao
A Formal Model of Policy Reconciliation. PDP (2015)
Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy
A formal model of network policy analysis. RTSI (2015)
Cataldo Basile, Antonio Lioy, Christian Pitscheider, Fulvio Valenza, Marco Vallini
A novel approach for integrating security policy enforcement with dynamic network virtualization. NetSoft (2015)
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
Virtualized security at the network edge: a user-centric approach. IEEE Commun. Mag. 53 (4) (2015)
Cataldo Basile, Christian Pitscheider, Fulvio Risso, Fulvio Valenza, Marco Vallini
Towards the Dynamic Provision of Virtualized Security Services. CSP Forum (2015)
Cataldo Basile, Antonio Lioy
Analysis of Application-Layer Filtering Policies With Application to HTTP. IEEE/ACM Trans. Netw. 23 (1) (2015)
Cataldo Basile, Daniele Canavese, Jérôme d'Annoville, Bjorn De Sutter, Fulvio Valenza
Automatic Discovery of Software Attacks via Backward Reasoning. SPRO@ICSE (2015)
Cataldo Basile, Daniele Canavese, Antonio Lioy, Fulvio Valenza
Inter-technology Conflict Analysis for Communication Protection Policies. CRiSIS (2014)
Cataldo Basile, Mariano Ceccato
Towards a unified software attack model to assess software protections. ICPC (2013)
Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider
Improved Reachability Analysis for Security Management. PDP (2013)
Cataldo Basile, Alberto Cappadonia, Antonio Lioy
Network-Level Access Control Policy Analysis and Transformation. IEEE/ACM Trans. Netw. 20 (4) (2012)
Cataldo Basile, Stefano Di Carlo, Alberto Scionti
FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems. IEEE Trans. Syst. Man Cybern. Part C 42 (2) (2012)
Cataldo Basile, Antonio Lioy, Stefano Paraboschi
The PoSecCo Security Decision Support System. ISSE (2012)
Cataldo Basile, Antonio Lioy, Marco Vallini
Towards a Network-Independent Policy Specification. PDP (2010)
Cataldo Basile, Antonio Lioy, Salvatore Scozzi, Marco Vallini
Ontology-Based Policy Translation. CISIS (2009)
Cataldo Basile, Paolo Carlo Pomi, Piervito Scaglioso
Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC). PDP (2008)
Cataldo Basile, Alberto Cappadonia, Antonio Lioy
Geometric Interpretation of Policy Specification. POLICY (2008)
Cataldo Basile, Antonio Lioy, Gregorio Martínez Pérez, Félix J. García Clemente, Antonio Fernandez Gómez-Skarmeta
POSITIF: A Policy-Based Security Management System. POLICY (2007)