Home > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

BUGLIESI Michele

Feed RSS Feed RSS degli avvisi personali

 

Al momento non ci sono avvisi

 

giovedì 14.00-16.00

 



Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Settore Scientifico Disciplinare (SSD) affine
Aree e linee di ricerca

Competenze di ricerca

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

Ricerche sviluppate e in corso

Analisi e verifica di sistemi distribuiti

SSD
  • INF/01

Progetto ed analisi di tipi per API grafiche

SSD
  • INF/01

Analisi di Protocolli Crittografici

SSD
  • INF/01
Altri membri del gruppo di ricerca

Metodi formali per la sicurezza

SSD
  • INF/01

Digital Humanities

SSD
  • INF/01
Altri membri del gruppo di ricerca

Finanziamenti

Sicurezza, affidabilita' e protezione della privacy nelle piattaforme mobili

Ente finanziatore
  • Regione Veneto
Tipologia
  • Fondo Sociale Europeo
Ruolo nel progetto
  • LD
Data inizio
  • Anno: 2012 Durata mesi: 12

CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura

Ente finanziatore
  • MIUR
Tipologia
  • PRIN 2010-2011
Ruolo nel progetto
  • PT
Data inizio
  • Anno: 2012 Durata mesi: 24
Altri membri del gruppo di ricerca

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

Editoria Board Member: ISRN Software Engineering. Program Committee Member per vari convegni internazionali, tra cui: MFCS 2012: 37th International Symposium on Mathematical Foundations of Computer Science, COMPSAC 2014 - 2012, 2009: 39th - 37th, 34th Annual International Computer Software & Application Conference, ICECCS 2012: 17th IEEE International Conference on Engineering of Complex Computer Systems, SAS 2011: 18th International Static Analysis Symposium, PPDP 2010: 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, FCS 2009: International Worksup on Foundations of Computer Security, ESOP 2009: 18th European Symposium on Programming

Partecipazione come referees di progetti di ricerca nazionali ed internazionali

PRIN 2009

Pubblicazioni per Anno

