BUGLIESI Michele

Qualifica
Professore Ordinario
Telefono
041 234 8437
E-mail
bugliesi@unive.it
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/bugliesi (scheda personale)
 http://www.dsi.unive.it/~michele
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B06 (edificio Zeta B)

Dati relazione

Periodo di riferimento
01/11/2017 - 31/10/2020
Afferenza
Dipartimento di Scienze Ambientali, Informatica e Statistica
Ruolo
Professori ordinari
A.A.InsegnamentoCodice VotoVoto medio area
Anno solareTipologiaTesi RelatoreTesi Correlatore
2018Corso di dottorato1
  • ADAPT: Accessible Data for Accessible Proto-types in Social Sector
  • EUTYPES - 2016
  • Analisi di Protocolli Crittografici
  • Analisi e verifica di sistemi distribuiti
  • Digital Humanities
  • Metodi formali per la sicurezza
  • Progetto ed analisi di tipi per API grafiche
  • Calzavara, Stefano*; Rabitti, Alvise; Bugliesi, Michele (2019), Sub-session hijacking on the web: Root causes and prevention in JOURNAL OF COMPUTER SECURITY, vol. 27, pp. 233-257 (ISSN 0926-227X) (Articolo su rivista)
  • Calzavara S.; Rabitti A.; Bugliesi M. (2019), Semantically Sound Analysis of Content Security Policies , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer Verlag, vol. 11535, pp. 293-297, Convegno: 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, 2019 (ISBN 978-3-030-21758-7; 978-3-030-21759-4) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Calzavara S.; Rabitti A.; Ragazzo A.; Bugliesi M. (2019), Testing for Integrity Flaws in Web Sessions , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, Springer, vol. 11736, pp. 606-624, Convegno: 24th European Symposium on Research in Computer Security, ESORICS 2019, 2019 (ISBN 978-3-030-29961-3; 978-3-030-29962-0) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele (2018), Semantics-based analysis of content security policy deployment in ACM TRANSACTIONS ON THE WEB, vol. 12, pp. 1-36 (ISSN 1559-1131) (Articolo su rivista)
  • Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele (2018), Dr Cookie and Mr Token - Web session implementations and how to live with them in Calzavara, Stefano, CEUR Workshop Proceedings in CEUR WORKSHOP PROCEEDINGS, CEUR-WS, vol. 2058, Convegno: 2nd Italian Conference on Cyber Security, ITASEC 2018, 2018 (ISSN 1613-0073) (Articolo in Atti di convegno)
  • Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo (2017), Formal methods for web security in THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 87, pp. 110-126 (ISSN 2352-2216) (Articolo su rivista)
  • Stefano Calzavara, Alvise Rabitti, Michele Bugliesi (2017), CCSP: Controlled relaxation of content security policies by runtime policy composition , Proceedings of the 26th USENIX Security Symposium, USENIX Association, pp. 695-712, Convegno: USENIX Security Symposium (Articolo in Atti di convegno)
ERC Consolidator 2017
Editorial Board Member: Security and Communication Networks.
Svolte
Verifica di sicurezza per sistemi distribuiti basata su sistemi formali e tecniche di machine learning, con particolare riferimento a politiche di sicurezza e sistemi di autenticazione per sistemi we

Obiettivi.
Verifica di sicurezza per sistemi web.
Verifica di sicurezza per tecnologie blockchain e smart contracts.
"Digital Technology for Cultural Heritage". The Alliance Forum on Scientific and Technological Innovation for Cultural Relics of the Silk Road, Dunhuan (China), Settembre 2018. Relazione Invitata.
Ca' Foscari University, Research and Internationalization Strategy:
- Pontificia università cattolica del Cile, Santiago (Chile), Febbraio 2020.
- Italian Institute of Culture. Tokyo, (Giappone), Novembre 2019
- Higher School of Economics. Mosca (Russia), Settembre 2019.
- FUDAN University. Shanghai, (China) Marzo 2019
- Stevens Institute of Technology. Hoboken (NJ) USA. Marzo 2019
- Nanjang Technological University. Singapore, Marzo 2019.
- ADA University, Baku (Azerbaijan), Novembre 2018
- Kinnaird College for Women, Lahore, Pakistan. Ottobre 2018.
- COMSATS University Islamabad, Pakistan. Ottobre 2018.
- Al-Farabi Kazakh National University, Almaty (Kazakhistan) Gennaio 2018

"Sfide per la Cybersecurity". Istituto Superiore di Studi Militari Marittimi. Lection Magistralis, Inaugurazione AA 2018 - 2019.
Venezia Novembre 2018.
TMPA 2019: Int. Conf. on Tools and Methods of Program Analysis.
Invito a partecipare al comitato di programma (declinato)

IEEE MENACOMM'19: IEEE Middle East and North Africa Communications Conference.
Invito a partecipare al comitato di programma (declinato)
Rettore
Collegio di Dottorato
Fondazione Ca' Foscari: Presidente (fino a Giugno 2020)
Distretto Veneziano della Ricerca e dell'Innovazione: Presidente
CISET: Componente del Consiglio di Amministrazione
SMACT Competence Center: Componente del Consiglio di Sorveglianza
VIU: Componente del Board of Directors
Fondazione Cini: Componente Consiglio Generale
Fondazione di Venezia: Componente Consiglio Generale, Presidente da Giugno 2020) Fondazione M9, Museo del '900: Presidente (da Giugno 2020)
Unieuro S.p.A: Componente Consiglio di Amministrazione (da Febbraio 2020)