BASILE, CATALDO
BASILE, CATALDO
Dipartimento di Automatica e Informatica
011649
A Threat Analysis of Cooperative Intelligent Transport Systems: C-Roads scenarios
2024 Gatti, Gabriele; Civera, Marco; Basile, Cataldo; Masi, Massimiliano; La Manna, Michele
A Model for Automated Cybersecurity Threat Remediation and Sharing
2023 Settanni, F; Regano, L; Basile, C; Lioy, A
An expert system for automatic cyber risk assessment and its AI-based improvements
2023 Gatti, Gabriele; Basile, Cataldo; Perboli, Guido
A model of capabilities of Network Security Functions
2022 Basile, C.; Canavese, D.; Regano, L.; Pedone, I.; Lioy, A.
Securing bitstream integrity, confidentiality and authenticity in reconfigurable mobile heterogeneous systems
2018 Carelli, Alberto; Cristofanini, Carlo Alberto; Vallero, Alessandro; Basile, Cataldo; Prinetto, Paolo; Di Carlo, Stefano
Estimating Software Obfuscation Potency with Artificial Neural Networks
2017 Canavese, Daniele; Regano, Leonardo; Basile, Cataldo; Viticchie', Alessio
How Professional Hackers Understand Protected Code while Performing Attack Tasks
2017 Mariano, Ceccato; Paolo, Tonella; Basile, Cataldo; Bart, Coppens; Bjorn, De Sutter; Falcarin, Paolo; Torchiano, Marco
Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions
2017 Viticchié, Alessio; Basile, Cataldo; Lioy, Antonio
Towards Optimally Hiding Protected Assets in Software Applications
2017 Regano, Leonardo; Canavese, Daniele; Basile, Cataldo; Lioy, Antonio
A reference architecture for software protection
2016 De Sutter, Bjorn; Falcarin, Paolo; Wyseur, Brecht; Basile, Cataldo; Ceccato, Mariano; Dannoville, Jerome; Zunke, Michael
Assessment of Source Code Obfuscation Techniques
2016 Viticchie', Alessio; Regano, Leonardo; Torchiano, Marco; Basile, Cataldo; Ceccato, Mariano; Tonella, Paolo; Tiella, Roberto
Reactive Attestation: Automatic Detection and Reaction to Software Tampering Attacks
2016 Viticchie', Alessio; Avancini, Andrea; Ceccato, Mariano; Basile, Cataldo; Abrath, Bert; Coppens, Bart
Towards Automatic Risk Analysis and Mitigation of Software Applications
2016 Regano, Leonardo; Canavese, Daniele; Basile, Cataldo; Viticchie', Alessio; Lioy, Antonio
A Formal Model of Network Policy Analysis
2015 Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio
A formal model of policy reconciliation
2015 Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Zhao, Shilong
A novel approach for integrating security policy enforcement with dynamic network virtualization
2015 Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio; Vallini, Marco
Automatic discovery of software attacks via backward reasoning
2015 Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, Fulvio
Inter-technology conflict analysis for communication protection policies
2015 Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio
Improved reachability analysis for security management
2013 Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian
Towards a unified software attack model to assess software protections
2013 Basile, Cataldo; Ceccato, M.
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A Threat Analysis of Cooperative Intelligent Transport Systems: C-Roads scenarios / Gatti, Gabriele; Civera, Marco; Basile, Cataldo; Masi, Massimiliano; La Manna, Michele. - ELETTRONICO. - (2024), pp. 2399-2405. (Intervento presentato al convegno 2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC) tenutosi a Osaka (JP) nel 02-04 July 2024) [10.1109/COMPSAC61105.2024.00385]. | 1-gen-2024 | Gatti, GabrieleCivera, MarcoBasile, Cataldo + | A_Threat_Analysis_of_Cooperative_Intelligent_Transport_Systems_C-Roads_Scenarios.pdf |
A Model for Automated Cybersecurity Threat Remediation and Sharing / Settanni, F; Regano, L; Basile, C; Lioy, A. - STAMPA. - (2023), pp. 492-497. (Intervento presentato al convegno 2023 IEEE 9th International Conference on Network Softwarization (NetSoft) tenutosi a Madrid (Spain) nel June 19-23, 2023) [10.1109/NetSoft57336.2023.10175486]. | 1-gen-2023 | Settanni, FRegano, LBasile, CLioy, A | torsec_netsoft_2023_06.pdf; A_Model_for_Automated_Cybersecurity_Threat_Remediation_and_Sharing.pdf |
An expert system for automatic cyber risk assessment and its AI-based improvements / Gatti, Gabriele; Basile, Cataldo; Perboli, Guido. - ELETTRONICO. - (2023), pp. 1434-1440. (Intervento presentato al convegno 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) tenutosi a Turin (Italy) nel 26-30 June 2023) [10.1109/COMPSAC57700.2023.00220]. | 1-gen-2023 | Gatti, GabrieleBasile, CataldoPerboli, Guido | 2023-comsac-An_expert_system_for_automatic_cyber_risk_assessment_and_its_AI-based_improvements.pdf |
A model of capabilities of Network Security Functions / Basile, C.; Canavese, D.; Regano, L.; Pedone, I.; Lioy, A.. - STAMPA. - (2022), pp. 474-479. (Intervento presentato al convegno 2022 IEEE 8th International Conference on Network Softwarization tenutosi a Milano (Italy) nel 27 June - 1 July 2022) [10.1109/NetSoft54395.2022.9844057]. | 1-gen-2022 | Basile C.Canavese D.Regano L.Pedone I.Lioy A. | A_model_of_capabilities_of_Network_Security_Functions.pdf |
Securing bitstream integrity, confidentiality and authenticity in reconfigurable mobile heterogeneous systems / Carelli, Alberto; Cristofanini, Carlo Alberto; Vallero, Alessandro; Basile, Cataldo; Prinetto, Paolo; Di Carlo, Stefano. - STAMPA. - (2018), pp. 1-6. (Intervento presentato al convegno IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2018) tenutosi a Cluj-Napoca (Romania) nel 24-26 May 2018) [10.1109/AQTR.2018.8402795]. | 1-gen-2018 | Carelli, AlbertoVALLERO, ALESSANDROBasile, CataldoPrinetto, PaoloDi Carlo, Stefano + | AQTR2018_SecureBitstream.pdf |
Estimating Software Obfuscation Potency with Artificial Neural Networks / Canavese, Daniele; Regano, Leonardo; Basile, Cataldo; Viticchie', Alessio. - STAMPA. - 10547:(2017), pp. 193-202. (Intervento presentato al convegno STM - 2017: 13th International Workshop on Security and Trust Management tenutosi a Oslo (NO) nel September 14–15, 2017) [10.1007/978-3-319-68063-7_13]. | 1-gen-2017 | CANAVESE, DANIELEREGANO, LEONARDOBASILE, CATALDOVITICCHIE', ALESSIO | - |
How Professional Hackers Understand Protected Code while Performing Attack Tasks / Mariano, Ceccato; Paolo, Tonella; Basile, Cataldo; Bart, Coppens; Bjorn, De Sutter; Falcarin, Paolo; Torchiano, Marco. - STAMPA. - (2017), pp. 154-164. (Intervento presentato al convegno ICPC 2017: 25th International Conference on Program Comprehension tenutosi a Bueno Aires (Argentina) nel 22-23 Maggio) [10.1109/ICPC.2017.2]. | 1-gen-2017 | BASILE, CATALDOFALCARIN, PAOLOTORCHIANO, MARCO + | - |
Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions / Viticchié, Alessio; Basile, Cataldo; Lioy, Antonio. - STAMPA. - (2017), pp. 66-82. (Intervento presentato al convegno CRiSIS-2017: 12th Int. Conf. on Risks and Security of Internet and Systems tenutosi a Dinard (France) nel September 19-21, 2017) [10.1007/978-3-319-76687-4_5]. | 1-gen-2017 | Viticchié, AlessioBasile, CataldoLioy, Antonio | - |
Towards Optimally Hiding Protected Assets in Software Applications / Regano, Leonardo; Canavese, Daniele; Basile, Cataldo; Lioy, Antonio. - CD-ROM. - (2017), pp. 374-385. (Intervento presentato al convegno 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) tenutosi a Prague (CZ) nel July 25-29, 2017) [10.1109/QRS.2017.47]. | 1-gen-2017 | REGANO, LEONARDOCANAVESE, DANIELEBASILE, CATALDOLIOY, ANTONIO | - |
A reference architecture for software protection / De Sutter, Bjorn; Falcarin, Paolo; Wyseur, Brecht; Basile, Cataldo; Ceccato, Mariano; Dannoville, Jerome; Zunke, Michael. - STAMPA. - (2016), pp. 291-294. (Intervento presentato al convegno 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 tenutosi a Venice (Italy) nel 4-8 April 2016) [10.1109/WICSA.2016.43]. | 1-gen-2016 | BASILE, CATALDO + | - |
Assessment of Source Code Obfuscation Techniques / Viticchie', Alessio; Regano, Leonardo; Torchiano, Marco; Basile, Cataldo; Ceccato, Mariano; Tonella, Paolo; Tiella, Roberto. - ELETTRONICO. - (2016), pp. 11-20. (Intervento presentato al convegno IEEE 16th International Working Conference on Source Code Analysis and Manipulation tenutosi a Raleigh, NC (USA) nel October 2-3, 2016) [10.1109/SCAM.2016.17]. | 1-gen-2016 | VITICCHIE', ALESSIOREGANO, LEONARDOTORCHIANO, MARCOBASILE, CATALDO + | scam2016.pdf |
Reactive Attestation: Automatic Detection and Reaction to Software Tampering Attacks / Viticchie', Alessio; Avancini, Andrea; Ceccato, Mariano; Basile, Cataldo; Abrath, Bert; Coppens, Bart. - ELETTRONICO. - SPRO '16 Proceedings of the 2016 ACM Workshop on Software PROtection:(2016), p. 73. (Intervento presentato al convegno 2nd International Workshop on Software PROtection tenutosi a Vienna (Austria) nel 28 October 2016) [10.1145/2995306.2995315]. | 1-gen-2016 | VITICCHIE', ALESSIOBASILE, CATALDO + | - |
Towards Automatic Risk Analysis and Mitigation of Software Applications / Regano, Leonardo; Canavese, Daniele; Basile, Cataldo; Viticchie', Alessio; Lioy, Antonio. - STAMPA. - (2016), pp. 120-135. (Intervento presentato al convegno WISTP 2016 - IFIP International Conference on Information Security Throey and Practice tenutosi a Heraklion, Crete (Greece) nel September 26–27, 2016) [10.1007/978-3-319-45931-8_8]. | 1-gen-2016 | REGANO, LEONARDOCANAVESE, DANIELEBASILE, CATALDOVITICCHIE', ALESSIOLIOY, ANTONIO | main.pdf |
A Formal Model of Network Policy Analysis / Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio. - STAMPA. - (2015), pp. 516-522. (Intervento presentato al convegno RTSI 2015 - First International Forum on Research and Technologies for Society and Industry tenutosi a Torino, Italy nel 16-18 September 2015) [10.1109/RTSI.2015.7325150]. | 1-gen-2015 | VALENZA, FULVIOSPINOSO, SERENABASILE, CATALDOSISTO, RiccardoLIOY, ANTONIO | 2015RTSI.pdf; 2015RTSI_author.pdf |
A formal model of policy reconciliation / Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Zhao, Shilong. - STAMPA. - (2015), pp. 587-594. (Intervento presentato al convegno PDP-2015: 23rd EuroMicro International Conference on Parallel, Distributed and network-based Processing tenutosi a Turku (Finland) nel March 4-6, 2015) [10.1109/PDP.2015.42]. | 1-gen-2015 | BASILE, CATALDOLIOY, ANTONIOPITSCHEIDER, CHRISTIANZHAO, SHILONG | - |
A novel approach for integrating security policy enforcement with dynamic network virtualization / Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio; Vallini, Marco. - STAMPA. - (2015). (Intervento presentato al convegno 1st IEEE Conference on Network Softwarization (NetSoft-2015) tenutosi a London (UK) nel 13-17 April 2015) [10.1109/NETSOFT.2015.7116152]. | 1-gen-2015 | BASILE, CATALDOLIOY, ANTONIOPITSCHEIDER, CHRISTIANVALENZA, FULVIOVALLINI, MARCO | 2015Netsoft.pdf; 2015Netsoft_author.pdf |
Automatic discovery of software attacks via backward reasoning / Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, Fulvio. - ELETTRONICO. - ICSE 2015 International Workshop on Software Protection (SPRO 2015):(2015). (Intervento presentato al convegno ICSE International Workshop on Software Protection (SPRO 2015) tenutosi a Firenze nel 19 Maggio 2015) [10.1109/SPRO.2015.17]. | 1-gen-2015 | BASILE, CATALDOCANAVESE, DANIELEVALENZA, FULVIO + | 2015SPRO_author.pdf; 2015SPRO.pdf |
Inter-technology conflict analysis for communication protection policies / Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio. - STAMPA. - (2015), pp. 148-163. (Intervento presentato al convegno CRiSIS-2014: 9th International Conference on Risks and Security of Internet and Systems tenutosi a Trento (Italy) nel 27-29 August 2014) [10.1007/978-3-319-17127-2_10]. | 1-gen-2015 | VALENZA, FULVIOBASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIO | 2015CRISIS_author.pdf; 2015CRISIS.pdf |
Improved reachability analysis for security management / Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian. - STAMPA. - (2013), pp. 534-541. (Intervento presentato al convegno PDP-2013: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing tenutosi a Belfast (UK) nel February 27 - March 1, 2013) [10.1109/PDP.2013.86]. | 1-gen-2013 | BASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIOPITSCHEIDER, CHRISTIAN | - |
Towards a unified software attack model to assess software protections / Basile, Cataldo; Ceccato, M.. - STAMPA. - (2013), pp. 219-222. (Intervento presentato al convegno IEEE International Conference on Program Comprehension (ICPC) tenutosi a San Francisco, California (USA) nel May 20-21, 2013) [10.1109/ICPC.2013.6613852]. | 1-gen-2013 | BASILE, CATALDO + | BasileICPC2013.pdf |