2013

  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi Behavioural equivalences and interference metrics for mobile ad-hoc networks, in PERFORMANCE EVALUATION, vol. tba, pp. tba-tba (ISSN 0166-5316) Link DOI (Articolo su rivista)
  • Michele Bugliesi, Andrea Marin, Sabina Rossi Model Checking Adaptive Service Compositions, in SCIENCE OF COMPUTER PROGRAMMING, vol. tba, pp. tba-tba (ISSN 0167-6423) Link DOI (Articolo su rivista)
  • SPANO' A., BUGLIESI M., CORTESI A. Typing Legacy COBOL Code, Software and Data Technologies, in COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, Berlin, Springer-Verlag, vol. 303, pp. 151-165 (ISBN 9783642361760) (ISSN 1865-0929) Link DOI (Articolo su libro)
  • Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei Affine Refinement Types for Authentication and Authorization, 7th International Symposium on Trustworthy Global Computing , in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Heidelberg, Springer- Verlag, vol. 8191, pp. 19-33, Convegno: TGC 2012 (ISBN 9783642411564) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • Michele Bugliesi, Stefano Calzavara, Alvise Spano Lintent: Towards Security Type-Checking of Android Applications, FMOODS/FORTE, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin Hidelberg, SPRINGER-VERLAG, vol. 7892, pp. 289-304, Convegno: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec, Florence, Italy, June 3-5, 2013 (ISBN 9783642385919) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei Logical Foundations of Secure Resource Management , 2nd Conference on Principles of Security and Trust, in LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER-VERLAG, vol. 7796, pp. 105-125, Convegno: POST 2013 (ISBN 9783642368295) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2012

  • MAGGIORE G.; ABBADI M.; PITTARELLO F.; BUGLIESI M.; A compilation technique to increase X3D performance and safety, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, ACM, pp. 969-974, Convegno: SAC 2012 (ISBN 9781450308571) Link DOI (Articolo in Atti di convegno)
  • Giuseppe Maggiore,Alvise Spanò,Renzo Orsini,Michele Bugliesi,Mohamed Abbadi,Enrico Steffinlongo A formal specification for Casanova, a language for computer games, Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12, New York, ACM Association fot Computing Machinery, pp. 287-292, Convegno: EICS '12, Copenhagen, June 25–28, 2012 (ISBN 9781450311687) Link DOI (Articolo in Atti di convegno)
  • BUGLIESI M.; CALZAVARA S.; FOCARDI R.; SQUARCINA M; Gran: model checking grsecurity RBAC policies, Proceedings 2012 IEEE 25th Computer Security Foundations Symposium CSF 2012, IEEE Computer Society, pp. 126-138, Convegno: CSF 2012, Cambridge, Massachusetts, USA, 25-27 June 2012 (ISBN 9780769547183) Link DOI (Articolo in Atti di convegno)
  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, S. Rossi Interference-sensitive Preorders for MANETs , Proc. of the 9th International Conference on Quantitative Evaluation of SysTems (QEST), Washington, DC, IEEE, pp. 189-198, Convegno: QEST'12, London, UK, 17-20 Sep 2012 (ISBN 9780769547817) Link DOI (Articolo in Atti di convegno)
  • G. Maggiore, R. Orsini, M. Bugliesi On Casanova and databases or the similarity between games and DBs, SEBD 2012, Padova, Edizioni Libreria Progetto, pp. 271-276, Convegno: SEBD 2012 (ISBN 9788896477236) (Articolo in Atti di convegno)
  • G. Maggiore, P. Spronck, R. Orsini, M. Bugliesi, E. Steffinlongo, M. Abbadi Writing real-time .Net games in Casanova , Entertainment Computing - ICEC 2012, in LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER VERLAG, vol. 7522, pp. 341-348, Convegno: 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012 (ISBN 9783642335419) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2011

  • Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi , Mohamed Abbadi Designing Casanova: a language for games in van den Herik, H. Jaap; Plaat, Aske, Advances in Computer Games, in LECTURE NOTES IN COMPUTER SCIENCE, Springer-Verlag, Convegno: ACG 2011 : Advances in Computer Games 13 Conference (ISBN 9783642318658) (ISSN 1611-3349) Link DOI (Articolo in Atti di convegno)
  • G. Maggiore, M. Bugliesi, R. Orsini Monadic Scripting in F# for Computer Games, TTSS 2011 - 5th International Workshop on Harnessing Theories for Tool Support in Software, Convegno: Harnessing Theories for Tool Support in Software, Oslo, Norway, 13/9/2011 (Articolo in Atti di convegno)
  • BUGLIESI M.; CALZAVARA S.; MAFFEI M.; EIGNER F. Resource-Aware Authorization Policies for Statically Typed Cryptographic Protocols, Proceedings of the 24th IEEE Computer Security Foundations Symposium, CSF 2011, IEEE Computer Society, pp. 83-98, Convegno: CSF 2011, Cernay-la-Ville, France, 26-29 June 2011 (ISBN 9781612846446) Link DOI (Articolo in Atti di convegno)
  • SPANO' A., BUGLIESI M., CORTESI A. Type-Flow Analysis for Legacy Cobol Code in Maria Jose Escalona, Boris Shishkov and José Cordeiro, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, SciTePress – Science and Technology Publications, vol. 2, pp. 64-75, Convegno: ICSOFT 2011 - 6th International Conference on Software and Database Technologies, Seville, Spain, 18-21 July, 2011 (ISBN 9789898425775) (Articolo in Atti di convegno)
  • G. Maggiore, R. Orsini, M. Bugliesi Casanova: a declarative language for safe games, in Technical Report Series, Venezia, Dipartimento di Scienze Ambientali Informatica e Statistica, vol. DAIS-2011-7, pp. 1-34 (Rapporto di ricerca)

2010

  • BUGLIESI M.; FOCARDI R Channel Abstractions for Network Security, in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 20(1), pp. 3-44 (ISSN 0960-1295) Link DOI (Articolo su rivista)
  • Bugliesi M., Modesti P. Abstractions for Distributed Protocol Design, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Paper, in LECTURE NOTES IN COMPUTER SCIENCE, Springer-Verlan, vol. 6186, pp. 164-184, Convegno: ARSPA-WITS 2010 (ISBN 9783642160738) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • Bugliesi M., Calzavara S., Macedonio D. Secrecy and Authenticity Types for Secure Distributed Messaging, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers, in LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER-VERLAG, vol. 6186, pp. 23-40, Convegno: ARSPA-WITS 2010 (ISBN 9783642160738) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

2009

  • BUGLIESI M.; COLAZZO D; CRAFA S; MACEDONIO M A Type System for Discretionary Access Control, in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 19(4), pp. 839-875 (ISSN 0960-1295) Link DOI (Articolo su rivista)
  • BERNARDI G; BUGLIESI M.; MACEDONIO D; ROSSI S A Theory of Adaptable Contract-Based Service Composition, SYNASC 2008 10th Int. Symp. Symbolic and Numeric Computation., IEEE Computer Society, pp. 327-334, Convegno: SYNASC 2008 10th Int. Symp. Symbolic and Numeric Computation., Timisoara, Romania, 26 - 29 Sept (ISBN 9780769535234) (Articolo in Atti di convegno)
  • M. BUGLIESI; D. MACEDONIO; L. PINO; ROSSI S. Compliance Preorders for Web Services., Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers, in LECTURE NOTES IN COMPUTER SCIENCE, Berlin, Springer Berlin Heidelberg, vol. 6194, pp. 76-91, Convegno: WS-FM 2009, Bologna, Italy, 4-5 September 2009 (ISBN 9783642144578) (ISSN 1611-3349) Link DOI (Articolo in Atti di convegno)
  • BUGLIESI M.; FOCARDI R Security Abstractions and Intruder Models, Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Toronto, Canada, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 242(1), pp. 99-112, Convegno: (ISSN 1571-0661) (Articolo in Atti di convegno)

2008

  • BUGLIESI M.; FOCARDI; R Language Based Secure Communication, CSF 2008 - 21st IEEE Symposium on Computer Security Foundations, IEEE Computer Society, pp. 3-16, Convegno: 21st IEEE Symposium on Computer Security Foundations, Pittsburg, 23 - 25 June 2008 (ISBN 9780769531823) (Articolo in Atti di convegno)

2007

  • M. BUGLIESI; FOCARDI R.; M. MAFFEI Dynamic Types for Authentication, in JOURNAL OF COMPUTER SECURITY, vol. 15 (6), pp. 563-617 (ISSN 0926-227X) (Articolo su rivista)
  • BARBANERA F; BUGLIESI M.; DEZANI-CIANCAGLINI M; SASSONE V Space-aware ambients and processes, in THEORETICAL COMPUTER SCIENCE, vol. 373(1-2), pp. 41-69 (ISSN 0304-3975) (Articolo su rivista)
  • BUGLIESI M.; GIUNTI M Secure implementations of typed channel abstractions in Martin Hofmann, Matthias Felleisen, Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, ACM Press, pp. 251-262, Convegno: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 (ISBN 9781595935755) (Articolo in Atti di convegno)
  • M. BUGLIESI; D. MACEDONIO; ROSSI S. Static vs Dynamic Typing for Access Control in Pi-Calculus, Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 4846, pp. 282-296, Convegno: ASIAN 2007 (ISBN 9783540769279) (ISSN 0302-9743) (Articolo in Atti di convegno)

2006

  • (a cura di) BUGLIESI M.; PRENEEL B; SASSONE V; WEGENER I; EDITORS Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I, in Lecture Notes In Computer Science , Springer-Verlag, vol. 4051 (ISBN 9783540359074) (Curatela)
  • (a cura di) BUGLIESI M.; PRENEEL B; SASSONE V; WEGENER I; EDITORS Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, in Lecture Notes in Computer Science , Springer-Verlag, vol. 4052 (ISBN 9783540359043) (Curatela)

2005

  • BUGLIESI M.; CRAFA S; MERRO M; SASSONE V Communication and Mobility Control in Boxed Ambients, in INFORMATION AND COMPUTATION, vol. 202 (1), pp. 39-86 (ISSN 0890-5401) (Articolo su rivista)
  • BUGLIESI M; ROSSI S. Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols, in JOURNAL OF COMPUTER SECURITY, vol. 13, pp. 87-113 (ISSN 0926-227X) (Articolo su rivista)
  • BUGLIESI M.; FOCARDI R; MAFFEI M Analysis of Typed Analyses of Authentication Protocols, CSFW 2005 - Computer Security Foundation Workshop, IEEE, pp. 112-125, Convegno: CSFW 2005 - Computer Security Foundation Workshop, Aix-en-Provence, France}, 20-22 June 2005 (ISBN 0769523404) (Articolo in Atti di convegno)
  • BUGLIESI M.; GIUNTI M Typed Processes in Untyped Contexts, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 3705, pp. 19-32, Convegno: TGC (ISBN 3540300074) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • (a cura di) BONO V; DROSSOPOULOU S; BUGLIESI M. Second Workshop on Object Oriented Developments (WOOD 2004), in Electronic Notes in Computer Science, Elsevier, vol. 138(2) (Curatela)

