Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Massimo Bartoletti
@article{DBLP:journals/corr/abs-2402-06064,
author = {Daniele Pusceddu and
Massimo Bartoletti},
title = {Formalizing Automated Market Makers in the Lean 4 Theorem Prover},
journal = {CoRR},
volume = {abs/2402.06064},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.06064},
doi = {10.48550/ARXIV.2402.06064},
eprinttype = {arXiv},
eprint = {2402.06064},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-06064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10750,
author = {Massimo Bartoletti and
Fabio Fioravanti and
Giulia Matricardi and
Roberto Pettinau and
Franco Sainas},
title = {Towards benchmarking of Solidity verification tools},
journal = {CoRR},
volume = {abs/2402.10750},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10750},
doi = {10.48550/ARXIV.2402.10750},
eprinttype = {arXiv},
eprint = {2402.10750},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiMZ23,
author = {Massimo Bartoletti and
Maurizio Murgia and
Roberto Zunino},
title = {Sound approximate and asymptotic probabilistic bisimulations for {PCTL}},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:22)2023},
doi = {10.46298/LMCS-19(1:22)2023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-02154,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {A theoretical basis for Blockchain Extractable Value},
journal = {CoRR},
volume = {abs/2302.02154},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.02154},
doi = {10.48550/ARXIV.2302.02154},
eprinttype = {arXiv},
eprint = {2302.02154},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-02154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-09545,
author = {Massimo Bartoletti and
Riccardo Marchesin and
Roberto Zunino},
title = {Secure compilation of rich smart contracts on poor {UTXO} blockchains},
journal = {CoRR},
volume = {abs/2305.09545},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.09545},
doi = {10.48550/ARXIV.2305.09545},
eprinttype = {arXiv},
eprint = {2305.09545},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-09545.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-10781,
author = {Massimo Bartoletti and
Riccardo Marchesin and
Roberto Zunino},
title = {DeFi composability as {MEV} non-interference},
journal = {CoRR},
volume = {abs/2309.10781},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.10781},
doi = {10.48550/ARXIV.2309.10781},
eprinttype = {arXiv},
eprint = {2309.10781},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-10781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiLMZ22,
author = {Massimo Bartoletti and
Stefano Lande and
Maurizio Murgia and
Roberto Zunino},
title = {Verifying liquidity of recursive Bitcoin contracts},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:22)2022},
doi = {10.46298/LMCS-18(1:22)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiLMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiCL22,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {A theory of Automated Market Makers in DeFi},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:12)2022},
doi = {10.46298/LMCS-18(4:12)2022},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Bartoletti22,
author = {Massimo Bartoletti},
editor = {Zaynah Dargaye and
Clara Schneidewind},
title = {MEV-Freedom, in DeFi and Beyond (Invited Talk)},
booktitle = {4th International Workshop on Formal Methods for Blockchains, FMBC@CAV
2022, August 11, 2022, Haifa, Israel},
series = {OASIcs},
volume = {105},
pages = {1:1--1:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.FMBC.2022.1},
doi = {10.4230/OASICS.FMBC.2022.1},
timestamp = {Fri, 07 Oct 2022 14:20:23 +0200},
biburl = {https://dblp.org/rec/conf/cav/Bartoletti22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BartolettiMZ22,
author = {Massimo Bartoletti and
Maurizio Murgia and
Roberto Zunino},
editor = {Maurice H. ter Beek and
Marjan Sirjani},
title = {A Sound Up-to-n, {\(\delta\)} Bisimilarity for {PCTL}},
booktitle = {Coordination Models and Languages - 24th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2022, Held as Part of the 17th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2022, Lucca, Italy, June 13-17, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13271},
pages = {35--52},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08143-9\_3},
doi = {10.1007/978-3-031-08143-9\_3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiCL22,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Ittay Eyal and
Juan A. Garay},
title = {Maximizing Extractable Value from Automated Market Makers},
booktitle = {Financial Cryptography and Data Security - 26th International Conference,
{FC} 2022, Grenada, May 2-6, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13411},
pages = {3--19},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-18283-9\_1},
doi = {10.1007/978-3-031-18283-9\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartolettiCJLMV22,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Tommi Junttila and
Alberto Lluch{-}Lafuente and
Massimiliano Mirelli and
Andrea Vandin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Analysis of Lending Pools in Decentralized Finance},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {335--355},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_21},
doi = {10.1007/978-3-031-19759-8\_21},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BartolettiCJLMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-01333,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Tommi Junttila and
Alberto Lluch{-}Lafuente and
Massimiliano Mirelli and
Andrea Vandin},
title = {Formal Analysis of Lending Pools in Decentralized Finance},
journal = {CoRR},
volume = {abs/2206.01333},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.01333},
doi = {10.48550/ARXIV.2206.01333},
eprinttype = {arXiv},
eprint = {2206.01333},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-01333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BartolettiLLPS21,
author = {Massimo Bartoletti and
Stefano Lande and
Andrea Loddo and
Livio Pompianu and
Sergio Serusi},
title = {Cryptocurrency Scams: Analysis and Perspectives},
journal = {{IEEE} Access},
volume = {9},
pages = {148353--148373},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3123894},
doi = {10.1109/ACCESS.2021.3123894},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/BartolettiLLPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiGM21,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A theory of transaction parallelism in blockchains},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:10)2021},
doi = {10.46298/LMCS-17(4:10)2021},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BartolettiCL21,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Ferruccio Damiani and
Ornela Dardha},
title = {A Theory of Automated Market Makers in DeFi},
booktitle = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2021, Held as Part of the 16th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2021, Valletta, Malta, June 14-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12717},
pages = {168--187},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78142-2\_11},
doi = {10.1007/978-3-030-78142-2\_11},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartolettiLZ21,
author = {Massimo Bartoletti and
Stefano Lande and
Roberto Zunino},
title = {Computationally sound Bitcoin tokens},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--15},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00022},
doi = {10.1109/CSF51468.2021.00022},
timestamp = {Fri, 13 Aug 2021 09:20:41 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BartolettiLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiBLSZ21,
author = {Massimo Bartoletti and
Andrea Bracciali and
Cristian Lepore and
Alceste Scalas and
Roberto Zunino},
editor = {Nikita Borisov and
Claudia D{\'{\i}}az},
title = {A Formal Model of Algorand Smart Contracts},
booktitle = {Financial Cryptography and Data Security - 25th International Conference,
{FC} 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12674},
pages = {93--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-64322-8\_5},
doi = {10.1007/978-3-662-64322-8\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiBLSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiCL21,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Matthew Bernhard and
Andrea Bracciali and
Lewis Gudgeon and
Thomas Haines and
Ariah Klages{-}Mundt and
Shin'ichiro Matsuo and
Daniel Perez and
Massimiliano Sala and
Sam Werner},
title = {Towards a Theory of Decentralized Finance},
booktitle = {Financial Cryptography and Data Security. {FC} 2021 International
Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March
5, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12676},
pages = {227--232},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63958-0\_20},
doi = {10.1007/978-3-662-63958-0\_20},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiCL21a,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
editor = {Matthew Bernhard and
Andrea Bracciali and
Lewis Gudgeon and
Thomas Haines and
Ariah Klages{-}Mundt and
Shin'ichiro Matsuo and
Daniel Perez and
Massimiliano Sala and
Sam Werner},
title = {SoK: Lending Pools in Decentralized Finance},
booktitle = {Financial Cryptography and Data Security. {FC} 2021 International
Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March
5, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12676},
pages = {553--578},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63958-0\_40},
doi = {10.1007/978-3-662-63958-0\_40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiCL21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11350,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {A theory of Automated Market Makers in DeFi},
journal = {CoRR},
volume = {abs/2102.11350},
year = {2021},
url = {https://arxiv.org/abs/2102.11350},
eprinttype = {arXiv},
eprint = {2102.11350},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01870,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {Maximizing Extractable Value from Automated Market Makers},
journal = {CoRR},
volume = {abs/2106.01870},
year = {2021},
url = {https://arxiv.org/abs/2106.01870},
eprinttype = {arXiv},
eprint = {2106.01870},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-03117,
author = {Massimo Bartoletti and
Maurizio Murgia and
Roberto Zunino},
title = {A Sound Up-to-{\textdollar}n{\textdollar}, {\textdollar}{\(\delta\)}{\textdollar}
Bisimilarity for {PCTL}},
journal = {CoRR},
volume = {abs/2111.03117},
year = {2021},
url = {https://arxiv.org/abs/2111.03117},
eprinttype = {arXiv},
eprint = {2111.03117},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-03117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fbloc/Bartoletti20,
author = {Massimo Bartoletti},
title = {Smart Contracts Contracts},
journal = {Frontiers Blockchain},
volume = {3},
pages = {27},
year = {2020},
url = {https://doi.org/10.3389/fbloc.2020.00027},
doi = {10.3389/FBLOC.2020.00027},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fbloc/Bartoletti20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BartolettiCCS20,
author = {Massimo Bartoletti and
Salvatore Carta and
Tiziana Cimoli and
Roberto Saia},
title = {Dissecting Ponzi schemes on Ethereum: Identification, analysis, and
impact},
journal = {Future Gener. Comput. Syst.},
volume = {102},
pages = {259--277},
year = {2020},
url = {https://doi.org/10.1016/j.future.2019.08.014},
doi = {10.1016/J.FUTURE.2019.08.014},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BartolettiCCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BartolettiGM20,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
editor = {Simon Bliudze and
Laura Bocchi},
title = {A True Concurrent Model of Smart Contracts Executions},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {243--260},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_16},
doi = {10.1007/978-3-030-50029-0\_16},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BartolettiMZ20,
author = {Massimo Bartoletti and
Maurizio Murgia and
Roberto Zunino},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Renegotiation and Recursion in Bitcoin Contracts},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {261--278},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_17},
doi = {10.1007/978-3-030-50029-0\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartolettiLZ20,
author = {Massimo Bartoletti and
Stefano Lande and
Roberto Zunino},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Bitcoin Covenants Unchained},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Applications - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12478},
pages = {25--42},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61467-6\_3},
doi = {10.1007/978-3-030-61467-6\_3},
timestamp = {Wed, 28 Oct 2020 11:47:58 +0100},
biburl = {https://dblp.org/rec/conf/isola/BartolettiLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00296,
author = {Massimo Bartoletti and
Maurizio Murgia and
Roberto Zunino},
title = {Renegotiation and recursion in Bitcoin contracts},
journal = {CoRR},
volume = {abs/2003.00296},
year = {2020},
url = {https://arxiv.org/abs/2003.00296},
eprinttype = {arXiv},
eprint = {2003.00296},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00296.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03918,
author = {Massimo Bartoletti and
Stefano Lande and
Roberto Zunino},
title = {Bitcoin covenants unchained},
journal = {CoRR},
volume = {abs/2006.03918},
year = {2020},
url = {https://arxiv.org/abs/2006.03918},
eprinttype = {arXiv},
eprint = {2006.03918},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-03918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12140,
author = {Massimo Bartoletti and
Andrea Bracciali and
Cristian Lepore and
Alceste Scalas and
Roberto Zunino},
title = {A formal model of Algorand smart contracts},
journal = {CoRR},
volume = {abs/2009.12140},
year = {2020},
url = {https://arxiv.org/abs/2009.12140},
eprinttype = {arXiv},
eprint = {2009.12140},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12140.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01347,
author = {Massimo Bartoletti and
Stefano Lande and
Roberto Zunino},
title = {Computationally sound Bitcoin tokens},
journal = {CoRR},
volume = {abs/2010.01347},
year = {2020},
url = {https://arxiv.org/abs/2010.01347},
eprinttype = {arXiv},
eprint = {2010.01347},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-13837,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A theory of transaction parallelism in blockchains},
journal = {CoRR},
volume = {abs/2011.13837},
year = {2020},
url = {https://arxiv.org/abs/2011.13837},
eprinttype = {arXiv},
eprint = {2011.13837},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-13837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-14165,
author = {Massimo Bartoletti and
Stefano Lande and
Maurizio Murgia and
Roberto Zunino},
title = {Verification of recursive Bitcoin contracts},
journal = {CoRR},
volume = {abs/2011.14165},
year = {2020},
url = {https://arxiv.org/abs/2011.14165},
eprinttype = {arXiv},
eprint = {2011.14165},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-14165.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13230,
author = {Massimo Bartoletti and
James Hsin{-}yu Chiang and
Alberto Lluch{-}Lafuente},
title = {SoK: Lending Pools in Decentralized Finance},
journal = {CoRR},
volume = {abs/2012.13230},
year = {2020},
url = {https://arxiv.org/abs/2012.13230},
eprinttype = {arXiv},
eprint = {2012.13230},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fbloc/BartolettiZ19,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {Formal Models of Bitcoin Contracts: {A} Survey},
journal = {Frontiers Blockchain},
volume = {2},
pages = {8},
year = {2019},
url = {https://doi.org/10.3389/fbloc.2019.00008},
doi = {10.3389/FBLOC.2019.00008},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fbloc/BartolettiZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/BartolettiBP19,
author = {Massimo Bartoletti and
Bryn Bellomy and
Livio Pompianu},
title = {A Journey into Bitcoin Metadata},
journal = {J. Grid Comput.},
volume = {17},
number = {1},
pages = {3--22},
year = {2019},
url = {https://doi.org/10.1007/s10723-019-09473-3},
doi = {10.1007/S10723-019-09473-3},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/grid/BartolettiBP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BartolettiBHK19,
author = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Preface for the special issue on Interaction and Concurrency Experience
2017},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.100488},
doi = {10.1016/J.JLAMP.2019.100488},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/BartolettiBHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/BartolettiGM19,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
editor = {Cristina P{\'{e}}rez{-}Sol{\`{a}} and
Guillermo Navarro{-}Arribas and
Alex Biryukov and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {A Minimal Core Calculus for Solidity Contracts},
booktitle = {Data Privacy Management, Cryptocurrencies and Blockchain Technology
- {ESORICS} 2019 International Workshops, {DPM} 2019 and {CBT} 2019,
Luxembourg, September 26-27, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11737},
pages = {233--243},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31500-9\_15},
doi = {10.1007/978-3-030-31500-9\_15},
timestamp = {Mon, 05 Feb 2024 20:29:40 +0100},
biburl = {https://dblp.org/rec/conf/esorics/BartolettiGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BartolettiZ19,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Flemming Nielson and
David Sands},
title = {Verifying Liquidity of Bitcoin Contracts},
booktitle = {Principles of Security and Trust - 8th International Conference, {POST}
2019, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11426},
pages = {222--247},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17138-4\_10},
doi = {10.1007/978-3-030-17138-4\_10},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/BartolettiZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AtzeiBLYZ19,
author = {Nicola Atzei and
Massimo Bartoletti and
Stefano Lande and
Nobuko Yoshida and
Roberto Zunino},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Developing secure bitcoin contracts with BitML},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {1124--1128},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3341173},
doi = {10.1145/3338906.3341173},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/AtzeiBLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cibb/2017,
editor = {Massimo Bartoletti and
Annalisa Barla and
Andrea Bracciali and
Gunnar W. Klau and
Leif E. Peterson and
Alberto Policriti and
Roberto Tagliaferri},
title = {Computational Intelligence Methods for Bioinformatics and Biostatistics
- 14th International Meeting, {CIBB} 2017, Cagliari, Italy, September
7-9, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10834},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14160-8},
doi = {10.1007/978-3-030-14160-8},
isbn = {978-3-030-14159-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cibb/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itasec/2019dlt,
editor = {Paolo Mori and
Massimo Bartoletti and
Stefano Bistarelli},
title = {Proceedings of the Second Distributed Ledger Technology Workshop,
DLT@ITASEC 2019, Pisa, Italy, February 12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2334},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2334},
urn = {urn:nbn:de:0074-2334-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itasec/2019dlt.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-05242,
editor = {Massimo Bartoletti and
Ludovic Henrio and
Anastasia Mavridou and
Alceste Scalas},
title = {Proceedings 12th Interaction and Concurrency Experience, {ICE} 2019,
Copenhagen, Denmark, 20-21 June 2019},
series = {{EPTCS}},
volume = {304},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.304},
doi = {10.4204/EPTCS.304},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-05242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-04366,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A true concurrent model of smart contracts executions},
journal = {CoRR},
volume = {abs/1905.04366},
year = {2019},
url = {http://arxiv.org/abs/1905.04366},
eprinttype = {arXiv},
eprint = {1905.04366},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-07639,
author = {Nicola Atzei and
Massimo Bartoletti and
Stefano Lande and
Nobuko Yoshida and
Roberto Zunino},
title = {Developing secure Bitcoin contracts with BitML},
journal = {CoRR},
volume = {abs/1905.07639},
year = {2019},
url = {http://arxiv.org/abs/1905.07639},
eprinttype = {arXiv},
eprint = {1905.07639},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-07639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02709,
author = {Massimo Bartoletti and
Letterio Galletta and
Maurizio Murgia},
title = {A minimal core calculus for Solidity contracts},
journal = {CoRR},
volume = {abs/1908.02709},
year = {2019},
url = {http://arxiv.org/abs/1908.02709},
eprinttype = {arXiv},
eprint = {1908.02709},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiHKV18,
author = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Preface for the special issue on Interaction and Concurrency Experience
2016},
journal = {J. Log. Algebraic Methods Program.},
volume = {98},
pages = {26},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.03.005},
doi = {10.1016/J.JLAMP.2018.03.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiHKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BartolettiZ18,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {BitML: {A} Calculus for Bitcoin Smart Contracts},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {83--100},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243795},
doi = {10.1145/3243734.3243795},
timestamp = {Tue, 10 Nov 2020 20:00:51 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BartolettiZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BartolettiBM18,
author = {Massimo Bartoletti and
Laura Bocchi and
Maurizio Murgia},
editor = {Sven Schewe and
Lijun Zhang},
title = {Progress-Preserving Refinements of {CTA}},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {40:1--40:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.40},
doi = {10.4230/LIPICS.CONCUR.2018.40},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BartolettiBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvcbt/BartolettiPS18,
author = {Massimo Bartoletti and
Barbara Pes and
Sergio Serusi},
title = {Data Mining for Detecting Bitcoin Ponzi Schemes},
booktitle = {Crypto Valley Conference on Blockchain Technology, {CVCBT} 2018, Zug,
Switzerland, June 20-22, 2018},
pages = {75--84},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CVCBT.2018.00014},
doi = {10.1109/CVCBT.2018.00014},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cvcbt/BartolettiPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/AtzeiBLZ18,
author = {Nicola Atzei and
Massimo Bartoletti and
Stefano Lande and
Roberto Zunino},
editor = {Sarah Meiklejohn and
Kazue Sako},
title = {A Formal Model of Bitcoin Transactions},
booktitle = {Financial Cryptography and Data Security - 22nd International Conference,
{FC} 2018, Nieuwpoort, Cura{\c{c}}ao, February 26 - March 2, 2018,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10957},
pages = {541--560},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-58387-6\_29},
doi = {10.1007/978-3-662-58387-6\_29},
timestamp = {Fri, 30 Aug 2019 11:17:01 +0200},
biburl = {https://dblp.org/rec/conf/fc/AtzeiBLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/goodtechs/BartolettiCPS18,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Livio Pompianu and
Sergio Serusi},
editor = {Marco Furini and
Silvia Mirri and
Kevin Bouchard and
Barbara Guidi},
title = {Blockchain for social good: a quantitative analysis},
booktitle = {Proceedings of the 4th {EAI} International Conference on Smart Objects
and Technologies for Social Good, {GOODTECHS} 2018, Bologna, Italy,
November 28-30, 2018},
pages = {37--42},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3284869.3284881},
doi = {10.1145/3284869.3284881},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/goodtechs/BartolettiCPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartolettiCZ18,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Roberto Zunino},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fun with Bitcoin Smart Contracts},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {432--449},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_32},
doi = {10.1007/978-3-030-03427-6\_32},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartolettiCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AtzeiBCLZ18,
author = {Nicola Atzei and
Massimo Bartoletti and
Tiziana Cimoli and
Stefano Lande and
Roberto Zunino},
editor = {Lujo Bauer and
Ralf K{\"{u}}sters},
title = {SoK: Unraveling Bitcoin Smart Contracts},
booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
2018, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10804},
pages = {217--242},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89722-6\_9},
doi = {10.1007/978-3-319-89722-6\_9},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/AtzeiBCLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1810-02053,
editor = {Massimo Bartoletti and
Sophia Knight},
title = {Proceedings 11th Interaction and Concurrency Experience, {ICE} 2018,
Madrid, Spain, June 20-21, 2018},
series = {{EPTCS}},
volume = {279},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.279},
doi = {10.4204/EPTCS.279},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-00646,
author = {Massimo Bartoletti and
Barbara Pes and
Sergio Serusi},
title = {Data mining for detecting Bitcoin Ponzi schemes},
journal = {CoRR},
volume = {abs/1803.00646},
year = {2018},
url = {http://arxiv.org/abs/1803.00646},
eprinttype = {arXiv},
eprint = {1803.00646},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03424,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Livio Pompianu and
Sergio Serusi},
title = {Blockchain for social good: a quantitative analysis},
journal = {CoRR},
volume = {abs/1811.03424},
year = {2018},
url = {http://arxiv.org/abs/1811.03424},
eprinttype = {arXiv},
eprint = {1811.03424},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03424.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartolettiZ18,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {BitML: a calculus for Bitcoin smart contracts},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {122},
year = {2018},
url = {http://eprint.iacr.org/2018/122},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartolettiZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AtzeiBCLZ18,
author = {Nicola Atzei and
Massimo Bartoletti and
Tiziana Cimoli and
Stefano Lande and
Roberto Zunino},
title = {SoK: unraveling Bitcoin smart contracts},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {192},
year = {2018},
url = {http://eprint.iacr.org/2018/192},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AtzeiBCLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartolettiCZ18,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Roberto Zunino},
title = {Fun with Bitcoin smart contracts},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {398},
year = {2018},
url = {https://eprint.iacr.org/2018/398},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartolettiCZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartolettiZ18a,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {Verifying liquidity of Bitcoin contracts},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1125},
year = {2018},
url = {https://eprint.iacr.org/2018/1125},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartolettiZ18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiMSZ17,
author = {Massimo Bartoletti and
Maurizio Murgia and
Alceste Scalas and
Roberto Zunino},
title = {Verifiable abstractions for contract-oriented systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {159--207},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2015.10.005},
doi = {10.1016/J.JLAMP.2015.10.005},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiMSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BartolettiCM17,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Maurizio Murgia},
title = {Timed Session Types},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:25)2017},
doi = {10.23638/LMCS-13(4:25)2017},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BartolettiCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiP17,
author = {Massimo Bartoletti and
Livio Pompianu},
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {An Analysis of Bitcoin OP{\_}RETURN Metadata},
booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
pages = {218--230},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0\_14},
doi = {10.1007/978-3-319-70278-0\_14},
timestamp = {Tue, 16 Aug 2022 23:04:23 +0200},
biburl = {https://dblp.org/rec/conf/fc/BartolettiP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiZ17,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {Constant-Deposit Multiparty Lotteries on Bitcoin},
booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
pages = {231--247},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0\_15},
doi = {10.1007/978-3-319-70278-0\_15},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiP17a,
author = {Massimo Bartoletti and
Livio Pompianu},
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {An Empirical Analysis of Smart Contracts: Platforms, Applications,
and Design Patterns},
booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
pages = {494--509},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0\_31},
doi = {10.1007/978-3-319-70278-0\_31},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fc/BartolettiP17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/BartolettiLP17,
author = {Massimo Bartoletti and
Stefano Lande and
Alessandro Sebastian Podda},
editor = {Michael Brenner and
Kurt Rohloff and
Joseph Bonneau and
Andrew Miller and
Peter Y. A. Ryan and
Vanessa Teague and
Andrea Bracciali and
Massimiliano Sala and
Federico Pintore and
Markus Jakobsson},
title = {A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains},
booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
7, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10323},
pages = {568--584},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70278-0\_36},
doi = {10.1007/978-3-319-70278-0\_36},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fc/BartolettiLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/BartolettiLPB17,
author = {Massimo Bartoletti and
Stefano Lande and
Livio Pompianu and
Andrea Bracciali},
title = {A general framework for blockchain analytics},
booktitle = {Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures
for Distributed Ledgers, SERIAL@Middleware 2017, Las Vegas, NV, USA,
December 11-15, 2017},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152824.3152831},
doi = {10.1145/3152824.3152831},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/BartolettiLPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AtzeiBC17,
author = {Nicola Atzei and
Massimo Bartoletti and
Tiziana Cimoli},
editor = {Matteo Maffei and
Mark Ryan},
title = {A Survey of Attacks on Ethereum Smart Contracts (SoK)},
booktitle = {Principles of Security and Trust - 6th International Conference, {POST}
2017, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10204},
pages = {164--186},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54455-6\_8},
doi = {10.1007/978-3-662-54455-6\_8},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/AtzeiBC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1711-10708,
editor = {Massimo Bartoletti and
Laura Bocchi and
Ludovic Henrio and
Sophia Knight},
title = {Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, 21-22nd June 2017},
series = {{EPTCS}},
volume = {261},
year = {2017},
url = {http://arxiv.org/abs/1711.10708},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartolettiP17,
author = {Massimo Bartoletti and
Livio Pompianu},
title = {An analysis of Bitcoin OP{\_}RETURN metadata},
journal = {CoRR},
volume = {abs/1702.01024},
year = {2017},
url = {http://arxiv.org/abs/1702.01024},
eprinttype = {arXiv},
eprint = {1702.01024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartolettiCCS17,
author = {Massimo Bartoletti and
Salvatore Carta and
Tiziana Cimoli and
Roberto Saia},
title = {Dissecting Ponzi schemes on Ethereum: identification, analysis, and
impact},
journal = {CoRR},
volume = {abs/1703.03779},
year = {2017},
url = {http://arxiv.org/abs/1703.03779},
eprinttype = {arXiv},
eprint = {1703.03779},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiCCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartolettiP17a,
author = {Massimo Bartoletti and
Livio Pompianu},
title = {An empirical analysis of smart contracts: platforms, applications,
and design patterns},
journal = {CoRR},
volume = {abs/1703.06322},
year = {2017},
url = {http://arxiv.org/abs/1703.06322},
eprinttype = {arXiv},
eprint = {1703.06322},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiP17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartolettiBLP17,
author = {Massimo Bartoletti and
Andrea Bracciali and
Stefano Lande and
Livio Pompianu},
title = {A general framework for Bitcoin analytics},
journal = {CoRR},
volume = {abs/1707.01021},
year = {2017},
url = {http://arxiv.org/abs/1707.01021},
eprinttype = {arXiv},
eprint = {1707.01021},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiBLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-05388,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Maurizio Murgia},
title = {Timed Session Types},
journal = {CoRR},
volume = {abs/1710.05388},
year = {2017},
url = {http://arxiv.org/abs/1710.05388},
eprinttype = {arXiv},
eprint = {1710.05388},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-05388.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartolettiLP17,
author = {Massimo Bartoletti and
Stefano Lande and
Alessandro Sebastian Podda},
title = {A Proof-of-Stake protocol for consensus on Bitcoin subchains},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {417},
year = {2017},
url = {http://eprint.iacr.org/2017/417},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartolettiLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AtzeiBLZ17,
author = {Nicola Atzei and
Massimo Bartoletti and
Stefano Lande and
Roberto Zunino},
title = {A formal model of Bitcoin transactions},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1124},
year = {2017},
url = {http://eprint.iacr.org/2017/1124},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AtzeiBLZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-2609,
author = {Massimo Bartoletti and
Alceste Scalas and
Emilio Tuosto and
Roberto Zunino},
title = {Honesty by Typing},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {4},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(4:7)2016},
doi = {10.2168/LMCS-12(4:7)2016},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-2609.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiCPZ16,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
title = {Contracts as games on event structures},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {3},
pages = {399--424},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.05.001},
doi = {10.1016/J.JLAMP.2015.05.001},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiCPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AtzeiB16,
author = {Nicola Atzei and
Massimo Bartoletti},
editor = {Elvira Albert and
Ivan Lanese},
title = {Developing Honest Java Programs with Diogenes},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {52--61},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_4},
doi = {10.1007/978-3-319-39570-8\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/AtzeiB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/BartolettiLM16,
author = {Massimo Bartoletti and
Stefano Lande and
Alessandro Massa},
editor = {Wojciech Cellary and
Mohamed F. Mokbel and
Jianmin Wang and
Hua Wang and
Rui Zhou and
Yanchun Zhang},
title = {Faderank: An Incremental Algorithm for Ranking Twitter Users},
booktitle = {Web Information Systems Engineering - {WISE} 2016 - 17th International
Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {10042},
pages = {55--69},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48743-4\_5},
doi = {10.1007/978-3-319-48743-4\_5},
timestamp = {Mon, 26 Jun 2023 20:45:55 +0200},
biburl = {https://dblp.org/rec/conf/wise/BartolettiLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BartolettiHKV16,
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223},
doi = {10.4204/EPTCS.223},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BartolettiHKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BartolettiZ16,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {Constant-deposit multiparty lotteries on Bitcoin},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {955},
year = {2016},
url = {http://eprint.iacr.org/2016/955},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartolettiZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AtzeiBC16,
author = {Nicola Atzei and
Massimo Bartoletti and
Tiziana Cimoli},
title = {A survey of attacks on Ethereum smart contracts},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1007},
year = {2016},
url = {http://eprint.iacr.org/2016/1007},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AtzeiBC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BartolettiCDDGP15,
author = {Massimo Bartoletti and
Ilaria Castellani and
Pierre{-}Malo Deni{\'{e}}lou and
Mariangiola Dezani{-}Ciancaglini and
Silvia Ghilezan and
Jovanka Pantovic and
Jorge A. P{\'{e}}rez and
Peter Thiemann and
Bernardo Toninho and
Hugo Torres Vieira},
title = {Combining behavioural types with security analysis},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {6},
pages = {763--780},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.09.003},
doi = {10.1016/J.JLAMP.2015.09.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BartolettiCDDGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BartolettiDFZ15,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
title = {Model checking usage policies},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {3},
pages = {710--763},
year = {2015},
url = {https://doi.org/10.1017/S096012951200093X},
doi = {10.1017/S096012951200093X},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BartolettiDFZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartolettiLSZ15,
author = {Massimo Bartoletti and
Julien Lange and
Alceste Scalas and
Roberto Zunino},
title = {Choreographies in the wild},
journal = {Sci. Comput. Program.},
volume = {109},
pages = {36--60},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.11.015},
doi = {10.1016/J.SCICO.2014.11.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BartolettiLSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartolettiCGZ15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Paolo Di Giamberardino and
Roberto Zunino},
title = {Vicious circles in contracts and in logic},
journal = {Sci. Comput. Program.},
volume = {109},
pages = {61--95},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.01.005},
doi = {10.1016/J.SCICO.2015.01.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BartolettiCGZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartolettiCP15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
title = {Lending Petri nets},
journal = {Sci. Comput. Program.},
volume = {112},
pages = {75--101},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.05.006},
doi = {10.1016/J.SCICO.2015.05.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BartolettiCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BartolettiCZ15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Roberto Zunino},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {Compliance in Behavioural Contracts: {A} Brief Survey},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {103--121},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_9},
doi = {10.1007/978-3-319-25527-9\_9},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BartolettiCZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BartolettiDGZ15,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Paolo Di Giamberardino and
Roberto Zunino},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Debits and Credits in Petri Nets and Linear Logic},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {135--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_6},
doi = {10.1007/978-3-319-23165-5\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BartolettiDGZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/BartolettiCMPP15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Maurizio Murgia and
Alessandro Sebastian Podda and
Livio Pompianu},
editor = {Christiano Braga and
Peter Csaba {\"{O}}lveczky},
title = {A Contract-Oriented Middleware},
booktitle = {Formal Aspects of Component Software - 12th International Conference,
{FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9539},
pages = {86--104},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28934-2\_5},
doi = {10.1007/978-3-319-28934-2\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/BartolettiCMPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BartolettiCMPP15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Maurizio Murgia and
Alessandro Sebastian Podda and
Livio Pompianu},
editor = {Susanne Graf and
Mahesh Viswanathan},
title = {Compliance and Subtyping in Timed Session Types},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
as Part of the 10th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9039},
pages = {161--177},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19195-9\_11},
doi = {10.1007/978-3-319-19195-9\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BartolettiCMPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/BartolettiCPZ15,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
editor = {Raja Natarajan and
Gautam Barua and
Manas Ranjan Patra},
title = {Models of Circular Causality},
booktitle = {Distributed Computing and Internet Technology - 11th International
Conference, {ICDCIT} 2015, Bhubaneswar, India, February 5-8, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8956},
pages = {1--20},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14977-6\_1},
doi = {10.1007/978-3-319-14977-6\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/BartolettiCPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/BartolettiZ15,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {On the Decidability of Honesty and of Its Variants},
booktitle = {Web Services, Formal Methods, and Behavioral Types - 11th International
Workshop, {WS-FM} 2014, Eindhoven, The Netherlands, September 11-12,
2014, and 12th International Workshop, {WS-FM/BEAT} 2015, Madrid,
Spain, September 4-5, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {143--166},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_9},
doi = {10.1007/978-3-319-33612-1\_9},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/BartolettiZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ScalasB15,
author = {Alceste Scalas and
Massimo Bartoletti},
editor = {Sophia Knight and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Hugo Torres Vieira},
title = {The {LTS} WorkBench},
booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
Grenoble, France, 4-5th June 2015},
series = {{EPTCS}},
volume = {189},
pages = {86--98},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.189.8},
doi = {10.4204/EPTCS.189.8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ScalasB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartolettiCDDGP15,
author = {Massimo Bartoletti and
Ilaria Castellani and
Pierre{-}Malo Deni{\'{e}}lou and
Mariangiola Dezani{-}Ciancaglini and
Silvia Ghilezan and
Jovanka Pantovic and
Jorge A. P{\'{e}}rez and
Peter Thiemann and
Bernardo Toninho and
Hugo Torres Vieira},
title = {Combining behavioural types with security analysis},
journal = {CoRR},
volume = {abs/1510.02229},
year = {2015},
url = {http://arxiv.org/abs/1510.02229},
eprinttype = {arXiv},
eprint = {1510.02229},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiCDDGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BartolettiCPZ14,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
title = {Circular Causality in Event Structures},
journal = {Fundam. Informaticae},
volume = {134},
number = {3-4},
pages = {219--259},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1101},
doi = {10.3233/FI-2014-1101},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BartolettiCPZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BartolettiSZ14,
author = {Massimo Bartoletti and
Alceste Scalas and
Roberto Zunino},
editor = {Paolo Baldan and
Daniele Gorla},
title = {A Semantic Deconstruction of Session Types},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {402--418},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_28},
doi = {10.1007/978-3-662-44584-6\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BartolettiSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/BartolettiMSZ14,
author = {Massimo Bartoletti and
Maurizio Murgia and
Alceste Scalas and
Roberto Zunino},
editor = {Santiago Escobar},
title = {Modelling and Verifying Contract-Oriented Systems in Maude},
booktitle = {Rewriting Logic and Its Applications - 10th International Workshop,
{WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France,
April 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8663},
pages = {130--146},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12904-4\_7},
doi = {10.1007/978-3-319-12904-4\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/BartolettiMSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BartolettiCP14,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
editor = {Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova and
Hugo Torres Vieira},
title = {A note on two notions of compliance},
booktitle = {Proceedings 7th Interaction and Concurrency Experience, {ICE} 2014,
Berlin, Germany, 6th June 2014},
series = {{EPTCS}},
volume = {166},
pages = {86--93},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.166.9},
doi = {10.4204/EPTCS.166.9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartolettiCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BartolettiSTZ13,
author = {Massimo Bartoletti and
Alceste Scalas and
Emilio Tuosto and
Roberto Zunino},
editor = {Dirk Beyer and
Michele Boreale},
title = {Honesty by Typing},
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 = {305--320},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_21},
doi = {10.1007/978-3-642-38592-6\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BartolettiSTZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BartolettiCP13,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Lending Petri Nets and Contracts},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {66--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_5},
doi = {10.1007/978-3-642-40213-5\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/BartolettiCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/BartolettiCZ13,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Roberto Zunino},
editor = {David A. Basin and
John C. Mitchell},
title = {A Theory of Agreements and Protection},
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 = {186--205},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36830-1\_10},
doi = {10.1007/978-3-642-36830-1\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/BartolettiCZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BartolettiCGZ13,
author = {Massimo Bartoletti and
Tiziana Cimoli and
Paolo Di Giamberardino and
Roberto Zunino},
editor = {Marco Carbone and
Ivan Lanese and
Alberto Lluch{-}Lafuente and
Ana Sokolova},
title = {Contract agreements via logic},
booktitle = {Proceedings 6th Interaction and Concurrency Experience, {ICE} 2013,
Florence, Italy, 6th June 2013},
series = {{EPTCS}},
volume = {131},
pages = {5--19},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.131.2},
doi = {10.4204/EPTCS.131.2},
timestamp = {Fri, 27 Mar 2020 08:38:57 +0100},
biburl = {https://dblp.org/rec/journals/corr/BartolettiCGZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BartolettiTZ12,
author = {Massimo Bartoletti and
Emilio Tuosto and
Roberto Zunino},
title = {Contract-Oriented Computing in {CO2}},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {5--60},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.5},
doi = {10.7561/SACS.2012.1.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/BartolettiTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BartolettiTZ12,
author = {Massimo Bartoletti and
Emilio Tuosto and
Roberto Zunino},
editor = {Marjan Sirjani},
title = {On the Realizability of Contracts in Dishonest Systems},
booktitle = {Coordination Models and Languages - 14th International Conference,
{COORDINATION} 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7274},
pages = {245--260},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30829-1\_17},
doi = {10.1007/978-3-642-30829-1\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BartolettiTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6330,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna and
Roberto Zunino},
editor = {Simon J. Gay and
Paul Kelly},
title = {An event-based model for contracts},
booktitle = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
31 March 2012},
series = {{EPTCS}},
volume = {109},
pages = {13--20},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.109.3},
doi = {10.4204/EPTCS.109.3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-6188,
author = {Massimo Bartoletti and
Emilio Tuosto and
Roberto Zunino},
title = {On the realizability of contracts in dishonest systems},
journal = {CoRR},
volume = {abs/1201.6188},
year = {2012},
url = {http://arxiv.org/abs/1201.6188},
eprinttype = {arXiv},
eprint = {1201.6188},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-6188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3624,
author = {Massimo Bartoletti and
Tiziana Cimoli and
G. Michele Pinna},
title = {Lending Petri nets and contracts},
journal = {CoRR},
volume = {abs/1211.3624},
year = {2012},
url = {http://arxiv.org/abs/1211.3624},
eprinttype = {arXiv},
eprint = {1211.3624},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3624.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0471,
author = {Massimo Bartoletti and
Emilio Tuosto and
Roberto Zunino},
editor = {Alexandra Silva and
Simon Bliudze and
Roberto Bruni and
Marco Carbone},
title = {Contracts in distributed systems},
booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {59},
pages = {130--147},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.59.11},
doi = {10.4204/EPTCS.59.11},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BartolettiDFZ11,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Call-by-Contract for Service Discovery, Orchestration and Recovery},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {232--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_11},
doi = {10.1007/978-3-642-20401-2\_11},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BartolettiDFZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/BartolettiCLMSVZ11,
author = {Massimo Bartoletti and
Lu{\'{\i}}s Caires and
Ivan Lanese and
Franco Mazzanti and
Davide Sangiorgi and
Hugo Torres Vieira and
Roberto Zunino},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Tools and Verification},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {408--427},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_19},
doi = {10.1007/978-3-642-20401-2\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/BartolettiCLMSVZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BartolettiZ10,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {A Calculus of Contracting Processes},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {332--341},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.25},
doi = {10.1109/LICS.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BartolettiZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BartolettiZ10,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {Static Enforcement of Service Deadlines},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {320--324},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.41},
doi = {10.1109/SEFM.2010.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BartolettiZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1010-5570,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Simon Bliudze and
Roberto Bruni and
Davide Grohmann and
Alexandra Silva},
title = {Primitives for Contract-based Synchronization},
booktitle = {Proceedings Third Interaction and Concurrency Experience: Guaranteed
Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June
2010},
series = {{EPTCS}},
volume = {38},
pages = {67--82},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.38.8},
doi = {10.4204/EPTCS.38.8},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BartolettiDF09,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
title = {Planning and verifying service composition},
journal = {J. Comput. Secur.},
volume = {17},
number = {5},
pages = {799--837},
year = {2009},
url = {https://doi.org/10.3233/JCS-2009-0357},
doi = {10.3233/JCS-2009-0357},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BartolettiDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BartolettiCDMZ09,
author = {Massimo Bartoletti and
Gabriele Costa and
Pierpaolo Degano and
Fabio Martinelli and
Roberto Zunino},
title = {Securing Java with Local Policies},
journal = {J. Object Technol.},
volume = {8},
number = {4},
pages = {5--32},
year = {2009},
url = {https://doi.org/10.5381/jot.2009.8.4.a1},
doi = {10.5381/JOT.2009.8.4.A1},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jot/BartolettiCDMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BartolettiDFZ09,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
title = {Local policies for resource usage analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {6},
pages = {23:1--23:43},
year = {2009},
url = {https://doi.org/10.1145/1552309.1552313},
doi = {10.1145/1552309.1552313},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BartolettiDFZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BartolettiDFZ09,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
editor = {Martin Leucker and
Carroll Morgan},
title = {\emph{nu}-Types for Effects and Freshness Analysis},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5684},
pages = {80--95},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03466-4\_5},
doi = {10.1007/978-3-642-03466-4\_5},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BartolettiDFZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BartolettiZ09,
author = {Massimo Bartoletti and
Roberto Zunino},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {A Logic for Contracts},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {34--37},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BartolettiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Bartoletti09,
author = {Massimo Bartoletti},
editor = {Pierpaolo Degano and
Luca Vigan{\`{o}}},
title = {Usage Automata},
booktitle = {Foundations and Applications of Security Analysis, Joint Workshop
on Automated Reasoning for Security Protocol Analysis and Issues in
the Theory of Security, {ARSPA-WITS} 2009, York, UK, March 28-29,
2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5511},
pages = {52--69},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03459-6\_4},
doi = {10.1007/978-3-642-03459-6\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Bartoletti09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartolettiCZ09,
author = {Massimo Bartoletti and
Gabriele Costa and
Roberto Zunino},
editor = {Elvira Albert and
Samir Genaim},
title = {Jalapa: Securing Java with Local Policies: Tool Demonstration},
booktitle = {Proceedings of the Fourth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March
29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {5},
pages = {145--151},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.020},
doi = {10.1016/J.ENTCS.2009.11.020},
timestamp = {Fri, 24 Feb 2023 15:28:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BartolettiCZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BartolettiDFZ08,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
title = {Semantics-Based Design for Secure Web Services},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {1},
pages = {33--49},
year = {2008},
url = {https://doi.org/10.1109/TSE.2007.70740},
doi = {10.1109/TSE.2007.70740},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BartolettiDFZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BartolettiDFZ08,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Model Checking Usage Policies},
booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5474},
pages = {19--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00945-7\_2},
doi = {10.1007/978-3-642-00945-7\_2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BartolettiDFZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartolettiDFZ09,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
editor = {Thomas T. Hildebrandt and
Daniele Gorla},
title = {Hard Life with Weak Binders},
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 = {49--72},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.013},
doi = {10.1016/J.ENTCS.2009.06.013},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BartolettiDFZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/BartolettiDFZ07,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
editor = {Alessandro Aldini and
Roberto Gorrieri},
title = {Secure Service Orchestration},
booktitle = {Foundations of Security Analysis and Design IV, {FOSAD} 2006/2007
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {4677},
pages = {24--74},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74810-6\_2},
doi = {10.1007/978-3-540-74810-6\_2},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/BartolettiDFZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BartolettiDFZ07,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari and
Roberto Zunino},
editor = {Helmut Seidl},
title = {Types and Effects for Resource Usage Analysis},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {32--47},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_4},
doi = {10.1007/978-3-540-71389-0\_4},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BartolettiDFZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartolettiDF06,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
title = {Types and Effects for Secure Service Orchestration},
booktitle = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006),
5-7 July 2006, Venice, Italy},
pages = {57--69},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CSFW.2006.31},
doi = {10.1109/CSFW.2006.31},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BartolettiDF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BartolettiDF06,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Security Issues in Service Composition},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {1--16},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_1},
doi = {10.1007/11768869\_1},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BartolettiDF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Bartoletti05,
author = {Massimo Bartoletti},
title = {Language-based security},
school = {University of Pisa, Italy},
year = {2005},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0028704},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Bartoletti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BartolettiDF05,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
title = {Enforcing Secure Service Composition},
booktitle = {18th {IEEE} Computer Security Foundations Workshop, {(CSFW-18} 2005),
20-22 June 2005, Aix-en-Provence, France},
pages = {211--223},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSFW.2005.17},
doi = {10.1109/CSFW.2005.17},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/BartolettiDF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BartolettDF05,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Vladimiro Sassone},
title = {History-Based Access Control with Local Policies},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {316--332},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_20},
doi = {10.1007/978-3-540-31982-5\_20},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BartolettDF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BartolettiDF05,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {Checking Risky Events Is Enough for Local Policies},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {97--112},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_9},
doi = {10.1007/11560586\_9},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BartolettiDF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartolettiDF05,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Catherine Meadows},
title = {Policy framings for access control},
booktitle = {Proceedings of the {POPL} 2005 Workshop on Issues in the Theory of
Security, {WITS} 2005, Long Beach, California, USA, January 10-11,
2005},
pages = {5--11},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1045405.1045407},
doi = {10.1145/1045405.1045407},
timestamp = {Tue, 19 Sep 2023 14:44:32 +0200},
biburl = {https://dblp.org/rec/conf/popl/BartolettiDF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/BartolettiDF04,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
title = {Stack inspection and secure program transformations},
journal = {Int. J. Inf. Sec.},
volume = {2},
number = {3-4},
pages = {187--217},
year = {2004},
url = {https://doi.org/10.1007/s10207-004-0038-8},
doi = {10.1007/S10207-004-0038-8},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/BartolettiDF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BartolettiDF03,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Security-Aware Program Transformations},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {355--368},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_28},
doi = {10.1007/978-3-540-45208-9\_28},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BartolettiDF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartolettiDF04,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Program Transformations under Dynamic Security Policies},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {49--86},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.003},
doi = {10.1016/J.ENTCS.2004.02.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BartolettiDF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartolettiDF01,
author = {Massimo Bartoletti and
Pierpaolo Degano and
Gian{-}Luigi Ferrari},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Static Analysis for Stack Inspection},
booktitle = {International Workshop on Concurrency and Coordination, ConCoord 2001,
associated to the 13th Lipari School, Lipari Island, Italy, July 6-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {54},
pages = {69--80},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00236-1},
doi = {10.1016/S1571-0661(04)00236-1},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BartolettiDF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-02-27 23:39 CET 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:
