Roberto Zunino

93 papers A* 2A 2B 7C 4Misc 3Journal 42Unranked 29
YearRankTypeTitle / Venue / Authors
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 Theoretical Basis for MEV.
FC (2)
Massimo Bartoletti, Roberto Zunino
2025 J jnl
Certifying optimal MEV strategies with Lean.
CoRR
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
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 C conf
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol.
DLT
Dario Maddaloni, Riccardo Marchesin, Roberto Zunino
2024 J jnl
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol.
CoRR
Dario Maddaloni, Riccardo Marchesin, Roberto Zunino
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
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
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 A conf
Computationally sound Bitcoin tokens.
CSF
Massimo Bartoletti, Stefano Lande, Roberto Zunino
2020 — conf
A General Syntax for Nonrecursive Higher Inductive Types.
ICTCS
Marco Girardi, Roberto Zunino, Marco Benini
2020 J jnl
A formal model of Algorand smart contracts.
CoRR
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
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 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
Verification of recursive Bitcoin contracts.
CoRR
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
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
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays.
Int. J. Bioinform. Res. Appl.
Vo Hong Thanh, Roberto Zunino, Corrado Priami
2019 J jnl
Formal Models of Bitcoin Contracts: A Survey.
Frontiers Blockchain
Massimo Bartoletti, Roberto Zunino
2019 — ed.
Proceedings of the Third Italian Conference on Cyber Security, Pisa, Italy, February 13-15, 2019.
ITASEC
Pierpaolo Degano, Roberto Zunino
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
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 — 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 J jnl
A formal model of Bitcoin transactions.
IACR Cryptol. ePrint Arch.
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
2017 — conf
Constant-Deposit Multiparty Lotteries on Bitcoin.
Financial Cryptography Workshops
Massimo Bartoletti, Roberto Zunino
2017 J jnl
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Vo Hong Thanh, Roberto Zunino, Corrado Priami
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
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 J jnl
Honesty by Typing
Log. Methods Comput. Sci.
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
2015 J jnl
Choreographies in the wild.
Sci. Comput. Program.
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
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
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 J jnl
Vicious circles in contracts and in logic.
Sci. Comput. Program.
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
2015 — conf
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.
Programming Languages with Applications to Biology and Security
Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto
2014 B conf
A Semantic Deconstruction of Session Types.
CONCUR
Massimo Bartoletti, Alceste Scalas, Roberto Zunino
2014 J jnl
Adaptive tree-based search for stochastic simulation algorithm.
Int. J. Comput. Biol. Drug Des.
Vo Hong Thanh, Roberto Zunino
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
Splitting for rare event simulation in biochemical systems.
SimuTools
Vo Hong Thanh, Roberto Zunino
2012 B conf
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation.
SEFM
Durica Nikolic, Corrado Priami, Roberto Zunino
2012 — conf
An event-based model for contracts
PLACES
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
2012 Misc conf
An imperative language of self-modifying graphs for biological systems.
SAC
Corrado Priami, Paola Quaglia, Roberto Zunino
2012 J jnl
Contract-Oriented Computing in CO2.
Sci. Ann. Comput. Sci.
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
2012 J jnl
On computation and synchronization costs in spatial distributed simulation.
J. Simulation
Roberto Zunino
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
2012 Misc conf
Tree-based search for stochastic simulation algorithm.
SAC
Vo Hong Thanh, 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
2011 B conf
Trading Computation Time for Synchronization Time in Spatial Distributed Simulation.
PADS
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
Securing Java with Local Policies.
J. Object Technol.
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino
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 B conf
Handling exp, × (and Timestamps) in Protocol Analysis.
FoSSaCS
Roberto Zunino, Pierpaolo Degano
2006 — —
Models for Cryptographic Protocol Analysis.
Roberto Zunino
2005 J jnl
Weakening the perfect encryption assumption in Dolev-Yao adversaries.
Theor. Comput. Sci.
Roberto Zunino, Pierpaolo Degano
2004 B conf
A Note on the Perfect Encryption Assumption in a Process Calculus.
FoSSaCS
Roberto Zunino, Pierpaolo Degano
2003 — conf
Control Flow Analysis for the Applied Pi-calculus.
MEFISTO
Roberto Zunino