Cataldo Basile

According to our database, Cataldo Basile authored at least 50 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Security at the Edge for Resource-Limited IoT Devices.

Daniele Canavese, Luca Mannella, Leonardo Regano, Cataldo Basile

Sensors, January, 2024

A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management.

Cataldo Basile, Gabriele Gatti, Francesco Settanni

CoRR, 2024

Dynamic Security Provisioning for Cloud-Native Networks: An Intent-Based Approach.

Francesco Settanni, Alessandro Zamponi, Cataldo Basile

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

A Threat Analysis of Cooperative Intelligent Transport Systems: C-Roads Scenarios.

Gabriele Gatti, Marco Civera, Cataldo Basile, Massimiliano Masi, Michele La Manna

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

Design, implementation, and automation of a risk management approach for man-at-the-End software protection.

Cataldo Basile, Bjorn De Sutter, Daniele Canavese, Leonardo Regano, Bart Coppens

Comput. Secur., September, 2023

A Model for Automated Cybersecurity Threat Remediation and Sharing.

Francesco Settanni, Leonardo Regano, Cataldo Basile, Antonio Lioy

Proceedings of the 9th IEEE International Conference on Network Softwarization, 2023

Continuous Security Assurance of Modern Supply-Chain Ecosystems with Application in Autonomous Driving: The FISHY approach for the secure autonomous driving domain.

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

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

An expert system for automatic cyber risk assessment and its AI-based improvements.

Gabriele Gatti, Cataldo Basile, Guido Perboli

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

Toward Cybersecurity Personalization in Smart Homes.

Daniele Bringhenti, Fulvio Valenza, Cataldo Basile

IEEE Secur. Priv., 2022

Encryption-agnostic classifiers of traffic originators and their application to anomaly detection.

Daniele Canavese, Leonardo Regano, Cataldo Basile, Gabriele Ciravegna, Antonio Lioy

Comput. Electr. Eng., 2022

A model of capabilities of Network Security Functions.

Cataldo Basile, Daniele Canavese, Leonardo Regano, Ignazio Pedone, Antonio Lioy

Proceedings of the 8th IEEE International Conference on Network Softwarization, 2022

2020

Empirical assessment of the effort needed to attack programs protected with client/server code splitting.

Alessio Viticchié, Leonardo Regano, Cataldo Basile, Marco Torchiano, Mariano Ceccato, Paolo Tonella

Empir. Softw. Eng., 2020

Software Protection as a Risk Analysis Process.

Daniele Canavese, Leonardo Regano, Cataldo Basile, Bart Coppens, Bjorn De Sutter

CoRR, 2020

2019

Adding Support for Automatic Enforcement of Security Policies in NFV Networks.

Cataldo Basile, Fulvio Valenza, Antonio Lioy, Diego R. López, Antonio Pastor Perales

IEEE/ACM Trans. Netw., 2019

A meta-model for software protections and reverse engineering attacks.

Cataldo Basile, Daniele Canavese, Leonardo Regano, Paolo Falcarin, Bjorn De Sutter

J. Syst. Softw., 2019

Understanding the behaviour of hackers while performing attack tasks in a professional setting and in a public challenge.

Mariano Ceccato, Paolo Tonella, Cataldo Basile, Paolo Falcarin, Marco Torchiano, Bart Coppens, Bjorn De Sutter

Empir. Softw. Eng., 2019

Securing Soft IP Cores in FPGA based Reconfigurable Mobile Heterogeneous Systems.

Alberto Carelli, Cataldo Basile, Alessandro Savino, Alessandro Vallero, Stefano Di Carlo

CoRR, 2019

2018

On the impossibility of effectively using likely-invariants for software attestation purposes.

Alessio Viticchié, Cataldo Basile, Fulvio Valenza, Antonio Lioy

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2018

Securing bitstream integrity, confidentiality and authenticity in reconfigurable mobile heterogeneous systems.

Alberto Carelli, Carlo Alberto Cristofanini, Alessandro Vallero, Cataldo Basile, Paolo Prinetto, Stefano Di Carlo

Proceedings of the IEEE International Conference on Automation, 2018

2017

Classification and Analysis of Communication Protection Policy Anomalies.

Fulvio Valenza, Cataldo Basile, Daniele Canavese, Antonio Lioy

IEEE/ACM Trans. Netw., 2017

Assessing network authorization policies via reachability analysis.

Cataldo Basile, Daniele Canavese, Christian Pitscheider, Antonio Lioy, Fulvio Valenza

Comput. Electr. Eng., 2017

Estimating Software Obfuscation Potency with Artificial Neural Networks.

Daniele Canavese, Leonardo Regano, Cataldo Basile, Alessio Viticchié

Proceedings of the Security and Trust Management - 13th International Workshop, 2017

Towards Optimally Hiding Protected Assets in Software Applications.

Leonardo Regano, Daniele Canavese, Cataldo Basile, Antonio Lioy

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

How professional hackers understand protected code while performing attack tasks.