2004

  • BUGLIESI M.; CASTAGNA G.; CRAFA S. Access Control for Mobile Agents: the Calculus of Boxed Ambients, in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, vol. 26, pp. 57-124 (ISSN 0164-0925) (Articolo su rivista)
  • BUGLIESI M.; FOCARDI R.; MAFFEI M. Authenticity by tagging and typing, FMSE, ACM, pp. 1-12, Convegno: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering FMSE 2004, Washingtion, DC, USA, October 2004 (ISBN 9781581139716) (Articolo in Atti di convegno)
  • BUGLIESI M.; RICCARDO FOCARDI; MATTEO MAFFEI Compositional Analysis of Authentication Protocols, Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2986, pp. 140-154, Convegno: (ISBN 3540213139) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BUGLIESI M.; COLAZZO D; CRAFA S Type Based Discretionary Access Control, CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 3170, pp. 225-239, Convegno: (ISBN 354022940X) (ISSN 0302-9743) (Articolo in Atti di convegno)

2003

  • FRANCO BARBANERA; BUGLIESI M.; MARIANGIOLA DEZANI-CIANCAGLINI; VLADIMIRO SASSONE A Calculus of Bounded Capacities, Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2096, pp. 205-223, Convegno: (ISBN 3540206329) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BUGLIESI M; CECCATO A; ROSSI S. Context-Sensitive Equivalences for Non-Interference based Protocol Analysis, Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2751, pp. 364-375, Convegno: (ISBN 3540405437) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BUGLIESI M.; RICCARDO FOCARDI; MATTEO MAFFEI Principles for Entity Authentication, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2890, pp. 294-306, Convegno: (ISBN 3540208135) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BUGLIESI M.; CRAFA S; PRELIC A; SASSONE V Secrecy in Untrusted Networks, Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2719, pp. 969-983, Convegno: (ISBN 3540404937) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • (a cura di) BONO V; BUGLIESI M.; DROSSOPOULOU S First Workshop on Object Oriented Developments (WOOD 2003), in Electronic Notes in Theoretical Computer Science , Elsevier, vol. 82(2) (Curatela)

2002

  • CASTAGNA G; BUGLIESI M. Behavioural typing for safe ambients, in COMPUTER LANGUAGES, vol. 28(1), pp. 62-99 (ISSN 0096-0551) (Articolo su rivista)
  • SILVIA CRAFA; BUGLIESI M.; GIUSEPPE CASTAGNA Information Flow Security for Boxed Ambients, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 66(1), pp. 76-97 (ISSN 1571-0661) (Articolo su rivista)
  • BUGLIESI M.; PERICAS-G S. Type Inference for Variant Object Types, in INFORMATION AND COMPUTATION, vol. 177(1), pp. 2-27 (ISSN 0890-5401) (Articolo su rivista)
  • BONO V.; BUGLIESI M.; CRAFA S. Typed Interpretations of Extensible Objects, in ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, vol. 3(4), pp. 562-603 (ISSN 1529-3785) (Articolo su rivista)
  • BUGLIESI M.; GIUSEPPE CASTAGNA; SILVIA CRAFA; RICCARDO FOCARDI; VLADIMIRO SASSONE A Survey of Name-Passing Calculi and Crypto-Primitives, Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures, in LECTURE NOTES IN COMPUTER SCIENCE, Germany:Springer Verlag Germany, vol. 2946, pp. 91-138 (ISBN 3540209557) (ISSN 0302-9743) (Articolo su libro)
  • BUGLIESI M.; CRAFA S; MERRO M; SASSONE V Communication Interference in Mobile Boxed Ambient, FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2556, pp. 71-84, Convegno: (ISBN 3540002251) (ISSN 0302-9743) (Articolo in Atti di convegno)

