Michele BUGLIESI
- Qualifica
- Professore Ordinario
- Telefono
- 041 234 8437
-
bugliesi@unive.it
- SSD
- Informatica [INFO-01/A]
- Sito web
-
https://www.unive.it/web/it/18697/persone/bugliesi(scheda personale)
- Struttura
-
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B05 (edificio Zeta B)
Didattica anno corrente
Didattica anni precedenti
Attività e competenze di ricerca
- Settore Scientifico Disciplinare (SSD) di afferenza
- Informatica [INFO-01/A]
- Settore Scientifico Disciplinare (SSD) affine
- SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
- Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca
- Internazionale: Europa, America Settentrionale
- Lingue conosciute
-
inglese
(scritto: avanzato parlato: avanzato)
italiano (scritto: madrelingua parlato: madrelingua)
- Partecipazione a comitati editoriali di riviste/collane scientifiche
-
Partecipazioni attuali
- Frontiers In Computer Science (Academic Editor, Theoretical Computer Science)
- Theoretical Computer Science - Logic, Semantics and Theory of Programming (TCS-B)
- Partecipazione come referees di progetti di ricerca nazionali ed internazionali
-
PRIN 2009
ERC Consolidator 2017
- Principali aree e linee di ricerca del Dipartimento
-
Area:
Azienda Linea:
Not-for-profit - risorse e strumenti
Area: Informatica Linea: ARTIFICIAL INTELLIGENCE
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica
- Analisi della sicurezza informatica di sistemi e applicazioni distribuite
-
- Description:
- Security Analysis for distributed systems and applications
- Parole chiave:
- Internet technology, Middleware, Security systems
- Analisi e sviluppo di applicazioni basate su servizi web
-
- Description:
- Design and analysis of web services
- Parole chiave:
- Interoperable network solutions, Trust technology, Virtual organisations
- Analisi e progetto di sistemi software
-
- Description:
- Design and analysis of software systems
- Parole chiave:
- Software technology, Software development, Computational models
- Analisi di Protocolli Crittografici
-
- SSD:
- INF/01
- Altri membri del gruppo di ricerca:
-
Riccardo FOCARDI
- Analisi e verifica di sistemi distribuiti
-
- SSD:
- INF/01
- Blockchain Programming Languages
-
- SSD:
- INF/01
- Altri membri del gruppo di ricerca:
-
Lorenzo BENETOLLO
Sabina ROSSI
Alvise SPANO'
- Innovazione digitale per le imprese
-
- SSD:
- INF/01
- Altri membri del gruppo di ricerca:
-
Stefano MICELLI
- Metodi formali per la sicurezza
-
- SSD:
- INF/01
- Strumenti di Intelligenza Artificiale per l'analisi di Linguaggi di Programmazione
-
- SSD:
- INFO-01/A
- Altri membri del gruppo di ricerca:
-
Dalila RESSI
Sabina ROSSI
Alvise SPANO'
Rocco TRIPODI
- ADAPT: Accessible Data for Accessible Proto-types in Social Sector
-
- Ente finanziatore:
- MIUR
- Tipologia:
- Bando Smart Cities
- Ruolo nel progetto:
- NS
- Data inizio:
- Anno: 2013 Durata mesi: 48
- Altri membri del gruppo di ricerca:
-
Andrea ALBARELLI
Riccardo FOCARDI
Flaminia LUCCIO
Andrea MARIN
Salvatore ORLANDO
Alessandra RAFFAETA'
Sabina ROSSI
Claudio SILVESTRI
Andrea TORSELLO
- CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura
-
- Ente finanziatore:
- MIUR
- Tipologia:
- PRIN
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2012 Durata mesi: 24
- Altri membri del gruppo di ricerca:
-
Maria Simonetta BALSAMO
Andrea MARIN
Sabina ROSSI
- EUTYPES - 2016
-
- Ente finanziatore:
- Unione Europea
- Tipologia:
- COST
- Ruolo nel progetto:
- PT
- Data inizio:
- Anno: 2016 Durata mesi: 36
- Altri membri del gruppo di ricerca:
-
Agostino CORTESI
Riccardo FOCARDI
- SERICS - SPOKE 6 Sicurezza del software e delle piattaforme
-
- Ente finanziatore:
- National Recovery and Resilience Plan (NRRP) funded by the European Union - NextGenerationEU
- Tipologia:
- Altri finanziamenti per progetti di ricerca
- Ruolo nel progetto:
- NS
- Sito di progetto:
- https://serics.eu/services/spoke-6-sicurezza-software-piattaforme/
- Data inizio:
- Anno: 2023 Durata mesi: 36
- Sicurezza, affidabilita' e protezione della privacy nelle piattaforme mobili
-
- Ente finanziatore:
- Regione Veneto
- Tipologia:
- POR FSE (2007-2013)
- Ruolo nel progetto:
- LD
- Data inizio:
- Anno: 2012 Durata mesi: 12
Pubblicazioni in evidenza
Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto Smart contract languages: A comparative analysis in FUTURE GENERATION COMPUTER SYSTEMS, vol. 1 (ISSN 0167-739X)
DOI - URL correlato 2025,
Articolo su rivista - Scheda ARCA: 10278/5081863
Michele Bugliesi; Stefano Calzavara; Alvise Rabitti Cryptographic Web Applications: from Security Engineering to Formal Analysis in Michele Bugliesi; Stefano Calzavara; Alvise Rabitti, Handbook of Formal Analysis and Verification in Cryptography, CRC Press (ISBN 9781003090052)
DOI 2023,
Articolo su libro - Scheda ARCA: 10278/5016383
Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise ALGOMOVE – A Move Embedding for Algorand in Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanè, Proceedings of the 2023 IEEE International Conference on Blockchain, IEEE, pp. 62-67, Convegno: 2023 IEEE International Conference on Blockchain, Dicembre 2023 (ISBN 979-8-3503-1929-3)
DOI 2023,
Articolo in Atti di convegno - Scheda ARCA: 10278/5047901
Calzavara, Stefano*; Rabitti, Alvise; Bugliesi, Michele Sub-session hijacking on the web: Root causes and prevention in JOURNAL OF COMPUTER SECURITY, vol. 27, pp. 233-257 (ISSN 0926-227X)
DOI - URL correlato 2019,
Articolo su rivista - Scheda ARCA: 10278/3713216
Calzavara S.; Rabitti A.; Bugliesi M. Semantically Sound Analysis of Content Security Policies , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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)
DOI - URL correlato 2019,
Articolo in Atti di convegno - Scheda ARCA: 10278/3716810
Tutte le pubblicazioni
Curriculum vitae
ITALIANO
Nato a Udine nel 1962; laureato in Scienze dell’Informazione all’Università di Pisa (1987), dopo tre anni di attività presso centri di ricerca del gruppo ENI, ha ricevuto una Fullbright Fellowship per un Master in Computer Science a Purdue University (1992). Ha conseguito il Dottorato di Ricerca in Informatica presso l’Université Denis Diderot – Paris VII (2003).
Professore Ordinario di Informatica all’Università Ca' Foscari Venezia dal 2006. In precedenza Professore Associato a Ca’ Foscari (2001 – 2006), Ricercatore a Ca’ Foscari (1998 – 2000) e all’Università di Padova (1992 – 1998).
Visiting Professor presso Boston University (1999), ENS Paris (2000), e visiting scientist presso numerose università straniere, con le quali mantiene tutt’ora rapporti di collaborazione scientifica.
Direttore del Dipartimento di Science Ambientali Informatica e Statistica (2011-2014), Direttore del Dipartimento di Informatica (2009 - 2010), Membro della Giunta della Facoltà di Scienze MM.FF.NN. (2006 - 2010) e Membro del Senato Accademico (2006 - 2009, 2013 - 2014).
Dal 1 Ottobre 2014 al 30 Settembre 2020 è stato Rettore dell’Università Ca’ Foscari Venezia.
Altri Incarchi svolti nel recente passato.
- Presidente del Conferenza Nazionale delle Fondazioni Universitarie (2020 - 2024)
- Presidente della Fondazione di Venezia (2020 - 2024)
- Presidente della Fondazione M9, Museo del '900 (2020 - 2024)
- Consigliere di Amministrazione della Scuola Internazionale Superiore di Studi Avanzati (2020 - 2024)
- Consigliere di Amministrazione di Unieuro S.p.A. (2020 - 2022)
- Componente del Comitato di Supporto di Cassa Depositi e Prestiti S.p.A. (2021 - 2024)
Svolge la sua attività di ricerca nel campo dell’analisi e verifica formale del software, in particolare per gli aspetti relativi alla sicurezza e alla protezione della privacy dei dati e delle informazioni in sistemi distribuiti. Autore di circa 100 pubblicazioni su riviste e atti di conferenze internazionali di prestigio. Nel 2013, ha ricevuto il premio per l'EATCS Best Theory Paper alla European Joint Conferences on Theory and Practice of Software (ETAPS 2013). Membro del comitato scientifico di importanti conferenze internazionali. Ha coordinato numerosi progetti di ricerca a livello regionale, nazionale ed europeo. Componente dell’albo del MIUR per la valutazione di progetti di ricerca e di innovazione tecnologica. Fellow dell’Istituto Veneto di Lettere, Scienze e Arti.
E' co-fondatore e Amministratore Delegato della società RARA Factory, spin-off di Ca' Foscari
ENGLISH
Born in Udine in 1962. Degree in Computer Science at the University of Pisa (1987). After three years as research scientist at the ENI group, he was Fulbright Fellow at Purdue University where he received a Master in Computer Science (1992). He received his PhD in Computer Science at the Université Denis Diderot - Paris VII (2003).
Professor of Computer Science at Ca 'Foscari University of Venice since 2006. Previously Associate Professor at Ca' Foscari (2001-2006), Assistant Professor at Ca 'Foscari (1998-2000) and at the University of Padua (1992-1998).
Visiting Professor at Boston University (1999), ENS Paris (2000), and visiting scientist at various universities in Europe.
Head of the Department of Environmental Science Informatics and Statistics (2011-2014), Head of the Department of Computer Science (2009 - 2010), Member of the Council of the Faculty of Sciences (2006 - 2010) and Member of the Academic Senate (2006 - 2009, 2013-2014).
From 1 October 2014 to September 2020 he has been Rector of Ca 'Foscari University of Venice.
His research has always centered on the analysis and formal verification of software, currently with specific focus on security and protection of information and data privacy in distributed systems. Author of over 100 publications in top international journals and refereed conference proceedings. In 2013, he was the co-recipient of the award for the Best EATCS Theory Paper at the European Joint Conferences on Theory and Practice of Software (ETAPS 2013). Member of the scientific committee of major international conferences. He has coordinated several research projects at regional, national and European. He is on the Register of the Ministry of Education for the evaluation of research and technological innovation. He is Fellow of the Institute of Veneto Letters, Sciences and Arts.
He is a co-founder and currently serves as CEO of RARA Factory, a spin-off deep tech company of Ca' Foscari University.
Le informazioni riportate sono state caricate sul sito dell'Università Ca' Foscari Venezia direttamente dall'utente a cui si riferisce la pagina. La correttezza e veridicità delle informazioni pubblicate sono di esclusiva responsabilità del singolo utente.