Ph.D. in Ingegneria Informatica E Dei Sistemi , 31st cycle (2015-2018)
Ph.D. obtained in 2019
Dissertation:
Software Attestation with Static and Dynamic Techniques (Abstract)
Tutors:
Antonio LioyTeaching
Teachings
Bachelor of Science
- Informatica. A.A. 2016/17, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
- Informatica. A.A. 2017/18, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
- Informatica. A.A. 2018/19, INGEGNERIA AEROSPAZIALE. Collaboratore del corso
Publications
Works published during the Ph.D. View all publications in Porto@Iris
- Viticchie', Alessio (2019)
Software Attestation with Static and Dynamic Techniques. relatore: LIOY, ANTONIO; , 31. XXXI Ciclo, P.: 114
Doctoral Thesis - Viticchie', Alessio; Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio (2018)
On the impossibility of effectively using likely-invariants for software attestation purposes. In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS, vol. 9, pp. 1-25. ISSN 2093-5374
Contributo su Rivista - Khatouni, Ali Safari; Trevisan, Martino; Regano, Leonardo; Viticchie, Alessio (2017)
Privacy issues of ISPs in the modern web. In: 2017 8th IEEE Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON), Vancouver, 3-5 Ottobre 2017, pp. 588-594. ISBN: 978-1-5386-3371-7
Contributo in Atti di Convegno (Proceeding) - 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) - Viticchie', Alessio; Regano, Leonardo; Torchiano, Marco; Basile, Cataldo; Ceccato, ... (2016)
Assessment of Source Code Obfuscation Techniques. In: IEEE 16th International Working Conference on Source Code Analysis and Manipulation, Raleigh, NC (USA), October 2-3, 2016, pp. 11-20. ISBN: 978-1-5090-3848-0
Contributo in Atti di Convegno (Proceeding)