Mariano Ceccato, Paolo Tonella, Cataldo Basile, Bart Coppens, Bjorn De Sutter, Paolo Falcarin, Marco Torchiano

Proceedings of the 25th International Conference on Program Comprehension, 2017

Remotely Assessing Integrity of Software Applications by Monitoring Invariants: Present Limitations and Future Directions.

Alessio Viticchié, Cataldo Basile, Antonio Lioy

Proceedings of the Risks and Security of Internet and Systems, 2017

2016

Inter-function anomaly analysis for correct SDN/NFV deployment.

Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider, Fulvio Valenza

Int. J. Netw. Manag., 2016

Towards Automatic Risk Analysis and Mitigation of Software Applications.

Leonardo Regano, Daniele Canavese, Cataldo Basile, Alessio Viticchié, Antonio Lioy

Proceedings of the Information Security Theory and Practice, 2016

A Reference Architecture for Software Protection.

Bjorn De Sutter, Paolo Falcarin, Brecht Wyseur, Cataldo Basile, Mariano Ceccato, Jérôme d'Annoville, Michael Zunke

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Assessment of Source Code Obfuscation Techniques.

Alessio Viticchié, Leonardo Regano, Marco Torchiano, Cataldo Basile, Mariano Ceccato, Paolo Tonella, Roberto Tiella

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Reactive Attestation: Automatic Detection and Reaction to Software Tampering Attacks.

Alessio Viticchié, Cataldo Basile, Andrea Avancini, Mariano Ceccato, Bert Abrath, Bart Coppens

Proceedings of the 2016 ACM Workshop on Software PROtection, 2016

The ASPIRE Framework for Software Protection.

Bjorn De Sutter, Cataldo Basile, Mariano Ceccato, Paolo Falcarin, Michael Zunke, Brecht Wyseur, Jérôme d'Annoville

Proceedings of the 2016 ACM Workshop on Software PROtection, 2016

2015

Analysis of Application-Layer Filtering Policies With Application to HTTP.

Cataldo Basile, Antonio Lioy

IEEE/ACM Trans. Netw., 2015

Virtualized security at the network edge: a user-centric approach.

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

IEEE Commun. Mag., 2015

A formal model of network policy analysis.

Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy

Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

A Formal Model of Policy Reconciliation.

Cataldo Basile, Antonio Lioy, Christian Pitscheider, Shilong Zhao

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

A novel approach for integrating security policy enforcement with dynamic network virtualization.

Cataldo Basile, Antonio Lioy, Christian Pitscheider, Fulvio Valenza, Marco Vallini

Proceedings of the 1st IEEE Conference on Network Softwarization, 2015

Automatic Discovery of Software Attacks via Backward Reasoning.

Cataldo Basile, Daniele Canavese, Jérôme d'Annoville, Bjorn De Sutter, Fulvio Valenza

Proceedings of the 1st IEEE/ACM International Workshop on Software Protection, 2015

Towards the Dynamic Provision of Virtualized Security Services.

Cataldo Basile, Christian Pitscheider, Fulvio Risso, Fulvio Valenza, Marco Vallini

Proceedings of the Cyber Security and Privacy, 2015

2014

Inter-technology Conflict Analysis for Communication Protection Policies.

Cataldo Basile, Daniele Canavese, Antonio Lioy, Fulvio Valenza

Proceedings of the Risks and Security of Internet and Systems, 2014

2013

Improved Reachability Analysis for Security Management.

Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Towards a unified software attack model to assess software protections.

Cataldo Basile, Mariano Ceccato

Proceedings of the IEEE 21st International Conference on Program Comprehension, 2013

2012

FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems.

Cataldo Basile, Stefano Di Carlo, Alberto Scionti

IEEE Trans. Syst. Man Cybern. Part C, 2012

Network-Level Access Control Policy Analysis and Transformation.

Cataldo Basile, Alberto Cappadonia, Antonio Lioy

IEEE/ACM Trans. Netw., 2012

The PoSecCo Security Decision Support System.

Cataldo Basile, Antonio Lioy, Stefano Paraboschi

Proceedings of the ISSE 2012, 2012

2010

Towards a Network-Independent Policy Specification.

Cataldo Basile, Antonio Lioy, Marco Vallini

Proceedings of the 18th Euromicro Conference on Parallel, 2010

2009

Ontology-Based Policy Translation.

Cataldo Basile, Antonio Lioy, Salvatore Scozzi, Marco Vallini

Proceedings of the Computational Intelligence in Security for Information Systems, 2009

2008

Geometric Interpretation of Policy Specification.

Cataldo Basile, Alberto Cappadonia, Antonio Lioy

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC).

Cataldo Basile, Paolo Carlo Pomi, Piervito Scaglioso

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

2007

POSITIF: A Policy-Based Security Management System.

Cataldo Basile, Antonio Lioy, Gregorio Martínez Pérez, Félix J. García Clemente, Antonio Fernandez Gómez-Skarmeta

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2004

Theoretical iusses and architectural design of policy-based security systems.

Cataldo Basile

PhD thesis, 2004