2001

  • CASTAGNA G; BUGLIESI M.; SILVIA CRAFA An overview of Boxed Ambients, in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 62, pp. 1-6 (ISSN 1571-0661) (Articolo su rivista)
  • BUGLIESI M.; CASTAGNA G; CRAFA S Boxed Ambients, Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2215, pp. 38-63, Convegno: (ISBN 3540427368) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BUGLIESI M.; CASTAGNA G; CRAFA S Reasoning about Security in Mobile Ambients, CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2154, pp. 102-120, Convegno: (ISBN 3540424970) (ISSN 0302-9743) (Articolo in Atti di convegno)
  • BUGLIESI M.; CASTAGNA G. Secure Safe Ambients, ACM SIGPLAN Notices, ACM, vol. 36(3), pp. 222-235, Convegno: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001 (ISBN 9781581133363) (Articolo in Atti di convegno)
  • BUGLIESI M.; GIUSEPPE CASTAGNA; SILVIA CRAFA Subtyping and Matching for Mobile Objects, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings, in LECTURE NOTES IN COMPUTER SCIENCE, vol. 2202, pp. 235-255, Convegno: (ISBN 3540426728) (ISSN 0302-9743) (Articolo in Atti di convegno)

2000

  • BUGLIESI M.; DELZANNO G; LIQUORI L; MARTELLI M Object Calculi in Linear Logic, in JOURNAL OF LOGIC AND COMPUTATION, vol. 10(1), pp. 75-104 (ISSN 0955-792X) (Articolo su rivista)
  • BUGLIESI M.; CASTAGNA G; CRAFA S Typed Mobile Objects, CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings., in LECTURE NOTES IN COMPUTER SCIENCE, vol. 1877, pp. 504-520, Convegno: (ISBN 3540678972) (ISSN 0302-9743) (Articolo in Atti di convegno)

1999

  • BONO V. , BUGLIESI M. , LIQUORI L. , DEZANI-CIANCAGLINI M. A subtyping for Extensible Incomplete Objects, in FUNDAMENTA INFORMATICAE, vol. 38(4), pp. 325-364 (ISSN 0169-2968) (Articolo su rivista)
  • BONO V., BUGLIESI M. Matching for the Lambda Calculus of Objects, in THEORETICAL COMPUTER SCIENCE, vol. 212, pp. 101-140 (ISSN 0304-3975) (Articolo su rivista)

1996

  • BOSSI A.; M. BUGLIESI; M. GABBRIELLI; G. LEVI; E M.C. MEO Differential logic programs: Programming methodologies and semantics, in SCIENCE OF COMPUTER PROGRAMMING, vol. 27(3), pp. 217-262 (ISSN 0167-6423) (Articolo su rivista)

Curriculum di Michele BUGLIESI

Michele Bugliesi (PhD Paris VII) is Professor of Computer Science at the University of Venice "Ca' Foscari" since 2006. Formerly he held various positions in Venice (1998 - 2006) and Padua (1992 - 1998), Boston University (1999), ENS Paris (Feb 2000).

M. Bugliesi has a world-known record of publications in the area of programming languages, concurrent systems and security. His current research centers on formal models for concurrent distributed systems, and type theories for the analysis of security  protocols. His past research has focused on the semantics of modular extension of declarative languages, and typed theoretical calculi for object-oriented systems.

Project Coordinator for MIUR  Project ``Logical Foundations of Distributed Systems and Mobile Code´´; site leader of MIUR Project "Interacting Processes in Open-ended Distributed Systems (IPODS)" , and site leader of EU-funded Project MyThS. Currently site leader of MIUR  Project "Compositionality, Interaction, Negotiation and Autonomicity". Among the themes common to these projects is the application of formal automatic verification and static analysis techniques to enforce resource access control in  distributed and pervasive computing systems.
 
Author of more than  eighty articles in international journals and conferences. Co-recipient of the EATCS best paper award at  ETAPS 2013. Invited speakers at various international conferences and PhD  schools, including TGC 2011, EXPRESS'08, TGC'05. FOSAD 2002, EJC 2002, EJC 2001. Program committee member for several international conferences and workshops, recently for MFCS 2012, SAS 2011, PPDP 2010, ESOP 2009. Track co-chair at IEEE Compsac 2013,2012 and 2009. General Chair for ICALP in 2006. Editorial Board Member for ISRN Software Engineering. Member of the Steering Committee of the FOOL Workshop series on Foundations of Object-Oriented Languages (2005-2008). Member of the Council of the Italian Chapter of EATCS (2008-2011). Scientific Board Member for Nesting S.c.a.r.l.

Department Head for the Department of Environmental Science, Informatics and Statistics (2011 - present), for the Department of Computer Science (2010). Member of the Academic Senate (2006 - 2009, 2012 - present).

Download full CV.

© Ca'Foscari 2014