BASILE, CATALDO

BASILE, CATALDO  

Dipartimento di Automatica e Informatica  

011649  

Mostra records
Risultati 1 - 20 di 44 (tempo di esecuzione: 0.07 secondi).
Citazione Data di pubblicazione Autori File
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.pdf08637976.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 -
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.pdftorsec_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.pdf2017CAEE_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.pdf2015SPRO.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.pdf2017TNET_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.. - STAMPA. - (2013), 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.pdf190725_EMSE_AssessmentCodeSplitting.pdf
Encryption-agnostic classifiers of traffic originators and their application to anomaly detection / Canavese, Daniele; Regano, Leonardo; Basile, Cataldo; Ciravegna, Gabriele; Lioy, Antonio. - In: COMPUTERS & ELECTRICAL ENGINEERING. - ISSN 0045-7906. - STAMPA. - 97:(2022). [10.1016/j.compeleceng.2021.107621] 1-gen-2022 Canavese, DanieleRegano, LeonardoBasile, CataldoCiravegna, GabrieleLioy, Antonio 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 10.1007_978-3-319-68063-7_13.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.pdf2015RTSI_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 -
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.pdf2012-TSMCC-SoftwareMonitoring-AuthorVersion.pdf
Geometric Interpretation of Policy Specification / Basile, Cataldo; Cappadonia, Alberto; Lioy, Antonio. - STAMPA. - (2008), pp. 78-81. ((Intervento presentato al convegno POLICY-2008: IEEE Int. workshop on Policies for Distributed Systems and Networks tenutosi a Palisades (NY, USA) nel June 2-4, 2008 [10.1109/POLICY.2008.36]. 1-gen-2008 BASILE, CATALDOCAPPADONIA, ALBERTOLIOY, ANTONIO -
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 + -
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 torsec_pdp2013.pdf
Integrating Deployment Techniques with Monitoring: The Proactive Configuration Checker (PCC) / Basile, Cataldo; Pomi, PAOLO CARLO; Scaglioso, PIERVITO GIOVANNI. - (2008), pp. 611-615. ((Intervento presentato al convegno PDP2008: 16th Euromicro Conference on Parallel, Distributed and Network- Based Processing tenutosi a Toulouse, France nel February 13-15, 2008. 1-gen-2008 BASILE, CATALDOPOMI, PAOLO CARLOSCAGLIOSO, PIERVITO GIOVANNI -
Inter-function anomaly analysis for correct SDN/NFV deployment / Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian; Valenza, Fulvio. - In: INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT. - ISSN 1055-7148. - STAMPA. - 26:1(2016), pp. 25-43. [10.1002/nem.1917] 1-gen-2016 BASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIOPITSCHEIDER, CHRISTIANVALENZA, FULVIO 2016IJNM.pdf2016IJNM_author.pdf