Massimo Bartoletti

162 papers A* 2A 2B 6C 9Misc 1Journal 76Unranked 56
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Formal Approach to AMM Fee Mechanisms with Lean 4.
CoRR
Marco Dessalvi, Massimo Bartoletti, Alberto Lluch-Lafuente
2026 — ed.
Financial Cryptography and Data Security. FC 2025 International Workshops - CAAW 2025 and WTSC 2025, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part I
FC (Workshops 1)
Bernhard Haslhofer, Java Xu, Friedhelm Victor, Massimo Bartoletti, Andrea Bracciali, Kanta Matsuura, Jarek Nabrzyski, Vero Estrada-Galiñanes, Claudio J. Tessone, Jurlind Budurushi, Karola Marky
2026 J jnl
Scalable UTXO smart contracts via fine-grained distributed state.
Future Gener. Comput. Syst.
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
2025 — conf
A Quantitative Notion of Economic Security for Smart Contract Compositions.
FC (Workshops 1)
Emily Priyadarshini, Massimo Bartoletti
2025 — conf
A Theoretical Basis for MEV.
FC (2)
Massimo Bartoletti, Roberto Zunino
2025 J jnl
A quantitative notion of economic security for smart contract compositions.
CoRR
Emily Priyadarshini, Massimo Bartoletti
2025 J jnl
A theory of Lending Protocols in DeFi.
CoRR
Massimo Bartoletti, Enrico Lipparini
2025 C conf
Certified Algorithms for Numerical Semigroups in Rocq.
CICM
Massimo Bartoletti, Stefano Bonzio, Marco Ferrara
2025 J jnl
Certified algorithms for numerical semigroups in Rocq.
CoRR
Massimo Bartoletti, Stefano Bonzio, Marco Ferrara
2025 J jnl
Certifying optimal MEV strategies with Lean.
CoRR
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
2025 — conf
Formal Verification in Solidity and Move: Insights from a Comparative Analysis.
FMBC
Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
2025 J jnl
Formal verification in Solidity and Move: insights from a comparative analysis.
CoRR
Massimo Bartoletti, Silvia Crafa, Enrico Lipparini
2025 J jnl
LLMs as verification oracles for Solidity.
CoRR
Massimo Bartoletti, Enrico Lipparini, Livio Pompianu
2025 J jnl
Smart contract languages: A comparative analysis.
Future Gener. Comput. Syst.
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
2024 — conf
DeFi Composability as MEV Non-interference.
FC (2)
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
2024 — conf
Formalizing Automated Market Makers in the Lean 4 Theorem Prover.
FMBC@CAV
Daniele Pusceddu, Massimo Bartoletti
2024 J jnl
Formalizing Automated Market Makers in the Lean 4 Theorem Prover.
CoRR
Daniele Pusceddu, Massimo Bartoletti
2024 C ed.
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), Turin, Italy, May 14-15, 2024.
DLT
Massimo Bartoletti, Claudio Schifanella, Andrea Vitaletti
2024 J jnl
Scalable UTXO Smart Contracts via Fine-Grained Distributed State.
CoRR
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
2024 A conf
Secure compilation of rich smart contracts on poor UTXO blockchains.
EuroS&P
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
2024 J jnl
Smart Contract Languages: a comparative analysis.
CoRR
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
2024 B conf
Solvent: Liquidity Verification of Smart Contracts.
IFM
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2024 J jnl
Solvent: liquidity verification of smart contracts.
CoRR
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2024 — conf
Towards Benchmarking of Solidity Verification Tools.
FMBC@CAV
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
2024 J jnl
Towards benchmarking of Solidity verification tools.
CoRR
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas
2023 J jnl
A theoretical basis for Blockchain Extractable Value.
CoRR
Massimo Bartoletti, Roberto Zunino
2023 J jnl
DeFi composability as MEV non-interference.
CoRR
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
2023 J jnl
Secure compilation of rich smart contracts on poor UTXO blockchains.
CoRR
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
2023 J jnl
Sound approximate and asymptotic probabilistic bisimulations for PCTL.
Log. Methods Comput. Sci.
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2022 C conf
A Sound Up-to-n, δ Bisimilarity for PCTL.
COORDINATION
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2022 J jnl
A theory of Automated Market Makers in DeFi.
Log. Methods Comput. Sci.
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2022 — conf
Formal Analysis of Lending Pools in Decentralized Finance.
ISoLA (3)
Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
2022 J jnl
Formal Analysis of Lending Pools in Decentralized Finance.
CoRR
Massimo Bartoletti, James Hsin-yu Chiang, Tommi A. Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin
2022 — conf
MEV-Freedom, in DeFi and Beyond (Invited Talk).
FMBC@CAV
Massimo Bartoletti
2022 — conf
Maximizing Extractable Value from Automated Market Makers.
Financial Cryptography
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2022 J jnl
Verifying liquidity of recursive Bitcoin contracts.
Log. Methods Comput. Sci.
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
2021 — conf
A Formal Model of Algorand Smart Contracts.
Financial Cryptography (1)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
2021 J jnl
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL.
CoRR
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2021 C conf
A Theory of Automated Market Makers in DeFi.
COORDINATION
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021 J jnl
A theory of Automated Market Makers in DeFi.
CoRR
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021 J jnl
A theory of transaction parallelism in blockchains.
Log. Methods Comput. Sci.
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2021 A conf
Computationally sound Bitcoin tokens.
CSF
Massimo Bartoletti, Stefano Lande, Roberto Zunino
2021 J jnl
Cryptocurrency Scams: Analysis and Perspectives.
IEEE Access
Massimo Bartoletti, Stefano Lande, Andrea Loddo, Livio Pompianu, Sergio Serusi
2021 J jnl
Maximizing Extractable Value from Automated Market Makers.
CoRR
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021 — conf
SoK: Lending Pools in Decentralized Finance.
Financial Cryptography Workshops
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2021 — conf
Towards a Theory of Decentralized Finance.
Financial Cryptography Workshops
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2020 C conf
A True Concurrent Model of Smart Contracts Executions.
COORDINATION
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020 J jnl
A formal model of Algorand smart contracts.
CoRR
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
2020 J jnl
A theory of transaction parallelism in blockchains.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2020 — conf
Bitcoin Covenants Unchained.
ISoLA (3)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
2020 J jnl
Bitcoin covenants unchained.
CoRR
Massimo Bartoletti, Stefano Lande, Roberto Zunino
2020 J jnl
Computationally sound Bitcoin tokens.
CoRR
Massimo Bartoletti, Stefano Lande, Roberto Zunino
2020 J jnl
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact.
Future Gener. Comput. Syst.
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
2020 C conf
Renegotiation and Recursion in Bitcoin Contracts.
COORDINATION
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2020 J jnl
Renegotiation and recursion in Bitcoin contracts.
CoRR
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
2020 J jnl
Smart Contracts Contracts.
Frontiers Blockchain
Massimo Bartoletti
2020 J jnl
SoK: Lending Pools in Decentralized Finance.
CoRR
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
2020 J jnl
Verification of recursive Bitcoin contracts.
CoRR
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
2019 J jnl
A Journey into Bitcoin Metadata.
J. Grid Comput.
Massimo Bartoletti, Bryn Bellomy, Livio Pompianu
2019 — conf
A Minimal Core Calculus for Solidity Contracts.
DPM/CBT@ESORICS
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 J jnl
A minimal core calculus for Solidity contracts.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 J jnl
A true concurrent model of smart contracts executions.
CoRR
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
2019 — ed.
Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
CIBB
Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri
2019 J jnl
Developing secure Bitcoin contracts with BitML.
CoRR
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
2019 — conf
Developing secure bitcoin contracts with BitML.
ESEC/SIGSOFT FSE
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
2019 J jnl
Formal Models of Bitcoin Contracts: A Survey.
Frontiers Blockchain
Massimo Bartoletti, Roberto Zunino
2019 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2017.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2019 — ed.
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019.
ICE
Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas
2019 — ed.
Proceedings of the Second Distributed Ledger Technology Workshop, DLT@ITASEC 2019, Pisa, Italy, February 12, 2019.
DLT@ITASEC
Paolo Mori, Massimo Bartoletti, Stefano Bistarelli
2019 — conf
Verifying Liquidity of Bitcoin Contracts.
POST
Massimo Bartoletti, Roberto Zunino
2018 — conf
A Formal Model of Bitcoin Transactions.
Financial Cryptography
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
2018 A* conf
BitML: A Calculus for Bitcoin Smart Contracts.
CCS
Massimo Bartoletti, Roberto Zunino
2018 J jnl
BitML: a calculus for Bitcoin smart contracts.
IACR Cryptol. ePrint Arch.
Massimo Bartoletti, Roberto Zunino
2018 — conf
Blockchain for social good: a quantitative analysis.
GOODTECHS
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi
2018 J jnl
Blockchain for social good: a quantitative analysis.
CoRR
Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi
2018 — conf
Data Mining for Detecting Bitcoin Ponzi Schemes.
CVCBT
Massimo Bartoletti, Barbara Pes, Sergio Serusi
2018 J jnl
Data mining for detecting Bitcoin Ponzi schemes.
CoRR
Massimo Bartoletti, Barbara Pes, Sergio Serusi
2018 — conf
Fun with Bitcoin Smart Contracts.
ISoLA (4)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
2018 J jnl
Fun with Bitcoin smart contracts.
IACR Cryptol. ePrint Arch.
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
2018 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2016.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2018 — ed.
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018.
ICE
Massimo Bartoletti, Sophia Knight
2018 B conf
Progress-Preserving Refinements of CTA.
CONCUR
Massimo Bartoletti, Laura Bocchi, Maurizio Murgia
2018 — conf
SoK: Unraveling Bitcoin Smart Contracts.
POST
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
2018 J jnl
SoK: unraveling Bitcoin smart contracts.
IACR Cryptol. ePrint Arch.
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
2018 J jnl
Verifying liquidity of Bitcoin contracts.
IACR Cryptol. ePrint Arch.
Massimo Bartoletti, Roberto Zunino
2017 — conf
A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains.
Financial Cryptography Workshops
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda
2017 J jnl
A Proof-of-Stake protocol for consensus on Bitcoin subchains.
IACR Cryptol. ePrint Arch.
Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda
2017 — conf
A Survey of Attacks on Ethereum Smart Contracts (SoK).
POST
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
2017 J jnl
A formal model of Bitcoin transactions.
IACR Cryptol. ePrint Arch.
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
2017 J jnl
A general framework for Bitcoin analytics.
CoRR
Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu
2017 — conf
A general framework for blockchain analytics.
SERIAL@Middleware
Massimo Bartoletti, Stefano Lande, Livio Pompianu, Andrea Bracciali
2017 — conf
An Analysis of Bitcoin OP_RETURN Metadata.
Financial Cryptography Workshops
Massimo Bartoletti, Livio Pompianu
2017 — conf
An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns.
Financial Cryptography Workshops
Massimo Bartoletti, Livio Pompianu
2017 J jnl
An analysis of Bitcoin OP_RETURN metadata.
CoRR
Massimo Bartoletti, Livio Pompianu
2017 J jnl
An empirical analysis of smart contracts: platforms, applications, and design patterns.
CoRR
Massimo Bartoletti, Livio Pompianu
2017 — conf
Constant-Deposit Multiparty Lotteries on Bitcoin.
Financial Cryptography Workshops
Massimo Bartoletti, Roberto Zunino
2017 J jnl
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact.
CoRR
Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
2017 — ed.
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017.
ICE@DisCoTec
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2017 J jnl
Timed Session Types.
CoRR
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
2017 J jnl
Timed Session Types.
Log. Methods Comput. Sci.
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia
2017 J jnl
Verifiable abstractions for contract-oriented systems.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
2016 J jnl
A survey of attacks on Ethereum smart contracts.
IACR Cryptol. ePrint Arch.
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
2016 J jnl
Constant-deposit multiparty lotteries on Bitcoin.
IACR Cryptol. ePrint Arch.
Massimo Bartoletti, Roberto Zunino
2016 J jnl
Contracts as games on event structures.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2016 C conf
Developing Honest Java Programs with Diogenes.
FORTE
Nicola Atzei, Massimo Bartoletti
2016 — conf
Faderank: An Incremental Algorithm for Ranking Twitter Users.
WISE (2)
Massimo Bartoletti, Stefano Lande, Alessandro Massa
2016 J jnl
Honesty by Typing
Log. Methods Comput. Sci.
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
2016 — ed.
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016.
ICE
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2015 — conf
A Contract-Oriented Middleware.
FACS
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
2015 J jnl
Choreographies in the wild.
Sci. Comput. Program.
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
2015 J jnl
Combining behavioural types with security analysis.
CoRR
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
2015 J jnl
Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program.
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
2015 C conf
Compliance and Subtyping in Timed Session Types.
FORTE
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
2015 — conf
Compliance in Behavioural Contracts: A Brief Survey.
Programming Languages with Applications to Biology and Security
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
2015 — conf
Debits and Credits in Petri Nets and Linear Logic.
Logic, Rewriting, and Concurrency
Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
2015 J jnl
Lending Petri nets.
Sci. Comput. Program.
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2015 J jnl
Model checking usage policies.
Math. Struct. Comput. Sci.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2015 Misc conf
Models of Circular Causality.
ICDCIT
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2015 — conf
On the Decidability of Honesty and of Its Variants.
WS-FM
Massimo Bartoletti, Roberto Zunino
2015 — conf
The LTS WorkBench.
ICE
Alceste Scalas, Massimo Bartoletti
2015 J jnl
Vicious circles in contracts and in logic.
Sci. Comput. Program.
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
2014 B conf
A Semantic Deconstruction of Session Types.
CONCUR
Massimo Bartoletti, Alceste Scalas, Roberto Zunino
2014 — conf
A note on two notions of compliance.
ICE
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2014 J jnl
Circular Causality in Event Structures.
Fundam. Informaticae
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2014 — conf
Modelling and Verifying Contract-Oriented Systems in Maude.
WRLA
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
2013 — conf
A Theory of Agreements and Protection.
POST
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
2013 — conf
Contract agreements via logic.
ICE
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
2013 — conf
Honesty by Typing.
FMOODS/FORTE
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
2013 — conf
Lending Petri Nets and Contracts.
FSEN
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2012 — conf
An event-based model for contracts
PLACES
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2012 J jnl
Contract-Oriented Computing in CO2.
Sci. Ann. Comput. Sci.
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2012 J jnl
Lending Petri nets and contracts
CoRR
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna
2012 C conf
On the Realizability of Contracts in Dishonest Systems.
COORDINATION
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2012 J jnl
On the realizability of contracts in dishonest systems
CoRR
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2011 — ch.
Call-by-Contract for Service Discovery, Orchestration and Recovery.
Results of the SENSORIA Project
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2011 — conf
Contracts in distributed systems
ICE
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2011 — ch.
Tools and Verification.
Results of the SENSORIA Project
Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino
2010 A* conf
A Calculus of Contracting Processes.
LICS
Massimo Bartoletti, Roberto Zunino
2010 — conf
Primitives for Contract-based Synchronization
ICE
Massimo Bartoletti, Roberto Zunino
2010 B conf
Static Enforcement of Service Deadlines.
SEFM
Massimo Bartoletti, Roberto Zunino
2009 — conf
A Logic for Contracts.
ICTCS
Massimo Bartoletti, Roberto Zunino
2009 — conf
Jalapa: Securing Java with Local Policies: Tool Demonstration.
BYTECODE@ETAPS
Massimo Bartoletti, Gabriele Costa, Roberto Zunino
2009 J jnl
Local policies for resource usage analysis.
ACM Trans. Program. Lang. Syst.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2009 J jnl
Planning and verifying service composition.
J. Comput. Secur.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2009 J jnl
Securing Java with Local Policies.
J. Object Technol.
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino
2009 — conf
Usage Automata.
ARSPA-WITS
Massimo Bartoletti
2008 — conf
Hard Life with Weak Binders.
EXPRESS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008 — conf
Model Checking Usage Policies.
TGC
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008 J jnl
Semantics-Based Design for Secure Web Services.
IEEE Trans. Software Eng.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2007 — conf
Secure Service Orchestration.
FOSAD
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2007 B conf
Types and Effects for Resource Usage Analysis.
FoSSaCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2006 — conf
Security Issues in Service Composition.
FMOODS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2006 — conf
Types and Effects for Secure Service Orchestration.
CSFW
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 — conf
Checking Risky Events Is Enough for Local Policies.
ICTCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 — conf
Enforcing Secure Service Composition.
CSFW
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 B conf
History-Based Access Control with Local Policies.
FoSSaCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005 — —
Language-based security.
Massimo Bartoletti
2005 — conf
Policy framings for access control.
WITS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2004 J jnl
Stack inspection and secure program transformations.
Int. J. Inf. Sec.
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2003 — conf
Program Transformations under Dynamic Security Policies.
MEFISTO
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2003 — conf
Security-Aware Program Transformations.
ICTCS
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2001 — conf
Static Analysis for Stack Inspection.
ConCoord
Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari