Michele BUGLIESI
- Position
- Full Professor
- Telephone
- 041 234 8437
-
bugliesi@unive.it
- Academic discipline
- Informatics [INFO-01/A]
- Website
-
https://www.unive.it/web/en/19197/people/bugliesi(personal record)
- Office
-
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B05 (Zeta B building)
Teaching activity current year
Teaching activity previous years
Activities and research skills
- Academic discipline
- Informatica [INFO-01/A]
- Settore Scientifico Disciplinare (SSD) affine
- SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI [ING-INF/05]
- Geographic areas in which the research experience mainly applies
- Internazionale: Europa, America Settentrionale
- Known languages
-
inglese
(scritto: avanzato parlato: avanzato)
italiano (scritto: madrelingua parlato: madrelingua)
- Participation in editorial boards of scientific journals/book series
-
Partecipazioni attuali
- Frontiers In Computer Science (Academic Editor, Theoretical Computer Science)
- Theoretical Computer Science - Logic, Semantics and Theory of Programming (TCS-B)
- Participation as referees of national and international research projects
-
PRIN 2009
ERC Consolidator 2017
- Main departmental research areas and fields
-
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
- Keywords:
- Internet technology, Middleware, Security systems
- Analisi e sviluppo di applicazioni basate su servizi web
-
- Description:
- Design and analysis of web services
- Keywords:
- Interoperable network solutions, Trust technology, Virtual organisations
- Analisi e progetto di sistemi software
-
- Description:
- Design and analysis of software systems
- Keywords:
- Software technology, Software development, Computational models
- Analisi di Protocolli Crittografici
-
- SSD:
- INF/01
- Other members of the research group:
-
Riccardo FOCARDI
- Analisi e verifica di sistemi distribuiti
-
- SSD:
- INF/01
- Blockchain Programming Languages
-
- SSD:
- INF/01
- Other members of the research group:
-
Lorenzo BENETOLLO
Sabina ROSSI
Alvise SPANO'
- Innovazione digitale per le imprese
-
- SSD:
- INF/01
- Other members of the research group:
-
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
- Other members of the research group:
-
Dalila RESSI
Sabina ROSSI
Alvise SPANO'
Rocco TRIPODI
- ADAPT: Accessible Data for Accessible Proto-types in Social Sector
-
- Funding body:
- MIUR
- Type:
- Bando Smart Cities
- Role in the project:
- NS
- Starting date:
- Year: 2013 Length in months: 48
- Other members of the research group:
-
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
-
- Funding body:
- MIUR
- Type:
- PRIN
- Role in the project:
- PT
- Starting date:
- Year: 2012 Length in months: 24
- Other members of the research group:
-
Maria Simonetta BALSAMO
Andrea MARIN
Sabina ROSSI
- EUTYPES - 2016
-
- Funding body:
- Unione Europea
- Type:
- COST
- Role in the project:
- PT
- Starting date:
- Year: 2016 Length in months: 36
- Other members of the research group:
-
Agostino CORTESI
Riccardo FOCARDI
- SERICS - SPOKE 6 Sicurezza del software e delle piattaforme
-
- Funding body:
- National Recovery and Resilience Plan (NRRP) funded by the European Union - NextGenerationEU
- Type:
- Altri finanziamenti per progetti di ricerca
- Role in the project:
- NS
- Sito di progetto:
- https://serics.eu/services/spoke-6-sicurezza-software-piattaforme/
- Starting date:
- Year: 2023 Length in months: 36
- Sicurezza, affidabilita' e protezione della privacy nelle piattaforme mobili
-
- Funding body:
- Regione Veneto
- Type:
- POR FSE (2007-2013)
- Role in the project:
- LD
- Starting date:
- Year: 2012 Length in months: 12
Publication highlights
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,
Journal Article - ARCA card: 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,
Book Article - ARCA card: 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,
Article in Conference Proceedings - ARCA card: 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,
Journal Article - ARCA card: 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,
Article in Conference Proceedings - ARCA card: 10278/3716810
List of publications
Curriculum vitae
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.
The information above has been uploaded on Ca' Foscari website directly by the person this webpage refers to. The correctness and the truthfulness of the published information are the responsibility of the relevant person.