
Dottorato in Ingegneria Informatica E Dei Sistemi , 27o ciclo (2012-2014)
Dottorato concluso nel 2016
Tesi:
Generazione automatica di codice crittografico su curve ellittiche ad alta velocità
Tutori:
Antonio LioyDidattica
Insegnamenti
Corso di laurea di 1° livello
- Informatica. A.A. 2013/14, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
- Informatica. A.A. 2012/13, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
Pubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian; Valenza, ... (2016)
Inter-function anomaly analysis for correct SDN/NFV deployment. In: INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, vol. 26, pp. 25-43. ISSN 1055-7148
Contributo su Rivista - Regano, Leonardo; Canavese, Daniele; Basile, Cataldo; Viticchie', Alessio; Lioy, Antonio (2016)
Towards Automatic Risk Analysis and Mitigation of Software Applications. In: WISTP 2016 - IFIP International Conference on Information Security Throey and Practice, Heraklion, Crete (Greece), September 26–27, 2016, pp. 120-135. ISBN: 978-3-319-45930-1
Contributo in Atti di Convegno (Proceeding) - Canavese, Daniele (2016)
Automatic generation of high speed elliptic curve cryptography code. relatore: Lioy A., 27. XXVII Ciclo, P.: 136
Doctoral Thesis - Basile, Cataldo; Canavese, Daniele; D’Annoville, Jerome; De Sutter, Bjorn; Valenza, ... (2015)
Automatic discovery of software attacks via backward reasoning. In: ICSE International Workshop on Software Protection (SPRO 2015), Firenze, 19 Maggio 2015
Contributo in Atti di Convegno (Proceeding) - Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, M.; Roversi, L. (2015)
Light combinators for finite fields arithmetic. In: SCIENCE OF COMPUTER PROGRAMMING, vol. 111, pp. 365-394. ISSN 0167-6423
Contributo su Rivista - Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio (2015)
Inter-technology conflict analysis for communication protection policies. In: CRiSIS-2014: 9th International Conference on Risks and Security of Internet and Systems, Trento (Italy), 27-29 August 2014, pp. 148-163. ISBN: 9783319171265
Contributo in Atti di Convegno (Proceeding) - Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, M.; Roversi, L. (2014)
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?. In: FOPARA 2013, Bertinoro, August 2013, pp. 38-57. ISSN 0302-9743
Contributo in Atti di Convegno (Proceeding) - Basile, Cataldo; Canavese, Daniele; Lioy, Antonio; Pitscheider, Christian (2013)
Improved reachability analysis for security management. In: PDP-2013: 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Belfast (UK), February 27 - March 1, 2013, pp. 534-541. ISBN: 9781467353212
Contributo in Atti di Convegno (Proceeding)
Società e imprese
Brevetti e altre proprietà intellettuali
- Metodologia per l'identificazione di asset protetti in file binari. Brevetto nazionale e internazionale
Inventori: Cataldo Basile Daniele Canavese Leonardo Regano