default search action

combined dblp search
author search
venue search
publication search

ask others

Massimo Bartoletti

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/BartolettiMZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/BartolettiMZ24
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino:
Secure compilation of rich smart contracts on poor UTXO blockchains. EuroS&P 2024: 235-267
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fmbc/PuscedduB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmbc/PuscedduB24
Daniele Pusceddu, Massimo Bartoletti:
Formalizing Automated Market Makers in the Lean 4 Theorem Prover. FMBC@CAV 2024: 5:1-5:13
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fmbc/BartolettiFMPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmbc/BartolettiFMPS24
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas:
Towards Benchmarking of Solidity Verification Tools. FMBC@CAV 2024: 6:1-6:15
[e7]
- view
- export record
  dblp key:
  - conf/dlt2/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlt2/2024
Massimo Bartoletti, Claudio Schifanella, Andrea Vitaletti:
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), Turin, Italy, May 14-15, 2024. CEUR Workshop Proceedings 3791, CEUR-WS.org 2024 [contents]
[i40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-06064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-06064
Daniele Pusceddu, Massimo Bartoletti:
Formalizing Automated Market Makers in the Lean 4 Theorem Prover. CoRR abs/2402.06064 (2024)
[i39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-10750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-10750
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas:
Towards benchmarking of Solidity verification tools. CoRR abs/2402.10750 (2024)
[i38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-04129
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-04129
Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino:
Smart Contract Languages: a comparative analysis. CoRR abs/2404.04129 (2024)
[i37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-17864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-17864
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone:
Solvent: liquidity verification of smart contracts. CoRR abs/2404.17864 (2024)
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-07700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-07700
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino:
Scalable UTXO Smart Contracts via Fine-Grained Distributed State. CoRR abs/2406.07700 (2024)
2023
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BartolettiMZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BartolettiMZ23
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
Sound approximate and asymptotic probabilistic bisimulations for PCTL. Log. Methods Comput. Sci. 19(1) (2023)
[i35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-02154
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-02154
Massimo Bartoletti, Roberto Zunino:
A theoretical basis for Blockchain Extractable Value. CoRR abs/2302.02154 (2023)
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-09545
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-09545
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino:
Secure compilation of rich smart contracts on poor UTXO blockchains. CoRR abs/2305.09545 (2023)
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-10781
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-10781
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino:
DeFi composability as MEV non-interference. CoRR abs/2309.10781 (2023)
2022
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BartolettiLMZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BartolettiLMZ22
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino:
Verifying liquidity of recursive Bitcoin contracts. Log. Methods Comput. Sci. 18(1) (2022)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BartolettiCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BartolettiCL22
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A theory of Automated Market Makers in DeFi. Log. Methods Comput. Sci. 18(4) (2022)
[c67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Bartoletti22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Bartoletti22
Massimo Bartoletti:
MEV-Freedom, in DeFi and Beyond (Invited Talk). FMBC@CAV 2022: 1:1-1:1
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiMZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiMZ22
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
A Sound Up-to-n, δ Bisimilarity for PCTL. COORDINATION 2022: 35-52
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiCL22
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Maximizing Extractable Value from Automated Market Makers. Financial Cryptography 2022: 3-19
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartolettiCJLMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartolettiCJLMV22
Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. ISoLA (3) 2022: 335-355
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01333
Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. CoRR abs/2206.01333 (2022)
2021
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/BartolettiLLPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/BartolettiLLPS21
Massimo Bartoletti, Stefano Lande, Andrea Loddo, Livio Pompianu, Sergio Serusi:
Cryptocurrency Scams: Analysis and Perspectives. IEEE Access 9: 148353-148373 (2021)
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BartolettiGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BartolettiGM21
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A theory of transaction parallelism in blockchains. Log. Methods Comput. Sci. 17(4) (2021)
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiCL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiCL21
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A Theory of Automated Market Makers in DeFi. COORDINATION 2021: 168-187
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartolettiLZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartolettiLZ21
Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Computationally sound Bitcoin tokens. CSF 2021: 1-15
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiBLSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiBLSZ21
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) 2021: 93-114
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiCL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiCL21
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Towards a Theory of Decentralized Finance. Financial Cryptography Workshops 2021: 227-232
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiCL21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiCL21a
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. Financial Cryptography Workshops 2021: 553-578
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-11350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-11350
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A theory of Automated Market Makers in DeFi. CoRR abs/2102.11350 (2021)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-01870
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-01870
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Maximizing Extractable Value from Automated Market Makers. CoRR abs/2106.01870 (2021)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-03117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-03117
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL. CoRR abs/2111.03117 (2021)
2020
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fbloc/Bartoletti20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fbloc/Bartoletti20
Massimo Bartoletti:
Smart Contracts Contracts. Frontiers Blockchain 3: 27 (2020)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/BartolettiCCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/BartolettiCCS20
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia:
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. Future Gener. Comput. Syst. 102: 259-277 (2020)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiGM20
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A True Concurrent Model of Smart Contracts Executions. COORDINATION 2020: 243-260
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiMZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiMZ20
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
Renegotiation and Recursion in Bitcoin Contracts. COORDINATION 2020: 261-278
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartolettiLZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartolettiLZ20
Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Bitcoin Covenants Unchained. ISoLA (3) 2020: 25-42
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-00296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-00296
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
Renegotiation and recursion in Bitcoin contracts. CoRR abs/2003.00296 (2020)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-03918
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-03918
Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Bitcoin covenants unchained. CoRR abs/2006.03918 (2020)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-12140
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-12140
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A formal model of Algorand smart contracts. CoRR abs/2009.12140 (2020)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-01347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-01347
Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Computationally sound Bitcoin tokens. CoRR abs/2010.01347 (2020)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-13837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-13837
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A theory of transaction parallelism in blockchains. CoRR abs/2011.13837 (2020)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-14165
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-14165
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino:
Verification of recursive Bitcoin contracts. CoRR abs/2011.14165 (2020)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-13230
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-13230
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. CoRR abs/2012.13230 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fbloc/BartolettiZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fbloc/BartolettiZ19
Massimo Bartoletti, Roberto Zunino:
Formal Models of Bitcoin Contracts: A Survey. Frontiers Blockchain 2: 8 (2019)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/grid/BartolettiBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/grid/BartolettiBP19
Massimo Bartoletti, Bryn Bellomy, Livio Pompianu:
A Journey into Bitcoin Metadata. J. Grid Comput. 17(1): 3-22 (2019)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BartolettiBHK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BartolettiBHK19
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Preface for the special issue on Interaction and Concurrency Experience 2017. J. Log. Algebraic Methods Program. 109 (2019)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/BartolettiGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/BartolettiGM19
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A Minimal Core Calculus for Solidity Contracts. DPM/CBT@ESORICS 2019: 233-243
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/BartolettiZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BartolettiZ19
Massimo Bartoletti, Roberto Zunino:
Verifying Liquidity of Bitcoin Contracts. POST 2019: 222-247
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/AtzeiBLYZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/AtzeiBLYZ19
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE 2019: 1124-1128
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/cibb/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cibb/2017
Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10834, Springer 2019, ISBN 978-3-030-14159-2 [contents]
[e5]
- view
- export record
  dblp key:
  - conf/itasec/2019dlt
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/2019dlt
Paolo Mori, Massimo Bartoletti, Stefano Bistarelli:
Proceedings of the Second Distributed Ledger Technology Workshop, DLT@ITASEC 2019, Pisa, Italy, February 12, 2019. CEUR Workshop Proceedings 2334, CEUR-WS.org 2019 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-05242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05242
Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas:
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019. EPTCS 304, 2019 [contents]
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-04366
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-04366
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A true concurrent model of smart contracts executions. CoRR abs/1905.04366 (2019)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07639
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07639
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure Bitcoin contracts with BitML. CoRR abs/1905.07639 (2019)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-02709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-02709
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A minimal core calculus for Solidity contracts. CoRR abs/1908.02709 (2019)
2018
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/BartolettiHKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartolettiHKV18
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2016. J. Log. Algebraic Methods Program. 98: 26 (2018)
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BartolettiZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BartolettiZ18
Massimo Bartoletti, Roberto Zunino:
BitML: A Calculus for Bitcoin Smart Contracts. CCS 2018: 83-100
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BartolettiBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BartolettiBM18
Massimo Bartoletti, Laura Bocchi, Maurizio Murgia:
Progress-Preserving Refinements of CTA. CONCUR 2018: 40:1-40:19
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/cvcbt/BartolettiPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvcbt/BartolettiPS18
Massimo Bartoletti, Barbara Pes, Sergio Serusi:
Data Mining for Detecting Bitcoin Ponzi Schemes. CVCBT 2018: 75-84
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/AtzeiBLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/AtzeiBLZ18
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino:
A Formal Model of Bitcoin Transactions. Financial Cryptography 2018: 541-560
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/goodtechs/BartolettiCPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/goodtechs/BartolettiCPS18
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi:
Blockchain for social good: a quantitative analysis. GOODTECHS 2018: 37-42
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BartolettiCZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BartolettiCZ18
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin Smart Contracts. ISoLA (4) 2018: 432-449
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/AtzeiBCLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/AtzeiBCLZ18
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: Unraveling Bitcoin Smart Contracts. POST 2018: 217-242
[e3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02053
Massimo Bartoletti, Sophia Knight:
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018. EPTCS 279, 2018 [contents]
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-00646
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00646
Massimo Bartoletti, Barbara Pes, Sergio Serusi:
Data mining for detecting Bitcoin Ponzi schemes. CoRR abs/1803.00646 (2018)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-03424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-03424
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi:
Blockchain for social good: a quantitative analysis. CoRR abs/1811.03424 (2018)
[i16]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartolettiZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartolettiZ18
Massimo Bartoletti, Roberto Zunino:
BitML: a calculus for Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 122 (2018)
[i15]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AtzeiBCLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AtzeiBCLZ18
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 192 (2018)
[i14]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartolettiCZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartolettiCZ18
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 398 (2018)
[i13]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartolettiZ18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartolettiZ18a
Massimo Bartoletti, Roberto Zunino:
Verifying liquidity of Bitcoin contracts. IACR Cryptol. ePrint Arch. 2018: 1125 (2018)
2017
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BartolettiMSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartolettiMSZ17
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino:
Verifiable abstractions for contract-oriented systems. J. Log. Algebraic Methods Program. 86(1): 159-207 (2017)
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BartolettiCM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BartolettiCM17
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia:
Timed Session Types. Log. Methods Comput. Sci. 13(4) (2017)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiP17
Massimo Bartoletti, Livio Pompianu:
An Analysis of Bitcoin OP_RETURN Metadata. Financial Cryptography Workshops 2017: 218-230
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiZ17
Massimo Bartoletti, Roberto Zunino:
Constant-Deposit Multiparty Lotteries on Bitcoin. Financial Cryptography Workshops 2017: 231-247
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiP17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiP17a
Massimo Bartoletti, Livio Pompianu:
An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns. Financial Cryptography Workshops 2017: 494-509
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BartolettiLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BartolettiLP17
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda:
A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains. Financial Cryptography Workshops 2017: 568-584
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/BartolettiLPB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/BartolettiLPB17
Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali:
A general framework for blockchain analytics. SERIAL@Middleware 2017: 7:1-7:6
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/post/AtzeiBC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/AtzeiBC17
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
A Survey of Attacks on Ethereum Smart Contracts (SoK). POST 2017: 164-186
[e2]
- view
- export record
  dblp key:
  - journals/corr/abs-1711-10708
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-10708
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017. EPTCS 261, 2017 [contents]
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartolettiP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiP17
Massimo Bartoletti, Livio Pompianu:
An analysis of Bitcoin OP_RETURN metadata. CoRR abs/1702.01024 (2017)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartolettiCCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCCS17
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia:
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. CoRR abs/1703.03779 (2017)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartolettiP17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiP17a
Massimo Bartoletti, Livio Pompianu:
An empirical analysis of smart contracts: platforms, applications, and design patterns. CoRR abs/1703.06322 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartolettiBLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiBLP17
Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu:
A general framework for Bitcoin analytics. CoRR abs/1707.01021 (2017)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-05388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-05388
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia:
Timed Session Types. CoRR abs/1710.05388 (2017)
[i7]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartolettiLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartolettiLP17
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda:
A Proof-of-Stake protocol for consensus on Bitcoin subchains. IACR Cryptol. ePrint Arch. 2017: 417 (2017)
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AtzeiBLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AtzeiBLZ17
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino:
A formal model of Bitcoin transactions. IACR Cryptol. ePrint Arch. 2017: 1124 (2017)
2016
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-2609
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-2609
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. Log. Methods Comput. Sci. 12(4) (2016)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BartolettiCPZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartolettiCPZ16
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85(3): 399-424 (2016)
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AtzeiB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AtzeiB16
Nicola Atzei, Massimo Bartoletti:
Developing Honest Java Programs with Diogenes. FORTE 2016: 52-61
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/wise/BartolettiLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wise/BartolettiLM16
Massimo Bartoletti, Stefano Lande, Alessandro Massa:
Faderank: An Incremental Algorithm for Ranking Twitter Users. WISE (2) 2016: 55-69
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BartolettiHKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiHKV16
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira:
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS 223, 2016 [contents]
[i5]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/BartolettiZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/BartolettiZ16
Massimo Bartoletti, Roberto Zunino:
Constant-deposit multiparty lotteries on Bitcoin. IACR Cryptol. ePrint Arch. 2016: 955 (2016)
[i4]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AtzeiBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AtzeiBC16
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
A survey of attacks on Ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016: 1007 (2016)
2015
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BartolettiCDDGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BartolettiCDDGP15
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BartolettiDFZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BartolettiDFZ15
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Model checking usage policies. Math. Struct. Comput. Sci. 25(3): 710-763 (2015)
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BartolettiLSZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BartolettiLSZ15
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino:
Choreographies in the wild. Sci. Comput. Program. 109: 36-60 (2015)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BartolettiCGZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BartolettiCGZ15
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Vicious circles in contracts and in logic. Sci. Comput. Program. 109: 61-95 (2015)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BartolettiCP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BartolettiCP15
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets. Sci. Comput. Program. 112: 75-101 (2015)
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BartolettiCZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BartolettiCZ15
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Compliance in Behavioural Contracts: A Brief Survey. Programming Languages with Applications to Biology and Security 2015: 103-121
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BartolettiDGZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BartolettiDGZ15
Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino:
Debits and Credits in Petri Nets and Linear Logic. Logic, Rewriting, and Concurrency 2015: 135-159
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BartolettiCMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BartolettiCMPP15
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
A Contract-Oriented Middleware. FACS 2015: 86-104
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BartolettiCMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BartolettiCMPP15
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
Compliance and Subtyping in Timed Session Types. FORTE 2015: 161-177
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/BartolettiCPZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/BartolettiCPZ15
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Models of Circular Causality. ICDCIT 2015: 1-20
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/BartolettiZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/BartolettiZ15
Massimo Bartoletti, Roberto Zunino:
On the Decidability of Honesty and of Its Variants. WS-FM 2015: 143-166
[c31]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ScalasB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ScalasB15
Alceste Scalas, Massimo Bartoletti:
The LTS WorkBench. ICE 2015: 86-98
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BartolettiCDDGP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCDDGP15
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015)
2014
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BartolettiCPZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BartolettiCPZ14
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Circular Causality in Event Structures. Fundam. Informaticae 134(3-4): 219-259 (2014)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BartolettiSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BartolettiSZ14
Massimo Bartoletti, Alceste Scalas, Roberto Zunino:
A Semantic Deconstruction of Session Types. CONCUR 2014: 402-418
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wrla/BartolettiMSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BartolettiMSZ14
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino:
Modelling and Verifying Contract-Oriented Systems in Maude. WRLA 2014: 130-146
[c28]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BartolettiCP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCP14
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
A note on two notions of compliance. ICE 2014: 86-93
2013
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/BartolettiSTZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BartolettiSTZ13
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. FMOODS/FORTE 2013: 305-320
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsen/BartolettiCP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BartolettiCP13
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri Nets and Contracts. FSEN 2013: 66-82
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/post/BartolettiCZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/post/BartolettiCZ13
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
A Theory of Agreements and Protection. POST 2013: 186-205
[c24]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BartolettiCGZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiCGZ13
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Contract agreements via logic. ICE 2013: 5-19
2012
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cuza/BartolettiTZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cuza/BartolettiTZ12
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
Contract-Oriented Computing in CO2. Sci. Ann. Comput. Sci. 22(1): 5-60 (2012)
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/BartolettiTZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BartolettiTZ12
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the Realizability of Contracts in Dishonest Systems. COORDINATION 2012: 245-260
[c22]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-6330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6330
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
An event-based model for contracts. PLACES 2012: 13-20
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-6188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-6188
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the realizability of contracts in dishonest systems. CoRR abs/1201.6188 (2012)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1211-3624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-3624
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets and contracts. CoRR abs/1211.3624 (2012)
2011
[c21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0471
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
Contracts in distributed systems. ICE 2011: 130-147
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/BartolettiDFZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/BartolettiDFZ11
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project 2011: 232-261
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/sensoria2011/BartolettiCLMSVZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/sensoria2011/BartolettiCLMSVZ11
Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino:
Tools and Verification. Results of the SENSORIA Project 2011: 408-427
2010
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BartolettiZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BartolettiZ10
Massimo Bartoletti, Roberto Zunino:
A Calculus of Contracting Processes. LICS 2010: 332-341
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BartolettiZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BartolettiZ10
Massimo Bartoletti, Roberto Zunino:
Static Enforcement of Service Deadlines. SEFM 2010: 320-324
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5570
Massimo Bartoletti, Roberto Zunino:
Primitives for Contract-based Synchronization. ICE 2010: 67-82

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BartolettiDF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BartolettiDF09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Planning and verifying service composition. J. Comput. Secur. 17(5): 799-837 (2009)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/BartolettiCDMZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/BartolettiCDMZ09
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino:
Securing Java with Local Policies. J. Object Technol. 8(4): 5-32 (2009)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/BartolettiDFZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/BartolettiDFZ09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): 23:1-23:43 (2009)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BartolettiDFZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BartolettiDFZ09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/BartolettiZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/BartolettiZ09
Massimo Bartoletti, Roberto Zunino:
A Logic for Contracts. ICTCS 2009: 34-37
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/Bartoletti09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/Bartoletti09
Massimo Bartoletti:
Usage Automata. ARSPA-WITS 2009: 52-69
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiCZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiCZ09
Massimo Bartoletti, Gabriele Costa, Roberto Zunino:
Jalapa: Securing Java with Local Policies: Tool Demonstration. BYTECODE@ETAPS 2009: 145-151
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BartolettiDFZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BartolettiDFZ08
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BartolettiDFZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BartolettiDFZ08
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Model Checking Usage Policies. TGC 2008: 19-35
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiDFZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiDFZ09
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Hard Life with Weak Binders. EXPRESS 2008: 49-72
2007
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/BartolettiDFZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/BartolettiDFZ07
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Secure Service Orchestration. FOSAD 2007: 24-74
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BartolettiDFZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BartolettiDFZ07
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47
2006
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartolettiDF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartolettiDF06
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/BartolettiDF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/BartolettiDF06
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Security Issues in Service Composition. FMOODS 2006: 1-16
2005
[b1]
- view
  - electronic edition @ sbn.it
  - no references & citations available
- export record
  dblp key:
  - phd/it/Bartoletti05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/it/Bartoletti05
Massimo Bartoletti:
Language-based security. University of Pisa, Italy, 2005
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BartolettiDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BartolettiDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Enforcing Secure Service Composition. CSFW 2005: 211-223
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BartolettDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BartolettDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/BartolettiDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/BartolettiDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BartolettiDF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BartolettiDF05
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Policy framings for access control. WITS 2005: 5-11
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/BartolettiDF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/BartolettiDF04
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Stack inspection and secure program transformations. Int. J. Inf. Sec. 2(3-4): 187-217 (2004)
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/BartolettiDF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/BartolettiDF03
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Security-Aware Program Transformations. ICTCS 2003: 355-368
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiDF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiDF04
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Program Transformations under Dynamic Security Policies. MEFISTO 2003: 49-86
2001
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartolettiDF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartolettiDF01
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
Static Analysis for Stack Inspection. ConCoord 2001: 69-80

Coauthor Index

see FAQ

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.