BUGLIESI Michele

Qualifica | Professore Ordinario |
---|---|
Telefono | 041 234 8437 |
bugliesi@unive.it
|
|
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.B15 (edificio Zeta B) |
Dati relazione
Periodo di riferimento | 01/11/2015 - 31/10/2018 |
---|---|
Afferenza | Dipartimento di Scienze Ambientali, Informatica e Statistica |
Ruolo | Professori ordinari |
Attività didattica
A.A. | Insegnamento | Codice | Voto (max 4) | Voto medio area (max 4) |
---|
Tesi
Anno solare | Tipologia | Tesi Relatore | Tesi Correlatore |
---|---|---|---|
2015 | Corso di dottorato | 1 | |
2015 | Corso di laurea | 4 |
Finanziamenti
- ADAPT: Accessible Data for Accessible Proto-types in Social Sector
- EUTYPES - 2016
Ricerche sviluppate e in corso
- 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
Pubblicazioni realizzate nel triennio
- 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)
- Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele (2017), CCSP: Controlled relaxation of content security policies by runtime policy composition , Proceedings of the 26th USENIX Security Symposium, USENIX Association, Convegno: USENIX Security Symposium (Articolo in Atti di convegno)
- Bugliesi, Michele; Calzavara, Stefano; Mödersheim, Sebastian; Modesti, Paolo (2016), Security protocol specification and verification with AnBx in JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 30, pp. 46-63 (ISSN 2214-2134) (Articolo su rivista)
- Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele (2016), Content security problems?: Evaluating the effectiveness of content security policy in the wild , Proceedings of the ACM Conference on Computer and Communications Security, Association for Computing Machinery, vol. 24-28-, pp. 1365-1375, Convegno: 23rd ACM Conference on Computer and Communications Security, CCS 2016, 2016 (ISBN 9781450341394; 9781450341394) (Articolo in Atti di convegno)
- Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele (2016), Static detection of collusion attacks in ARBAC-based workflow systems , Proceedings - IEEE Computer Security Foundations Symposium, IEEE Computer Society, vol. 2016-, pp. 458-470, Convegno: 29th IEEE Computer Security Foundations Symposium, CSF 2016, 2016 (ISBN 9781509026074; 9781509026074) (Articolo in Atti di convegno)
- Calzavara, Stefano; Tolomei, Gabriele; Casini, Andrea; Bugliesi, Michele; Orlando, Salvatore (2015), A supervised learning approach to protect client authentication on the web in ACM TRANSACTIONS ON THE WEB, vol. 9, pp. 1-30 (ISSN 1559-1131) (Articolo su rivista)
- Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo (2015), Affine refinement types for secure distributed programming in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 37, pp. 1-66 (ISSN 0164-0925) (Articolo su rivista)
- Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat (2015), CookiExt: Patching the browser against session hijacking attacks in JOURNAL OF COMPUTER SECURITY, vol. 23, pp. 509-537 (ISSN 0926-227X) (Articolo su rivista)
- Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele (2015), Compositional Typed Analysis of ARBAC Policies , Proceedings of the Computer Security Foundations Workshop, IEEE Computer Society, vol. 2015-, pp. 33-45, Convegno: 28th IEEE Computer Security Foundations Symposium, CSF 2015, 2015 (ISBN 9781467375382; 9781467375382) (Articolo in Atti di convegno)
- Calzavara, Stefano; Bugliesi, Michele; Crafa, S.; Steffinlongo, Enrico (2015), Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions in Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo, ESOP 2015 in LECTURE NOTES IN COMPUTER SCIENCE, Germany: Springer Verlag Germany, vol. 8978, pp. 510-534, Convegno: European Symposium on Programming (ISBN 9783662466681) (ISSN 0302-9743) (Articolo in Atti di convegno)
- Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele (2015), Formal verification of Liferay RBAC , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in LECTURE NOTES IN COMPUTER SCIENCE, Springer Verlag, vol. 8978, pp. 1-16, Convegno: 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, 2015 (ISBN 9783319156170; 9783319156170) (ISSN 0302-9743) (Articolo in Atti di convegno)
Partecipazione come referee di progetti di ricerca nazionali ed internazionali
ERC Consolidator 2017Partecipazione a comitati editoriali di riviste/collane scientifiche
Security and Communication Networks (Editorial Board Member)Descrizione dell'attività di ricerca svolta nel triennio e gli obiettivi futuri
Modelli formali per la sicurezza di sistemi sistemi distribuiti. Tecniche automatiche di analisi per sistemi di controllo degli accessi (ARBAC). Tecniche di controllo automatico di tipi per protocolli distribuiti di autenticazione. Sistemi per l'analisi di sicurezza e per la protezione di sistemi web.Seminari su invito tenuti presso altre Università, Centri di Ricerca, Aziende, etc.
SFIDE PER LA CYBERSECURITY.Istituto Studi Militari Marittimi. Lection Magistralis, Inaugurazione AA 2018/19. Novembre 2018.
DIGITAL TECHNOLOGY FOR CULTURAL HERITAGE.
The Third Silk Road International Cultural Expo Special Forum. Dunhuang Academy, China. Settembre 2018
INTERNATIONALISATION STRATEGY AND INSTITUTIONAL SUSTAINABILITY: CHOICES AND CHALLENGES AT CA' FOSCARI UNIV. OF VENICE.
HUMANE Spring Seminar. Roma, Aprile 2017
SURVIVING THE WEB: A JORUNEY INTO WEB SESSION (IN)SECURITY.
Suzhou University, Febbraio 2017.
THE EXCELLENCE OF ITALIAN RESEARCH.
Italy - U.S. University Partnerships Forum, Ambasciata Italiana Washington DC, Gennaio 2017.
SDGs AND THE ROLE OF UNIVERSITIES.
Ricerca e Innovazione per gli Obiettivi di Sviluppo Sostenibile: verso una crescita verde e inclusiva. FEEM, Milano. Marzo 2016.
CREATIVE ARTS, TECHNOLOGY AND CULTURE AT CA' FOSARI.
NEXUS Art, Science and Technology Symposium. Venezia, Novembre 2015.
UNIVERSITA' E TERRITORIO
Convegno Nazionale Fondazioni Universitarie. Roma, Ottobre 2015.
Altre attività scientifiche
COMPSAC 2019 - IEEE Computer Architecture & Platforms Symposium (PC Member)COMPSAC 2016 - IEEE Symposium on Embedded & Cyber-Physical Environments (PC Co-chair)
WF-IoT 2019 IEEE World Forum on Internet of Things (PC Member)
WF-IoT 2015 IEEE World Forum on Internet of Things (PC Member)
TMPA 2017 - Tools & Methods of Program Analysis (PC Member)
ESSOS 2016 - International Symposium on Engineering Secure Software and Systems (PC Member)
CSF 2015 - IEEE Computer Security Foundation Symposium (PC Member)
Incarichi accademici e attività organizzative
Rettore: ottobre 2014 - oggi.Delegato CRUI per la Sostenibilità: Ottobre 2015 - oggi.
Componente di Collegi didattici, Comitati e Commissioni di Dipartimento, Commissioni di Ateneo
Dottorato di InformaticaAttività e incarichi esterni
Istituto Veneto di Scienze Lettere e Arti - Socio nella classe Scienze MMFFNNFondazione Giorgio Cini - Membro del Consiglio Generale
Fondazione di Venezia - Membro del Consiglio General
VIU - Membro del Board of Directors
CISET - Membro del Consiglio di Amministrazione
DVRI (Distretto Veneziano della Ricerca e Innovazione) - Presidente
Fondazione Ca'Foscari - Presidente