BASILE, CATALDO
BASILE, CATALDO
Dipartimento di Automatica e Informatica
011649
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 meta-model for software protections and reverse engineering attacks
2019 Basile, Cataldo; Canavese, Daniele; Regano, Leonardo; Falcarin, Paolo; De Sutter, Bjorn
A model of capabilities of Network Security Functions
2022 Basile, C.; Canavese, D.; Regano, L.; Pedone, I.; Lioy, A.
A novel approach for integrating security policy enforcement with dynamic network virtualization
2015 Basile, Cataldo; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio; Vallini, Marco
A reference architecture for software protection
2016 De Sutter, Bjorn; Falcarin, Paolo; Wyseur, Brecht; Basile, Cataldo; Ceccato, Mariano; Dannoville, Jerome; Zunke, Michael
Adding Support for Automatic Enforcement of Security Policies in NFV Networks
2019 Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio; Lopez, Diego R.; Pastor Perales, Antonio
Algebraic Models to Detect and Solve Policy Conflicts
2007 Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio
An expert system for automatic cyber risk assessment and its AI-based improvements
2023 Gatti, Gabriele; Basile, Cataldo; Perboli, Guido
Analysis of application-layer filtering policies with application to HTTP
2015 Basile, Cataldo; Lioy, Antonio
Assessing network authorization policies via reachability analysis
2017 Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, Fulvio
Assessment of Source Code Obfuscation Techniques
2016 Viticchie', Alessio; Regano, Leonardo; Torchiano, Marco; Basile, Cataldo; Ceccato, Mariano; Tonella, Paolo; Tiella, Roberto
Automatic discovery of software attacks via backward reasoning
2015 Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, Fulvio
Classification and analysis of communication protection policy anomalies
2017 Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio
Data set and machine learning models for the classification of network traffic originators
2022 Canavese, D.; Regano, L.; Basile, C.; Ciravegna, G.; Lioy, A.
Detection of conflicts in security policies
2013 Basile, Cataldo; Casalino, M. M.; Mutti, S.; Paraboschi, S.
Empirical assessment of the effort needed to attack programs protected with client/server code splitting
2020 Viticchie, A.; Regano, L.; Basile, C.; Torchiano, M.; Ceccato, M.; Tonella, P.
Encryption-agnostic classifiers of traffic originators and their application to anomaly detection
2022 Canavese, D.; Regano, L.; Basile, C.; Ciravegna, G.; Lioy, A.
Estimating Software Obfuscation Potency with Artificial Neural Networks
2017 Canavese, Daniele; Regano, Leonardo; Basile, Cataldo; Viticchie', Alessio
FPGA based remote code integrity verification of programs in distributed embedded systems
2012 Basile, Cataldo; DI CARLO, Stefano; Scionti, A.
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
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 meta-model for software protections and reverse engineering attacks / Basile, Cataldo; Canavese, Daniele; Regano, Leonardo; Falcarin, Paolo; De Sutter, Bjorn. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - STAMPA. - 150:(2019), pp. 3-21. [10.1016/j.jss.2018.12.025] | 1-gen-2019 | Basile, CataldoCanavese, DanieleRegano, LeonardoFalcarin, Paolo + | metamodel.pdf; kbdata.pdf; 1-s2.0-S0164121218302838-main.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 |
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 |
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 + | - |
Adding Support for Automatic Enforcement of Security Policies in NFV Networks / Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio; Lopez, Diego R.; Pastor Perales, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 27:2(2019), pp. 707-720. [10.1109/TNET.2019.2895278] | 1-gen-2019 | Cataldo BasileFulvio ValenzaAntonio Lioy + | IEEE_ACM_10.1109_TNET.2019.2895278_preprint.pdf; 08637976.pdf |
Algebraic Models to Detect and Solve Policy Conflicts / Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio. - STAMPA. - 1:(2007), pp. 242-247. (Intervento presentato al convegno MMM-ACNS 2007: 4th Int. Conf. on Mathematical Methods, Models, and Architectures for Computer Network Security tenutosi a St. Petersburg (Russia) nel September 13–15, 2007) [10.1007/978-3-540-73986-9_20]. | 1-gen-2007 | BASILE, CATALDOCAPPADONIA, ALBERTOLIOY, ANTONIO | - |
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 |
Analysis of application-layer filtering policies with application to HTTP / Basile, Cataldo; Lioy, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 23:1(2015), pp. 28-41. [10.1109/TNET.2013.2293625] | 1-gen-2015 | BASILE, CATALDOLIOY, ANTONIO | torsec_ieee_ton_2015.pdf; torsec_tnet_application_firewall_policies.pdf |
Assessing network authorization policies via reachability analysis / Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, Fulvio. - In: COMPUTERS & ELECTRICAL ENGINEERING. - ISSN 0045-7906. - STAMPA. - 64:(2017), pp. 110-131. [10.1016/j.compeleceng.2017.02.019] | 1-gen-2017 | BASILE, CATALDOCANAVESE, DANIELEPITSCHEIDER, CHRISTIANLIOY, ANTONIOVALENZA, FULVIO | 1-s2.0-S0045790617303695-main.pdf; 2017CAEE_author.pdf |
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 |
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 |
Classification and analysis of communication protection policy anomalies / Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 25:5(2017), pp. 2601-2614. [10.1109/TNET.2017.2708096] | 1-gen-2017 | VALENZA, FULVIOBASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIO | 07967691.pdf; 2017TNET_author.pdf |
Data set and machine learning models for the classification of network traffic originators / Canavese, D.; Regano, L.; Basile, C.; Ciravegna, G.; Lioy, A.. - In: DATA IN BRIEF. - ISSN 2352-3409. - ELETTRONICO. - 41:(2022), p. 107968. [10.1016/j.dib.2022.107968] | 1-gen-2022 | Canavese D.Regano L.Basile C.Ciravegna G.Lioy A. | 1-s2.0-S2352340922001792-main.pdf |
Detection of conflicts in security policies / Basile, Cataldo; Casalino, M. M.; Mutti, S.; Paraboschi, S. - In: Computer and Information Security Handbook / Vacca J.. - STAMPA. - [s.l] : Morgan Kaufmann, 2013. - ISBN 9780123943972. - pp. 415-448 | 1-gen-2013 | BASILE, CATALDO + | - |
Empirical assessment of the effort needed to attack programs protected with client/server code splitting / Viticchie, A.; Regano, L.; Basile, C.; Torchiano, M.; Ceccato, M.; Tonella, P.. - In: EMPIRICAL SOFTWARE ENGINEERING. - ISSN 1382-3256. - STAMPA. - 25:1(2020), pp. 1-48. [10.1007/s10664-019-09738-1] | 1-gen-2020 | Viticchie A.Regano L.Basile C.Torchiano M. + | 190725_EMSE_AssessmentCodeSplitting.pdf; 190725_EMSE_AssessmentCodeSplitting.pdf |
Encryption-agnostic classifiers of traffic originators and their application to anomaly detection / Canavese, D.; Regano, L.; Basile, C.; Ciravegna, G.; Lioy, A.. - In: COMPUTERS & ELECTRICAL ENGINEERING. - ISSN 0045-7906. - 97:(2022). [10.1016/j.compeleceng.2021.107621] | 1-gen-2022 | Canavese, D.Regano, L.Basile, C.Ciravegna, G.Lioy, A. | traffic_fingerprinting.pdf; 1-s2.0-S0045790621005528-main.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 | - |
FPGA based remote code integrity verification of programs in distributed embedded systems / Basile, Cataldo; DI CARLO, Stefano; Scionti, A.. - In: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. PART C, APPLICATIONS AND REVIEWS. - ISSN 1094-6977. - STAMPA. - 42:2(2012), pp. 187-200. [10.1109/TSMCC.2011.2106493] | 1-gen-2012 | BASILE, CATALDODI CARLO, STEFANO + | 2012-TSMCC-SoftwareMonitoring-AuthorVersion.pdf |