Michele BUGLIESI

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.B05 (edificio Zeta B)

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
In corso di stampa Articolo su libro Michele Bugliesi; Stefano Micelli Fostering SMEs Digital Innovation through Advanced Training and Design Thinking. Italy as a Case Study in Michele Bugliesi, Stefano MIcelli, Leading and Managing in the Digital Era, Springer International Publishing AG
- Scheda ARCA: 10278/5047902
2023 Articolo su libro 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 - Scheda ARCA: 10278/5016383
2023 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/5047901
2023 Abstract in Atti di convegno Michele Bugliesi, Stefano Micelli Short Circuits 4.0- How to Connect Business and Higher Technical Education in Michele Bugliesi, Stefano MIcelli, Leading and Managing in the Digital Era: Proceedings of Extended Abstracts, Atene, Athens University of Economics and Business, pp. 64-65, Convegno: LMDE 2023 Leading and Managing in the Digital Era, Giugno 2023
- Scheda ARCA: 10278/5047884
2022 Articolo su libro Michele Bugliesi; Enrico Nardelli UNA REPUBBLICA DA DIGITALIZZARE in Michele Bugliesi, Ventisettesimo Rapporto sulle Fondazioni di origine bancaria – Anno 2021, Roma, ACRI, pp. 333-353
- Scheda ARCA: 10278/5016001
2019 Articolo su rivista 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 - Scheda ARCA: 10278/3713216
2019 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/3716810
2019 Articolo in Atti di convegno Calzavara S.; Rabitti A.; Ragazzo A.; Bugliesi M. Testing for Integrity Flaws in Web Sessions , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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)
DOI - URL correlato - Scheda ARCA: 10278/3722895
2018 Articolo su rivista Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele Semantics-based analysis of content security policy deployment in ACM TRANSACTIONS ON THE WEB, vol. 12, pp. 1-36 (ISSN 1559-1131)
DOI - URL correlato - Scheda ARCA: 10278/3698102
2018 Articolo in Atti di convegno Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele 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)
- URL correlato - Scheda ARCA: 10278/3698101
2017 Articolo su rivista Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo Formal methods for web security in THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 87, pp. 110-126 (ISSN 2352-2216)
DOI - URL correlato - Scheda ARCA: 10278/3685125
2017 Articolo in Atti di convegno Stefano Calzavara, Alvise Rabitti, Michele Bugliesi 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
- Scheda ARCA: 10278/3698103
2016 Articolo su rivista Bugliesi, Michele; Calzavara, Stefano; Mödersheim, Sebastian; Modesti, Paolo Security protocol specification and verification with AnBx in JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, vol. 30, pp. 46-63 (ISSN 2214-2126)
DOI - URL correlato - Scheda ARCA: 10278/3685123
2016 Articolo in Atti di convegno Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele Content Security Problems? Evaluating the Effectiveness of Content Security Policy in the Wild , Proceedings of the ACM Conference on Computer and Communications Security, NEW YORK, ASSOC COMPUTING MACHINERY, vol. 24-28-, pp. 1365-1375, Convegno: 23rd ACM Conference on Computer and Communications Security, CCS 2016, 2016 (ISBN 9781450341394; 9781450341394)
DOI - Scheda ARCA: 10278/3685122
2016 Articolo in Atti di convegno Calzavara, Stefano; Rabitti, Alvise; Steffinlongo, Enrico; Bugliesi, Michele Static Detection of Collusion Attacks in ARBAC-based Workflow Systems , Proceedings - IEEE Computer Security Foundations Symposium, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, vol. 2016-, pp. 458-470, Convegno: 29th IEEE Computer Security Foundations Symposium, CSF 2016, 2016 (ISBN 9781509026074; 9781509026074)
DOI - Scheda ARCA: 10278/3685120
2015 Articolo su rivista Calzavara, S.; Tolomei, G.; Casini, A.; Bugliesi, M.; Orlando, S. A Supervised Learning Approach to Protect Client Authentication on the Web in ACM TRANSACTIONS ON THE WEB, Association for Computing Machinery, vol. 9, pp. 1-30 (ISSN 1559-1131)
DOI - URL correlato - Scheda ARCA: 10278/3661257
2015 Articolo su rivista Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo Affine Refinement Types for Secure Distributed Programming in ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Association for Computing Machinery, vol. 37, pp. 1-66 (ISSN 0164-0925)
DOI - URL correlato - Scheda ARCA: 10278/3661939
2015 Articolo su rivista Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo; Khan, Wilayat CookiExt: Patching the browser against session hijacking attacks in JOURNAL OF COMPUTER SECURITY, vol. 23, pp. 509-537 (ISSN 0926-227X)
DOI - URL correlato - Scheda ARCA: 10278/3663357
2015 Articolo in Atti di convegno Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele Compositional Typed Analysis of ARBAC Policies , Proceedings of the Computer Security Foundations Workshop, 345 E 47TH ST, NEW YORK, NY 10017 USA, IEEE, vol. 2015-, pp. 33-45, Convegno: 28th IEEE Computer Security Foundations Symposium, CSF 2015, 2015 (ISBN 9781467375382; 9781467375382)
DOI - Scheda ARCA: 10278/3679811
2015 Articolo in Atti di convegno Calzavara, Stefano; Bugliesi, Michele; Crafa, S.; Steffinlongo, Enrico Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions in Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo, ESOP 2015, Springer Verlag, vol. 9032, pp. 510-534, Convegno: 24th European Symposium on Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, 2015 (ISBN 9783662466681) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3655341
2015 Articolo in Atti di convegno Calzavara, Stefano; Rabitti, Alvise; Bugliesi, Michele Formal verification of Liferay RBAC , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, vol. 8978, pp. 1-16, Convegno: 7th International Symposium on Engineering Secure Software and Systems, ESSoS 2015, 2015 (ISBN 9783319156170) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/3679815
2014 Articolo su rivista M. Bugliesi; L. Gallina; S. Hamadou; A. Marin; S. Rossi Behavioural equivalences and interference metrics for mobile ad-hoc networks in PERFORMANCE EVALUATION, vol. 73, pp. 41-72 (ISSN 0166-5316)
DOI - URL correlato - Scheda ARCA: 10278/39218
2014 Articolo su rivista Michele Bugliesi; Andrea Marin; Sabina Rossi Model Checking Adaptive Service Compositions in SCIENCE OF COMPUTER PROGRAMMING, vol. 94, pp. 289-306 (ISSN 0167-6423)
DOI - URL correlato - Scheda ARCA: 10278/39176
2014 Articolo in Atti di convegno M. Bugliesi; S. Calzavara; R. Focardi; W. Khan Automatic and robust client-side protection for cookie-based sessions , Engineering Secure Software and Systems, Springer, Convegno: 6th International Symposium, ESSoS 2014 (ISBN 9783319048963) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/42442
2014 Articolo in Atti di convegno Khan, Wilayat; Calzavara, Stefano; Bugliesi, Michele; DE GROEF, W.; Piessens, F. Client Side Web Session Integrity as a Non-Interference Property in KHAN W., CALZAVARA S., BUGLIESI M., DE GROEF W.,PIESSENS F., Information Systems Security - 10th International Conference, ICISS 2014,, Springer Verlag, vol. 8880, pp. 89-108, Convegno: Information Systems Security - 10th International Conference, ICISS 2014,, 2014 (ISBN 9783319138404; 9783319138411) (ISSN 1611-3349)
DOI - URL correlato - Scheda ARCA: 10278/44059
2014 Articolo in Atti di convegno Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan; Mauro Tempesta Provably Sound Browser-Based Enforcement of Web Session Integrity , Proceedings of the 27th Computer Security Foundations Symposium, IEEE, Convegno: Computer Security Foundations Symposium, 19-22 July 2014 (ISBN 9781479942909)
DOI - Scheda ARCA: 10278/42652
2014 Articolo in Atti di convegno Stefano Calzavara;Gabriele Tolomei;Michele Bugliesi;Salvatore Orlando Quite a mess in my cookie jar! Leveraging machine learning to protect web authentication , Proceedings of the 23rd international conference on World wide web - WWW '14, ACM Press, pp. 189-200, Convegno: International Conference on World Wide Web (ISBN 9781450327442)
DOI - Scheda ARCA: 10278/42600
2013 Articolo su libro SPANO' A.; BUGLIESI M.; CORTESI A. Typing Legacy COBOL Code , Software and Data Technologies, Berlin, Springer-Verlag, vol. 303, pp. 151-165 (ISBN 9783642361760; 9783642361777) (ISSN 1865-0929)
DOI - Scheda ARCA: 10278/37423
2013 Articolo in Atti di convegno Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei Affine Refinement Types for Authentication and Authorization , 7th International Symposium on Trustworthy Global Computing, Berlin Heidelberg, Springer- Verlag, vol. 8191, pp. 19-33, Convegno: TGC 2012 (ISBN 9783642411564) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/37560
2013 Articolo in Atti di convegno Michele Bugliesi; Stefano Calzavara; Alvise Spano Lintent: Towards Security Type-Checking of Android Applications , FMOODS/FORTE, 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, June 3-5, 2013 (ISBN 9783642385919) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/39004
2013 Articolo in Atti di convegno Michele Bugliesi; Stefano Calzavara; Fabienne Eigner; Matteo Maffei Logical Foundations of Secure Resource Management in Protocol Implementations , 2nd Conference on Principles of Security and Trust, SPRINGER-VERLAG, vol. 7796, pp. 105-125, Convegno: POST 2013 (ISBN 9783642368295) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/37534
2012 Articolo in Atti di convegno 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)
DOI - Scheda ARCA: 10278/24481
2012 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, June 25–28, 2012 (ISBN 9781450311687)
DOI - Scheda ARCA: 10278/27911
2012 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, 25-27 June 2012 (ISBN 9780769547183)
DOI - Scheda ARCA: 10278/39019
2012 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, 17-20 Sep 2012 (ISBN 9780769547817)
DOI - URL correlato - Scheda ARCA: 10278/39280
2012 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)
- Scheda ARCA: 10278/39003
2012 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, SPRINGER VERLAG, vol. 7522, pp. 341-348, Convegno: 11th International Conference, ICEC 2012, September 26-29, 2012 (ISBN 9783642335419) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/38044
2011 Articolo in Atti di convegno 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, Springer-Verlag, Convegno: ACG 2011 : Advances in Computer Games 13 Conference (ISBN 9783642318658) (ISSN 1611-3349)
DOI - Scheda ARCA: 10278/36316
2011 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, 13/9/2011
- Scheda ARCA: 10278/27851
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, 26-29 June 2011 (ISBN 9781612846446)
DOI - Scheda ARCA: 10278/28120
2011 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, 18-21 July, 2011 (ISBN 9789898425775)
- Scheda ARCA: 10278/29488
2011 Rapporto di ricerca G. Maggiore; R. Orsini; M. Bugliesi Casanova: a declarative language for safe games , Venezia, Dipartimento di Scienze Ambientali Informatica e Statistica, vol. DAIS-2011-7, pp. 1-34
- Scheda ARCA: 10278/32310
2010 Articolo su rivista BUGLIESI M.; FOCARDI R Channel Abstractions for Network Security in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 20(1), pp. 3-44 (ISSN 0960-1295)
DOI - Scheda ARCA: 10278/29326
2010 Articolo in Atti di convegno 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, Springer-Verlan, vol. 6186, pp. 164-184, Convegno: ARSPA-WITS 2010 (ISBN 9783642160738) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/24270
2010 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, SPRINGER-VERLAG, vol. 6186, pp. 23-40, Convegno: ARSPA-WITS 2010 (ISBN 9783642160738) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/24296
2009 Articolo su rivista 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)
DOI - Scheda ARCA: 10278/21585
2009 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, Berlin, Springer Berlin Heidelberg, vol. 6194, pp. 76-91, Convegno: WS-FM 2009, 4-5 September 2009 (ISBN 9783642144578) (ISSN 1611-3349)
DOI - URL correlato - Scheda ARCA: 10278/39898
2009 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, vol. 242(1), pp. 99-112 (ISSN 1571-0661)
- Scheda ARCA: 10278/29325
2008 Articolo in Atti di convegno G. BERNARDI; M. BUGLIESI; D. MACEDONIO; 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., 26 - 29 Sept (ISBN 9780769535234)
DOI - URL correlato - Scheda ARCA: 10278/39503
2008 Articolo in Atti di convegno 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, 23 - 25 June 2008 (ISBN 9780769531823)
- Scheda ARCA: 10278/19905
2007 Articolo su rivista M. BUGLIESI; FOCARDI R.; M. MAFFEI Dynamic Types for Authentication in JOURNAL OF COMPUTER SECURITY, vol. 15 (6), pp. 563-617 (ISSN 0926-227X)
- Scheda ARCA: 10278/30434
2007 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)
- Scheda ARCA: 10278/16089
2007 Articolo in Atti di convegno 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, January 17-19, 2007 (ISBN 9781595935755)
- Scheda ARCA: 10278/30693
2007 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., vol. 4846, pp. 282-296, Convegno: ASIAN 2007 (ISBN 9783540769279) (ISSN 0302-9743)
- Scheda ARCA: 10278/19385
2006 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 I , Springer-Verlag, vol. 4051 (ISBN 9783540359074)
- Scheda ARCA: 10278/5119
2006 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 , Springer-Verlag, vol. 4052 (ISBN 9783540359043)
- Scheda ARCA: 10278/5120
2005 Articolo su rivista 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)
- Scheda ARCA: 10278/30066
2005 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)
- URL correlato - Scheda ARCA: 10278/39177
2005 Articolo in Atti di convegno 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, 20-22 June 2005 (ISBN 0769523404)
- Scheda ARCA: 10278/5637
2005 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, vol. 3705, pp. 19-32, Convegno: TGC (ISBN 3540300074) (ISSN 0302-9743)
- Scheda ARCA: 10278/17524
2005 Curatela (a cura di) BONO V; DROSSOPOULOU S; BUGLIESI M. Second Workshop on Object Oriented Developments (WOOD 2004) , Elsevier, vol. 138(2)
- Scheda ARCA: 10278/17525
2004 Articolo su rivista 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)
- Scheda ARCA: 10278/12508
2004 Articolo in Atti di convegno 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, October 2004 (ISBN 9781581139716)
- Scheda ARCA: 10278/5638
2004 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., vol. 2986, pp. 140-154 (ISBN 3540213139) (ISSN 0302-9743)
- Scheda ARCA: 10278/23344
2004 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., vol. 3170, pp. 225-239 (ISBN 354022940X) (ISSN 0302-9743)
- Scheda ARCA: 10278/12503
2003 Articolo in Atti di convegno 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., vol. 2096, pp. 205-223 (ISBN 3540206329) (ISSN 0302-9743)
- Scheda ARCA: 10278/12504
2003 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., vol. 2751, pp. 364-375 (ISBN 3540405437) (ISSN 0302-9743)
- Scheda ARCA: 10278/23191
2003 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, vol. 2890, pp. 294-306 (ISBN 3540208135) (ISSN 0302-9743)
- Scheda ARCA: 10278/13496
2003 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, vol. 2719, pp. 969-983 (ISBN 3540404937) (ISSN 0302-9743)
- Scheda ARCA: 10278/12502
2003 Curatela (a cura di) BONO V; BUGLIESI M.; DROSSOPOULOU S First Workshop on Object Oriented Developments (WOOD 2003) , Elsevier, vol. 82(2)
- Scheda ARCA: 10278/17526
2002 Articolo su rivista CASTAGNA G; BUGLIESI M. Behavioural typing for safe ambients in COMPUTER LANGUAGES, vol. 28(1), pp. 62-99 (ISSN 0096-0551)
- Scheda ARCA: 10278/12501
2002 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)
- Scheda ARCA: 10278/13495
2002 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)
- Scheda ARCA: 10278/32979
2002 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)
- Scheda ARCA: 10278/12452
2002 Articolo su libro 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, Germany:Springer Verlag Germany, vol. 2946, pp. 91-138 (ISBN 3540209557) (ISSN 0302-9743)
- Scheda ARCA: 10278/7587
2002 Articolo in Atti di convegno 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., vol. 2556, pp. 71-84 (ISBN 3540002251) (ISSN 0302-9743)
- Scheda ARCA: 10278/12505
2001 Articolo su rivista 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)
- Scheda ARCA: 10278/13497
2001 Articolo in Atti di convegno 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., vol. 2215, pp. 38-63 (ISBN 3540427368) (ISSN 0302-9743)
- Scheda ARCA: 10278/12506
2001 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, vol. 2154, pp. 102-120 (ISBN 3540424970) (ISSN 0302-9743)
- Scheda ARCA: 10278/12380
2001 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, January 17-19, 2001 (ISBN 9781581133363)
- Scheda ARCA: 10278/5636
2001 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, vol. 2202, pp. 235-255 (ISBN 3540426728) (ISSN 0302-9743)
- Scheda ARCA: 10278/12381
2000 Articolo su rivista 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)
- Scheda ARCA: 10278/12500
2000 Articolo in Atti di convegno 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., vol. 1877, pp. 504-520 (ISBN 3540678972) (ISSN 0302-9743)
- Scheda ARCA: 10278/12499
1999 Articolo su rivista 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)
- Scheda ARCA: 10278/23461
1999 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)
- Scheda ARCA: 10278/24219
1996 Articolo su rivista 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)
- Scheda ARCA: 10278/12639