default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michele Bugliesi
@article{DBLP:journals/corr/abs-2404-04129,
author = {Massimo Bartoletti and
Lorenzo Benetollo and
Michele Bugliesi and
Silvia Crafa and
Giacomo Dal Sasso and
Roberto Pettinau and
Andrea Pinna and
Mattia Piras and
Sabina Rossi and
Stefano Salis and
Alvise Span{\`{o}} and
Viacheslav Tkachenko and
Roberto Tonelli and
Roberto Zunino},
title = {Smart Contract Languages: a comparative analysis},
journal = {CoRR},
volume = {abs/2404.04129},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.04129},
doi = {10.48550/ARXIV.2404.04129},
eprinttype = {arXiv},
eprint = {2404.04129},
timestamp = {Tue, 14 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-04129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-18639,
author = {Dalila Ressi and
Alvise Span{\`{o}} and
Lorenzo Benetollo and
Carla Piazza and
Michele Bugliesi and
Sabina Rossi},
title = {Vulnerability Detection in Ethereum Smart Contracts via Machine Learning:
{A} Qualitative Analysis},
journal = {CoRR},
volume = {abs/2407.18639},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.18639},
doi = {10.48550/ARXIV.2407.18639},
eprinttype = {arXiv},
eprint = {2407.18639},
timestamp = {Sat, 24 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-18639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blockchain2/BenetolloBCRS23,
author = {Lorenzo Benetollo and
Michele Bugliesi and
Silvia Crafa and
Sabina Rossi and
Alvise Span{\`{o}}},
title = {{ALGOMOVE} - {A} Move Embedding for Algorand},
booktitle = {{IEEE} International Conference on Blockchain, Blockchain 2023, Danzhou,
China, December 17-21, 2023},
pages = {62--67},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/Blockchain60715.2023.00019},
doi = {10.1109/BLOCKCHAIN60715.2023.00019},
timestamp = {Thu, 22 Feb 2024 20:11:26 +0100},
biburl = {https://dblp.org/rec/conf/blockchain2/BenetolloBCRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/23/BugliesiCR23,
author = {Michele Bugliesi and
Stefano Calzavara and
Alvise Rabitti},
editor = {Sedat Akleylek and
Besik Dundua},
title = {Cryptographic Web Applications: from Security Engineering to Formal
Analysis},
booktitle = {Handbook of Formal Analysis and Verification in Cryptography},
pages = {275--318},
publisher = {{CRC} Press},
year = {2023},
url = {https://doi.org/10.1201/9781003090052-6},
doi = {10.1201/9781003090052-6},
timestamp = {Mon, 25 Sep 2023 12:19:41 +0200},
biburl = {https://dblp.org/rec/books/crc/23/BugliesiCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/CalzavaraRB19,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
title = {Sub-session hijacking on the web: Root causes and prevention},
journal = {J. Comput. Secur.},
volume = {27},
number = {2},
pages = {233--257},
year = {2019},
url = {https://doi.org/10.3233/JCS-181149},
doi = {10.3233/JCS-181149},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/CalzavaraRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/CalzavaraRRB19,
author = {Stefano Calzavara and
Alvise Rabitti and
Alessio Ragazzo and
Michele Bugliesi},
editor = {Kazue Sako and
Steve A. Schneider and
Peter Y. A. Ryan},
title = {Testing for Integrity Flaws in Web Sessions},
booktitle = {Computer Security - {ESORICS} 2019 - 24th European Symposium on Research
in Computer Security, Luxembourg, September 23-27, 2019, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11736},
pages = {606--624},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29962-0\_29},
doi = {10.1007/978-3-030-29962-0\_29},
timestamp = {Mon, 05 Feb 2024 20:29:41 +0100},
biburl = {https://dblp.org/rec/conf/esorics/CalzavaraRRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CalzavaraRB19,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Semantically Sound Analysis of Content Security Policies},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {293--297},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_18},
doi = {10.1007/978-3-030-21759-4\_18},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/CalzavaraRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/CalzavaraRB18,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
title = {Semantics-Based Analysis of Content Security Policy Deployment},
journal = {{ACM} Trans. Web},
volume = {12},
number = {2},
pages = {10:1--10:36},
year = {2018},
url = {https://doi.org/10.1145/3149408},
doi = {10.1145/3149408},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tweb/CalzavaraRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itasec/CalzavaraRB18,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
editor = {Elena Ferrari and
Marco Baldi and
Roberto Baldoni},
title = {Dr Cookie and Mr Token - Web Session Implementations and How to Live
with Them},
booktitle = {Proceedings of the Second Italian Conference on Cyber Security, Milan,
Italy, February 6th - to - 9th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2058},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2058/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/itasec/CalzavaraRB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BugliesiCF17,
author = {Michele Bugliesi and
Stefano Calzavara and
Riccardo Focardi},
title = {Formal methods for web security},
journal = {J. Log. Algebraic Methods Program.},
volume = {87},
pages = {110--126},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.08.006},
doi = {10.1016/J.JLAMP.2016.08.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BugliesiCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/CalzavaraRB17,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
editor = {Engin Kirda and
Thomas Ristenpart},
title = {{CCSP:} Controlled Relaxation of Content Security Policies by Runtime
Policy Composition},
booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
BC, Canada, August 16-18, 2017},
pages = {695--712},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/calzavara},
timestamp = {Mon, 01 Feb 2021 08:42:59 +0100},
biburl = {https://dblp.org/rec/conf/uss/CalzavaraRB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/BugliesiCMM16,
author = {Michele Bugliesi and
Stefano Calzavara and
Sebastian M{\"{o}}dersheim and
Paolo Modesti},
title = {Security protocol specification and verification with AnBx},
journal = {J. Inf. Secur. Appl.},
volume = {30},
pages = {46--63},
year = {2016},
url = {https://doi.org/10.1016/j.jisa.2016.05.004},
doi = {10.1016/J.JISA.2016.05.004},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/istr/BugliesiCMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CalzavaraRB16,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
editor = {Edgar R. Weippl and
Stefan Katzenbeisser and
Christopher Kruegel and
Andrew C. Myers and
Shai Halevi},
title = {Content Security Problems?: Evaluating the Effectiveness of Content
Security Policy in the Wild},
booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Vienna, Austria, October 24-28, 2016},
pages = {1365--1375},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976749.2978338},
doi = {10.1145/2976749.2978338},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/CalzavaraRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SeceleanuMSBSM16,
author = {Tiberiu Seceleanu and
Tiziana Margaria and
Rajesh Subramanyan and
Michele Bugliesi and
Cristina Seceleanu and
Bruce M. McMillin},
title = {Messge from the {ECPE} Organizing Committee},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {281},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.249},
doi = {10.1109/COMPSAC.2016.249},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SeceleanuMSBSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CalzavaraRSB16,
author = {Stefano Calzavara and
Alvise Rabitti and
Enrico Steffinlongo and
Michele Bugliesi},
title = {Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {458--470},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSF.2016.39},
doi = {10.1109/CSF.2016.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/CalzavaraRSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BugliesiCFK15,
author = {Michele Bugliesi and
Stefano Calzavara and
Riccardo Focardi and
Wilayat Khan},
title = {CookiExt: Patching the browser against session hijacking attacks},
journal = {J. Comput. Secur.},
volume = {23},
number = {4},
pages = {509--537},
year = {2015},
url = {https://doi.org/10.3233/JCS-150529},
doi = {10.3233/JCS-150529},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcs/BugliesiCFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BugliesiCEM15,
author = {Michele Bugliesi and
Stefano Calzavara and
Fabienne Eigner and
Matteo Maffei},
title = {Affine Refinement Types for Secure Distributed Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {4},
pages = {11:1--11:66},
year = {2015},
url = {https://doi.org/10.1145/2743018},
doi = {10.1145/2743018},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BugliesiCEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/CalzavaraTCBO15,
author = {Stefano Calzavara and
Gabriele Tolomei and
Andrea Casini and
Michele Bugliesi and
Salvatore Orlando},
title = {A Supervised Learning Approach to Protect Client Authentication on
the Web},
journal = {{ACM} Trans. Web},
volume = {9},
number = {3},
pages = {15:1--15:30},
year = {2015},
url = {https://doi.org/10.1145/2754933},
doi = {10.1145/2754933},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tweb/CalzavaraTCBO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CalzavaraRB15,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
editor = {C{\'{e}}dric Fournet and
Michael W. Hicks and
Luca Vigan{\`{o}}},
title = {Compositional Typed Analysis of {ARBAC} Policies},
booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
Italy, 13-17 July, 2015},
pages = {33--45},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSF.2015.10},
doi = {10.1109/CSF.2015.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/CalzavaraRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CalzavaraBCS15,
author = {Stefano Calzavara and
Michele Bugliesi and
Silvia Crafa and
Enrico Steffinlongo},
editor = {Jan Vitek},
title = {Fine-Grained Detection of Privilege Escalation Attacks on Browser
Extensions},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {510--534},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_21},
doi = {10.1007/978-3-662-46669-8\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/CalzavaraBCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/CalzavaraRB15,
author = {Stefano Calzavara and
Alvise Rabitti and
Michele Bugliesi},
editor = {Frank Piessens and
Juan Caballero and
Nataliia Bielova},
title = {Formal Verification of Liferay {RBAC}},
booktitle = {Engineering Secure Software and Systems - 7th International Symposium,
ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8978},
pages = {1--16},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15618-7\_1},
doi = {10.1007/978-3-319-15618-7\_1},
timestamp = {Mon, 01 May 2023 13:01:13 +0200},
biburl = {https://dblp.org/rec/conf/essos/CalzavaraRB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BugliesiGHMR14,
author = {Michele Bugliesi and
Lucia Gallina and
Sardaouna Hamadou and
Andrea Marin and
Sabina Rossi},
title = {Behavioural equivalences and interference metrics for mobile ad-hoc
networks},
journal = {Perform. Evaluation},
volume = {73},
pages = {41--72},
year = {2014},
url = {https://doi.org/10.1016/j.peva.2013.11.003},
doi = {10.1016/J.PEVA.2013.11.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/BugliesiGHMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BugliesiMR14,
author = {Michele Bugliesi and
Andrea Marin and
Sabina Rossi},
title = {Model checking adaptive service compositions},
journal = {Sci. Comput. Program.},
volume = {94},
pages = {289--306},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.031},
doi = {10.1016/J.SCICO.2013.11.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BugliesiMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BugliesiCFKT14,
author = {Michele Bugliesi and
Stefano Calzavara and
Riccardo Focardi and
Wilayat Khan and
Mauro Tempesta},
title = {Provably Sound Browser-Based Enforcement of Web Session Integrity},
booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
Austria, 19-22 July, 2014},
pages = {366--380},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSF.2014.33},
doi = {10.1109/CSF.2014.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BugliesiCFKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/BugliesiCFK14,
author = {Michele Bugliesi and
Stefano Calzavara and
Riccardo Focardi and
Wilayat Khan},
editor = {Jan J{\"{u}}rjens and
Frank Piessens and
Nataliia Bielova},
title = {Automatic and Robust Client-Side Protection for Cookie-Based Sessions},
booktitle = {Engineering Secure Software and Systems - 6th International Symposium,
ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8364},
pages = {161--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04897-0\_11},
doi = {10.1007/978-3-319-04897-0\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/essos/BugliesiCFK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/KhanCBGP14,
author = {Wilayat Khan and
Stefano Calzavara and
Michele Bugliesi and
Willem De Groef and
Frank Piessens},
editor = {Atul Prakash and
Rudrapatna K. Shyamasundar},
title = {Client Side Web Session Integrity as a Non-interference Property},
booktitle = {Information Systems Security - 10th International Conference, {ICISS}
2014, Hyderabad, India, December 16-20, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8880},
pages = {89--108},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13841-1\_6},
doi = {10.1007/978-3-319-13841-1\_6},
timestamp = {Wed, 12 May 2021 16:44:21 +0200},
biburl = {https://dblp.org/rec/conf/iciss/KhanCBGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/CalzavaraTBO14,
author = {Stefano Calzavara and
Gabriele Tolomei and
Michele Bugliesi and
Salvatore Orlando},
editor = {Chin{-}Wan Chung and
Andrei Z. Broder and
Kyuseok Shim and
Torsten Suel},
title = {Quite a mess in my cookie jar!: leveraging machine learning to protect
web authentication},
booktitle = {23rd International World Wide Web Conference, {WWW} '14, Seoul, Republic
of Korea, April 7-11, 2014},
pages = {189--200},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2566486.2568047},
doi = {10.1145/2566486.2568047},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/CalzavaraTBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BugliesiCS13,
author = {Michele Bugliesi and
Stefano Calzavara and
Alvise Span{\`{o}}},
editor = {Dirk Beyer and
Michele Boreale},
title = {Lintent: Towards Security Type-Checking of Android Applications},
booktitle = {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 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {289--304},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_20},
doi = {10.1007/978-3-642-38592-6\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BugliesiCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BugliesiCEM13,
author = {Michele Bugliesi and
Stefano Calzavara and
Fabienne Eigner and
Matteo Maffei},
editor = {David A. Basin and
John C. Mitchell},
title = {Logical Foundations of Secure Resource Management in Protocol Implementations},
booktitle = {Principles of Security and Trust - Second International Conference,
{POST} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7796},
pages = {105--125},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36830-1\_6},
doi = {10.1007/978-3-642-36830-1\_6},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/post/BugliesiCEM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BugliesiCFS12,
author = {Michele Bugliesi and
Stefano Calzavara and
Riccardo Focardi and
Marco Squarcina},
editor = {Stephen Chong},
title = {Gran: Model Checking Grsecurity {RBAC} Policies},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {126--138},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.29},
doi = {10.1109/CSF.2012.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BugliesiCFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MaggioreSOBAS12,
author = {Giuseppe Maggiore and
Alvise Span{\`{o}} and
Renzo Orsini and
Michele Bugliesi and
Mohamed Abbadi and
Enrico Steffinlongo},
editor = {Simone Diniz Junqueira Barbosa and
Jos{\'{e}} Creissac Campos and
Rick Kazman and
Philippe A. Palanque and
Michael D. Harrison and
Steve Reeves},
title = {A formal specification for casanova, a language for computer games},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'12, Copenhagen, Denmark - June 25 - 28, 2012},
pages = {287--292},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2305484.2305533},
doi = {10.1145/2305484.2305533},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/MaggioreSOBAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icec/MaggioreSOBSA12,
author = {Giuseppe Maggiore and
Pieter Spronck and
Renzo Orsini and
Michele Bugliesi and
Enrico Steffinlongo and
Mohamed Abbadi},
editor = {Marc Herrlich and
Rainer Malaka and
Maic Masuch},
title = {Writing Real-Time .Net Games in Casanova},
booktitle = {Entertainment Computing - {ICEC} 2012 - 11th International Conference,
{ICEC} 2012, Bremen, Germany, September 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7522},
pages = {341--348},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33542-6\_30},
doi = {10.1007/978-3-642-33542-6\_30},
timestamp = {Thu, 14 Oct 2021 10:40:19 +0200},
biburl = {https://dblp.org/rec/conf/icec/MaggioreSOBSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BugliesiGMRH12,
author = {Michele Bugliesi and
Lucia Gallina and
Andrea Marin and
Sabina Rossi and
Sardaouna Hamadou},
title = {Interference-Sensitive Preorders for MANETs},
booktitle = {Ninth International Conference on Quantitative Evaluation of Systems,
{QEST} 2012, London, United Kingdom, September 17-20, 2012},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/QEST.2012.15},
doi = {10.1109/QEST.2012.15},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/BugliesiGMRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MaggiorePBA12,
author = {Giuseppe Maggiore and
Fabio Pittarello and
Michele Bugliesi and
Mohamed Abbadi},
editor = {Sascha Ossowski and
Paola Lecca},
title = {A compilation technique to increase {X3D} performance and safety},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {969--974},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2245465},
doi = {10.1145/2245276.2245465},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/MaggiorePBA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/MaggioreOB12,
author = {Giuseppe Maggiore and
Renzo Orsini and
Michele Bugliesi},
editor = {Nicola Ferro and
Letizia Tanca},
title = {On Casanova and Databases or the Similarity Between Games and DBs},
booktitle = {Twentieth Italian Symposium on Advanced Database Systems, {SEBD} 2012,
Venice, Italy, June 24-27, 2012, Proceedings},
pages = {271--276},
publisher = {Edizioni Libreria Progetto, Padova, Italy},
year = {2012},
url = {http://sebd2012.dei.unipd.it/documents/188475/666ab744-0bf7-4d69-8d1c-b1488cbaa202},
timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/sebd/MaggioreOB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BugliesiCEM12,
author = {Michele Bugliesi and
Stefano Calzavara and
Fabienne Eigner and
Matteo Maffei},
editor = {Catuscia Palamidessi and
Mark Dermot Ryan},
title = {Affine Refinement Types for Authentication and Authorization},
booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC}
2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8191},
pages = {19--33},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41157-1\_2},
doi = {10.1007/978-3-642-41157-1\_2},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/tgc/BugliesiCEM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acg/MaggioreSOCBA11,
author = {Giuseppe Maggiore and
Alvise Span{\`{o}} and
Renzo Orsini and
Giulia Costantini and
Michele Bugliesi and
Mohamed Abbadi},
editor = {H. Jaap van den Herik and
Aske Plaat},
title = {Designing Casanova: {A} Language for Games},
booktitle = {Advances in Computer Games - 13th International Conference, {ACG}
2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7168},
pages = {320--332},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31866-5\_27},
doi = {10.1007/978-3-642-31866-5\_27},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acg/MaggioreSOCBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BugliesiCEM11,
author = {Michele Bugliesi and
Stefano Calzavara and
Fabienne Eigner and
Matteo Maffei},
title = {Resource-Aware Authorization Policies for Statically Typed Cryptographic
Protocols},
booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium,
{CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011},
pages = {83--98},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSF.2011.13},
doi = {10.1109/CSF.2011.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BugliesiCEM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SpanoBC11,
author = {Alvise Span{\`{o}} and
Michele Bugliesi and
Agostino Cortesi},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Boris Shishkov and
Jos{\'{e}} Cordeiro},
title = {Type-flow Analysis for Legacy {COBOL} Code},
booktitle = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
2011},
pages = {64--75},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 18:25:28 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/SpanoBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SpanoBC11a,
author = {Alvise Span{\`{o}} and
Michele Bugliesi and
Agostino Cortesi},
editor = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
Jos{\'{e}} Cordeiro and
Boris Shishkov},
title = {Typing Legacy {COBOL} Code},
booktitle = {Software and Data Technologies - 6th International Conference, {ICSOFT}
2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {303},
pages = {151--165},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-36177-7\_10},
doi = {10.1007/978-3-642-36177-7\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/SpanoBC11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BugliesiF10,
author = {Michele Bugliesi and
Riccardo Focardi},
title = {Channel abstractions for network security},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {1},
pages = {3--44},
year = {2010},
url = {https://doi.org/10.1017/S0960129509990247},
doi = {10.1017/S0960129509990247},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BugliesiF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BugliesiCM10,
author = {Michele Bugliesi and
Stefano Calzavara and
Damiano Macedonio},
editor = {Alessandro Armando and
Gavin Lowe},
title = {Secrecy and Authenticity Types for Secure Distributed Messaging},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6186},
pages = {23--40},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16074-5\_3},
doi = {10.1007/978-3-642-16074-5\_3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/BugliesiCM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BugliesiM10,
author = {Michele Bugliesi and
Paolo Modesti},
editor = {Alessandro Armando and
Gavin Lowe},
title = {AnBx - Security Protocols Design and Verification},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {6186},
pages = {164--184},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16074-5\_12},
doi = {10.1007/978-3-642-16074-5\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/BugliesiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BugliesiCCM09,
author = {Michele Bugliesi and
Dario Colazzo and
Silvia Crafa and
Damiano Macedonio},
title = {A type system for Discretionary Access Control},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {4},
pages = {839--875},
year = {2009},
url = {https://doi.org/10.1017/S0960129509007762},
doi = {10.1017/S0960129509007762},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BugliesiCCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BugliesiMPR09,
author = {Michele Bugliesi and
Damiano Macedonio and
Luca Pino and
Sabina Rossi},
editor = {Cosimo Laneve and
Jianwen Su},
title = {Compliance Preorders for Web Services},
booktitle = {Web Services and Formal Methods, 6th International Workshop, {WS-FM}
2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6194},
pages = {76--91},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14458-5\_5},
doi = {10.1007/978-3-642-14458-5\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BugliesiMPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BugliesiF08,
author = {Michele Bugliesi and
Riccardo Focardi},
title = {Language Based Secure Communication},
booktitle = {Proceedings of the 21st {IEEE} Computer Security Foundations Symposium,
{CSF} 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008},
pages = {3--16},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSF.2008.17},
doi = {10.1109/CSF.2008.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BugliesiF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/BernardiBMR08,
author = {Giovanni Bernardi and
Michele Bugliesi and
Damiano Macedonio and
Sabina Rossi},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {A Theory of Adaptable Contract-Based Service Composition},
booktitle = {{SYNASC} 2008, 10th International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September
2008},
pages = {327--334},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SYNASC.2008.38},
doi = {10.1109/SYNASC.2008.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/BernardiBMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BugliesiF09,
author = {Michele Bugliesi and
Riccardo Focardi},
editor = {Thomas T. Hildebrandt and
Daniele Gorla},
title = {Security Abstractions and Intruder Models (Extended Abstract)},
booktitle = {Proceedings of the 15th Workshop on Expressiveness in Concurrency,
{EXPRESS} 2008, Toronto, ON, Canada, August 23, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {242},
number = {1},
pages = {99--112},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.015},
doi = {10.1016/J.ENTCS.2009.06.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BugliesiF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BugliesiFM07,
author = {Michele Bugliesi and
Riccardo Focardi and
Matteo Maffei},
title = {Dynamic types for authentication},
journal = {J. Comput. Secur.},
volume = {15},
number = {6},
pages = {563--617},
year = {2007},
url = {https://doi.org/10.3233/jcs-2007-15602},
doi = {10.3233/JCS-2007-15602},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BugliesiFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarbaneraBDS07,
author = {Franco Barbanera and
Michele Bugliesi and
Mariangiola Dezani{-}Ciancaglini and
Vladimiro Sassone},
title = {Space-aware ambients and processes},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {1-2},
pages = {41--69},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.11.017},
doi = {10.1016/J.TCS.2006.11.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarbaneraBDS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BugliesiMR07,
author = {Michele Bugliesi and
Damiano Macedonio and
Sabina Rossi},
editor = {Iliano Cervesato},
title = {Static vs Dynamic Typing for Access Control in Pi-Calculus},
booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
Security, 12th Asian Computing Science Conference, Doha, Qatar, December
9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4846},
pages = {282--296},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76929-3\_27},
doi = {10.1007/978-3-540-76929-3\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/BugliesiMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BugliesiG07,
author = {Michele Bugliesi and
Marco Giunti},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Secure implementations of typed channel abstractions},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {251--262},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190253},
doi = {10.1145/1190216.1190253},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BugliesiG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006-1,
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4051},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11786986},
doi = {10.1007/11786986},
isbn = {3-540-35904-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2006-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2006-2,
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006},
doi = {10.1007/11787006},
isbn = {3-540-35907-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2006-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BugliesiCMS05,
author = {Michele Bugliesi and
Silvia Crafa and
Massimo Merro and
Vladimiro Sassone},
title = {Communication and mobility control in boxed ambients},
journal = {Inf. Comput.},
volume = {202},
number = {1},
pages = {39--86},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2005.06.002},
doi = {10.1016/J.IC.2005.06.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BugliesiCMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BugliesiR05,
author = {Michele Bugliesi and
Sabina Rossi},
title = {Non-interference proof techniques for the analysis of cryptographic
protocols},
journal = {J. Comput. Secur.},
volume = {13},
number = {1},
pages = {87--113},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13104},
doi = {10.3233/JCS-2005-13104},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BugliesiR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BugliesiFM05,
author = {Michele Bugliesi and
Riccardo Focardi and
Matteo Maffei},
title = {Analysis of Typed Analyses of Authentication Protocols},
booktitle = {18th {IEEE} Computer Security Foundations Workshop, {(CSFW-18} 2005),
20-22 June 2005, Aix-en-Provence, France},
pages = {112--125},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSFW.2005.8},
doi = {10.1109/CSFW.2005.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BugliesiFM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BugliesiG05,
author = {Michele Bugliesi and
Marco Giunti},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {Typed Processes in Untyped Contexts},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {19--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_3},
doi = {10.1007/11580850\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BugliesiG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wood/2004,
editor = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
title = {Proceedings of the Second Workshop on Object Oriented Developments,
{WOOD} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/138/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wood/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BugliesiCC04,
author = {Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa},
title = {Access control for mobile agents: The calculus of boxed ambients},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {26},
number = {1},
pages = {57--124},
year = {2004},
url = {https://doi.org/10.1145/963778.963781},
doi = {10.1145/963778.963781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BugliesiCC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BugliesiFM04,
author = {Michele Bugliesi and
Riccardo Focardi and
Matteo Maffei},
editor = {Vijayalakshmi Atluri and
Michael Backes and
David A. Basin and
Michael Waidner},
title = {Authenticity by tagging and typing},
booktitle = {Proceedings of the 2004 {ACM} Workshop on Formal Methods in Security
Engineering, {FMSE} 2004, Washington, DC, USA, October 29, 2004},
pages = {1--12},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029133.1029135},
doi = {10.1145/1029133.1029135},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BugliesiFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BugliesiCC04,
author = {Michele Bugliesi and
Dario Colazzo and
Silvia Crafa},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Type Based Discretionary Access Control},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {225--239},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_15},
doi = {10.1007/978-3-540-28644-8\_15},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/BugliesiCC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BugliesiFM04,
author = {Michele Bugliesi and
Riccardo Focardi and
Matteo Maffei},
editor = {David A. Schmidt},
title = {Compositional Analysis of Authentication Protocols},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {140--154},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_11},
doi = {10.1007/978-3-540-24725-8\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BugliesiFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonoBD05,
author = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
editor = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
title = {Preface},
booktitle = {Proceedings of the Second Workshop on Object Oriented Developments,
{WOOD} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.008},
doi = {10.1016/J.ENTCS.2005.09.008},
timestamp = {Tue, 13 Dec 2022 09:16:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonoBD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BarbaneraBDS03,
author = {Franco Barbanera and
Michele Bugliesi and
Mariangiola Dezani{-}Ciancaglini and
Vladimiro Sassone},
editor = {Vijay A. Saraswat},
title = {A Calculus of Bounded Capacities},
booktitle = {Advances in Computing Science - {ASIAN} 2003 Programming Languages
and Distributed Computation, 8th Asian Computing Science Conference,
Mumbai, India, December 10-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2896},
pages = {205--223},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40965-6\_14},
doi = {10.1007/978-3-540-40965-6\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/BarbaneraBDS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BugliesiFM03,
author = {Michele Bugliesi and
Riccardo Focardi and
Matteo Maffei},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {Principles for Entity Authentication},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {294--306},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_29},
doi = {10.1007/978-3-540-39866-0\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BugliesiFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BugliesiCR03,
author = {Michele Bugliesi and
Ambra Ceccato and
Sabina Rossi},
editor = {Andrzej Lingas and
Bengt J. Nilsson},
title = {Context-Sensitive Equivalences for Non-interference Based Protocol
Analysis},
booktitle = {Fundamentals of Computation Theory, 14th International Symposium,
{FCT} 2003, Malm{\"{o}}, Sweden, August 12-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2751},
pages = {364--375},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45077-1\_34},
doi = {10.1007/978-3-540-45077-1\_34},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BugliesiCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BugliesiCPS03,
author = {Michele Bugliesi and
Silvia Crafa and
Amela Prelic and
Vladimiro Sassone},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Secrecy in Untrusted Networks},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {969--983},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_75},
doi = {10.1007/3-540-45061-0\_75},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BugliesiCPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonoB03,
author = {Viviana Bono and
Michele Bugliesi},
editor = {Viviana Bono and
Michele Bugliesi},
title = {First Workshop on Object Oriented Developments - Preface},
booktitle = {Workshop on Object Oriented Developments, {WOOD} 2003, Satellite Event
of {ETAPS} 2003, Warsaw, Poland, April 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {8},
pages = {151--152},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80806-0},
doi = {10.1016/S1571-0661(05)80806-0},
timestamp = {Thu, 08 Dec 2022 11:28:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonoB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wood/2003,
editor = {Viviana Bono and
Michele Bugliesi},
title = {Workshop on Object Oriented Developments, {WOOD} 2003, Satellite Event
of {ETAPS} 2003, Warsaw, Poland, April 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {8},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/82/issue/8},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wood/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BugliesiC02,
author = {Michele Bugliesi and
Giuseppe Castagna},
title = {Behavioural typing for safe ambients},
journal = {Comput. Lang. Syst. Struct.},
volume = {28},
number = {1},
pages = {61--99},
year = {2002},
url = {https://doi.org/10.1016/S0096-0551(02)00008-5},
doi = {10.1016/S0096-0551(02)00008-5},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BugliesiC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BugliesiP02,
author = {Michele Bugliesi and
Santiago M. Peric{\'{a}}s{-}Geertsen},
title = {Type Inference for Variant Object Types},
journal = {Inf. Comput.},
volume = {177},
number = {1},
pages = {2--27},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3091},
doi = {10.1006/INCO.2002.3091},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BugliesiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BonoBC02,
author = {Viviana Bono and
Michele Bugliesi and
Silvia Crafa},
title = {Typed interpretations of extensible objects},
journal = {{ACM} Trans. Comput. Log.},
volume = {3},
number = {4},
pages = {562--603},
year = {2002},
url = {https://doi.org/10.1145/566385.566389},
doi = {10.1145/566385.566389},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BonoBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BugliesiCCFS02,
author = {Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa and
Riccardo Focardi and
Vladimiro Sassone},
editor = {Riccardo Focardi and
Roberto Gorrieri},
title = {A Survey of Name-Passing Calculi and Crypto-Primitives},
booktitle = {Foundations of Security Analysis and Design II, {FOSAD} 2001/2002
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {2946},
pages = {91--138},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24631-2\_3},
doi = {10.1007/978-3-540-24631-2\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/fosad/BugliesiCCFS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BugliesiCMS02,
author = {Michele Bugliesi and
Silvia Crafa and
Massimo Merro and
Vladimiro Sassone},
editor = {Manindra Agrawal and
Anil Seth},
title = {Communication Interference in Mobile Boxed Ambients},
booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2556},
pages = {71--84},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36206-1\_8},
doi = {10.1007/3-540-36206-1\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BugliesiCMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CrafaBC02,
author = {Silvia Crafa and
Michele Bugliesi and
Giuseppe Castagna},
editor = {Vladimiro Sassone},
title = {Information Flow Security for Boxed Ambients},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {76--97},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80417-1},
doi = {10.1016/S1571-0661(04)80417-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CrafaBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BugliesiCC01,
author = {Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa},
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {Reasoning about Security in Mobile Ambients},
booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2154},
pages = {102--120},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44685-0\_8},
doi = {10.1007/3-540-44685-0\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BugliesiCC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BugliesiCC01,
author = {Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa},
editor = {Antonio Restivo and
Simona Ronchi Della Rocca and
Luca Roversi},
title = {Subtyping and Matching for Mobile Objects},
booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
Torino, Italy, October 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2202},
pages = {235--255},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45446-2\_15},
doi = {10.1007/3-540-45446-2\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BugliesiCC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BugliesiC01,
author = {Michele Bugliesi and
Giuseppe Castagna},
editor = {Chris Hankin and
Dave Schmidt},
title = {Secure safe ambients},
booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, London, UK, January
17-19, 2001},
pages = {222--235},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360204.360223},
doi = {10.1145/360204.360223},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/BugliesiC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/BugliesiCC01,
author = {Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa},
editor = {Naoki Kobayashi and
Benjamin C. Pierce},
title = {Boxed Ambients},
booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium,
{TACS} 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2215},
pages = {38--63},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45500-0\_2},
doi = {10.1007/3-540-45500-0\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/BugliesiCC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastagnaBC01,
author = {Giuseppe Castagna and
Michele Bugliesi and
Silvia Crafa},
editor = {Marina Lenisa and
Marino Miculan},
title = {An overview of Boxed Ambients},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {1--6},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00315-9},
doi = {10.1016/S1571-0661(04)00315-9},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastagnaBC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BugliesiDLM00,
author = {Michele Bugliesi and
Giorgio Delzanno and
Luigi Liquori and
Maurizio Martelli},
title = {Object calculi in linear logic},
journal = {J. Log. Comput.},
volume = {10},
number = {1},
pages = {75--104},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.1.75},
doi = {10.1093/LOGCOM/10.1.75},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BugliesiDLM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BugliesiCC00,
author = {Michele Bugliesi and
Giuseppe Castagna and
Silvia Crafa},
editor = {Catuscia Palamidessi},
title = {Typed Mobile Objects},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {504--520},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_36},
doi = {10.1007/3-540-44618-4\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BugliesiCC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BonoBDL99,
author = {Viviana Bono and
Michele Bugliesi and
Mariangiola Dezani{-}Ciancaglini and
Luigi Liquori},
title = {A Subtyping for Extensible, Incomplete Objects},
journal = {Fundam. Informaticae},
volume = {38},
number = {4},
pages = {325--364},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-38401},
doi = {10.3233/FI-1999-38401},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BonoBDL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonoB99,
author = {Viviana Bono and
Michele Bugliesi},
title = {Matching for the lambda Calculus of Objects},
journal = {Theor. Comput. Sci.},
volume = {212},
number = {1-2},
pages = {101--140},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00137-6},
doi = {10.1016/S0304-3975(98)00137-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonoB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BonoB99,
author = {Viviana Bono and
Michele Bugliesi},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {Interpretations of Extensible Objects and Types},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {112--123},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_8},
doi = {10.1007/3-540-48321-7\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BonoB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BugliesiCLM98,
author = {Michele Bugliesi and
Anna Ciampolini and
Evelina Lamma and
Paola Mello},
title = {Optimizing Modular Logic Languages},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {10},
year = {1998},
url = {https://doi.org/10.1145/289121.289131},
doi = {10.1145/289121.289131},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BugliesiCLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BonoBDL97,
author = {Viviana Bono and
Michele Bugliesi and
Mariangiola Dezani{-}Ciancaglini and
Luigi Liquori},
editor = {Michel Bidoit and
Max Dauchet},
title = {Subtyping Constraints for Incomplete Objects (Extended Abstract)},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {465--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030619},
doi = {10.1007/BFB0030619},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BonoBDL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BonoB97,
author = {Viviana Bono and
Michele Bugliesi},
editor = {Philippe de Groote},
title = {Matching Constraints for the Lambda Calculus of Objects},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {46--62},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_28},
doi = {10.1007/3-540-62688-3\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/BonoB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BossiBGLM96,
author = {Annalisa Bossi and
Michele Bugliesi and
Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
title = {Differential Logic Programs: Programming Methodologies and Semantics},
journal = {Sci. Comput. Program.},
volume = {27},
number = {3},
pages = {217--262},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(96)00013-5},
doi = {10.1016/0167-6423(96)00013-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BossiBGLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BugliesiDML96,
author = {Michele Bugliesi and
Giorgio Delzanno and
Luigi Liquori and
Maurizio Martelli},
editor = {Michael J. Maher},
title = {A Linear Logic Calculus Objects},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {67--81},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278881},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BugliesiDML96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BonoBL96,
author = {Viviana Bono and
Michele Bugliesi and
Luigi Liquori},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {A Lambda Calculus of Incomplete Objects},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {218--229},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_150},
doi = {10.1007/3-540-61550-4\_150},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BonoBL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BugliesiJ95,
author = {Michele Bugliesi and
Hasan M. Jamil},
editor = {Georg Gottlob and
Moshe Y. Vardi},
title = {A Stable Model Semantics for Behavioral Inheritance in Deductive Object
Oriented Languages},
booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague, Czech
Republic, January 11-13, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {893},
pages = {222--237},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58907-4\_18},
doi = {10.1007/3-540-58907-4\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/BugliesiJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BugliesiLM94,
author = {Michele Bugliesi and
Evelina Lamma and
Paola Mello},
title = {Modularity in Logic Programming},
journal = {J. Log. Program.},
volume = {19/20},
pages = {443--502},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90032-9},
doi = {10.1016/0743-1066(94)90032-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BugliesiLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BugliesiJ94,
author = {Michele Bugliesi and
Hasan M. Jamil},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {A Logic for Encapsulation in Object-Oriented Languages},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 2},
pages = {161--175},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:41 +0100},
biburl = {https://dblp.org/rec/conf/agp/BugliesiJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BugliesiJ94,
author = {Michele Bugliesi and
Hasan M. Jamil},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {A Logic for Encapsulation in Object Oriented Languages},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {215--229},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_16},
doi = {10.1007/3-540-58402-1\_16},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BugliesiJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BugliesiLM93,
author = {Michele Bugliesi and
Evelina Lamma and
Paola Mello},
title = {Partial Deduction for Structured Logic Programming},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {89--122},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90024-B},
doi = {10.1016/0743-1066(93)90024-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BugliesiLM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BossiBF93,
author = {Annalisa Bossi and
Michele Bugliesi and
Massimo Fabris},
editor = {Domenico Sacc{\`{a}}},
title = {A New Fixpoint Semantics for Prolog},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {617--632},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/BossiBF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BugliesiN93,
author = {Michele Bugliesi and
Giuseppe Nardiello},
editor = {Evan Tick and
Giancarlo Succi},
title = {SelfLog: Language and Implementation},
booktitle = {Implementations of Logic Programming Systems: Papers from the {ICLP}
1993 Workshops: Practical Implementations and Systems Experience in
Logic Programming Systems - Concurrent, Distributed, and Parallel
Implementations of Logic Programming Systems},
pages = {1--15},
publisher = {Kluwer Academic Publishers, Boston},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BugliesiN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BossiBF93,
author = {Annalisa Bossi and
Michele Bugliesi and
Massimo Fabris},
editor = {David Scott Warren},
title = {A New Fixpoint Semantics for Prolog},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {374--389},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BossiBF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BugliesiN93,
author = {Michele Bugliesi and
Giuseppe Nardiello},
editor = {Maurice Bruynooghe and
Jaan Penjam},
title = {SelfLog: Language and Implementation},
booktitle = {Programming Language Implementation and Logic Programming, 5th International
Symposium, PLILP'93, Tallinn, Estonia, August 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {714},
pages = {412--413},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57186-8\_95},
doi = {10.1007/3-540-57186-8\_95},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BugliesiN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BossiB93,
author = {Annalisa Bossi and
Michele Bugliesi and
Maurizio Gabbrielli and
Giorgio Levi and
Maria Chiara Meo},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Differential Logic Programming},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {359--370},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158689},
doi = {10.1145/158511.158689},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BossiB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Bugliesi92,
author = {Michele Bugliesi},
editor = {Evelina Lamma and
Paola Mello},
title = {On the Semantics of Inheritance in Logic Programming: Compositionality
and Full Abstraction},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
pages = {205--215},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56454-3\_11},
doi = {10.1007/3-540-56454-3\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/Bugliesi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bugliesi92,
author = {Michele Bugliesi},
editor = {Krzysztof R. Apt},
title = {A Declarative View of Inheritance in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {113--127},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Bugliesi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BelliaBO90,
author = {Marco Bellia and
Michele Bugliesi and
M. Eugenia Occhiuto},
editor = {Andr{\'{e}} Arnold},
title = {Combinatory Forms for Equational Programming: Instances, Unification
and Narrowing},
booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
Denmark, May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {431},
pages = {42--56},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52590-4\_39},
doi = {10.1007/3-540-52590-4\_39},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BelliaBO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BugliesiLM90,
author = {Michele Bugliesi and
Evelina Lamma and
Paola Mello},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Partial Evaluation for Hierarchies of Logic Theories},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {359--376},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BugliesiLM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BugliesiR89,
author = {Michele Bugliesi and
F. Russo},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Partial Evaluation in Prolog: Some Improvements about Cut},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {645--660},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BugliesiR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-25 20:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
