Roberto Zunino

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 40

Top Topics

Stochastic Simulation

Biological Systems

Top Venues

IACR Cryptol. ePrint Arch.

Log. Methods Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Scalable UTXO Smart Contracts via Fine-Grained Distributed State. CoRR (2024)
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 (2024)
Dario Maddaloni, Riccardo Marchesin, Roberto Zunino
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol. CoRR (2024)
Massimo Bartoletti, Roberto Zunino
A theoretical basis for Blockchain Extractable Value. CoRR (2023)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Sound approximate and asymptotic probabilistic bisimulations for PCTL. Log. Methods Comput. Sci. 19 (1) (2023)
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
Secure compilation of rich smart contracts on poor UTXO blockchains. CoRR (2023)
Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino
DeFi composability as MEV non-interference. CoRR (2023)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
A Sound Up-to-n, δ Bisimilarity for PCTL. COORDINATION (2022)
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verifying liquidity of recursive Bitcoin contracts. Log. Methods Comput. Sci. 18 (1) (2022)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) (2021)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Computationally sound Bitcoin tokens. CSF (2021)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL. CoRR (2021)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Bitcoin Covenants Unchained. ISoLA (3) (2020)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Computationally sound Bitcoin tokens. CoRR (2020)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Renegotiation and recursion in Bitcoin contracts. CoRR (2020)
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Renegotiation and Recursion in Bitcoin Contracts. COORDINATION (2020)
Marco Girardi, Roberto Zunino, Marco Benini
A General Syntax for Nonrecursive Higher Inductive Types. ICTCS (2020)
Massimo Bartoletti, Stefano Lande, Roberto Zunino
Bitcoin covenants unchained. CoRR (2020)
Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Verification of recursive Bitcoin contracts. CoRR (2020)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A formal model of Algorand smart contracts. CoRR (2020)
Vo Hong Thanh, Roberto Zunino, Corrado Priami
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays. Int. J. Bioinform. Res. Appl. 15 (2) (2019)
Massimo Bartoletti, Roberto Zunino
Formal Models of Bitcoin Contracts: A Survey. Frontiers Blockchain 2 (2019)
Massimo Bartoletti, Roberto Zunino
Verifying Liquidity of Bitcoin Contracts. POST (2019)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure Bitcoin contracts with BitML. CoRR (2019)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE (2019)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino
SoK: Unraveling Bitcoin Smart Contracts. POST (2018)
Massimo Bartoletti, Roberto Zunino
Verifying liquidity of Bitcoin contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Fun with Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A Formal Model of Bitcoin Transactions. Financial Cryptography (2018)
Massimo Bartoletti, Roberto Zunino
BitML: A Calculus for Bitcoin Smart Contracts. CCS (2018)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Fun with Bitcoin Smart Contracts. ISoLA (4) (2018)
Massimo Bartoletti, Roberto Zunino
BitML: a calculus for Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018 (2018)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Verifiable abstractions for contract-oriented systems. J. Log. Algebraic Methods Program. 86 (1) (2017)
Vo Hong Thanh, Roberto Zunino, Corrado Priami
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 14 (3) (2017)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino
A formal model of Bitcoin transactions. IACR Cryptol. ePrint Arch. 2017 (2017)
Massimo Bartoletti, Roberto Zunino
Constant-Deposit Multiparty Lotteries on Bitcoin. Financial Cryptography Workshops (2017)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85 (3) (2016)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing Log. Methods Comput. Sci. 12 (4) (2016)
Massimo Bartoletti, Roberto Zunino
Constant-deposit multiparty lotteries on Bitcoin. IACR Cryptol. ePrint Arch. 2016 (2016)
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
Vicious circles in contracts and in logic. Sci. Comput. Program. 109 (2015)
Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
Debits and Credits in Petri Nets and Linear Logic. Logic, Rewriting, and Concurrency (2015)
Massimo Bartoletti, Roberto Zunino
On the Decidability of Honesty and of Its Variants. WS-FM (2015)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Models of Circular Causality. ICDCIT (2015)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
Compliance in Behavioural Contracts: A Brief Survey. Programming Languages with Applications to Biology and Security (2015)
Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. Programming Languages with Applications to Biology and Security (2015)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Model checking usage policies. Math. Struct. Comput. Sci. 25 (3) (2015)
Massimo Bartoletti, Julien Lange, Alceste Scalas, Roberto Zunino
Choreographies in the wild. Sci. Comput. Program. 109 (2015)
Vo Hong Thanh, Roberto Zunino
Adaptive tree-based search for stochastic simulation algorithm. Int. J. Comput. Biol. Drug Des. 7 (4) (2014)
Massimo Bartoletti, Maurizio Murgia, Alceste Scalas, Roberto Zunino
Modelling and Verifying Contract-Oriented Systems in Maude. WRLA (2014)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
Circular Causality in Event Structures. Fundam. Informaticae 134 (3-4) (2014)
Massimo Bartoletti, Alceste Scalas, Roberto Zunino
A Semantic Deconstruction of Session Types. CONCUR (2014)
Vo Hong Thanh, Roberto Zunino
Splitting for rare event simulation in biochemical systems. SimuTools (2013)
Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
A Theory of Agreements and Protection. POST (2013)
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Honesty by Typing. FMOODS/FORTE (2013)
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino
Contract agreements via logic. ICE (2013)
Durica Nikolic, Corrado Priami, Roberto Zunino
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. SEFM (2012)
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino
An event-based model for contracts PLACES (2012)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
Contract-Oriented Computing in CO2. Sci. Ann. Comput. Sci. 22 (1) (2012)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
On the Realizability of Contracts in Dishonest Systems. COORDINATION (2012)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
On the realizability of contracts in dishonest systems CoRR (2012)
Roberto Zunino
On computation and synchronization costs in spatial distributed simulation. J. Simulation 6 (3) (2012)
Corrado Priami, Paola Quaglia, Roberto Zunino
An imperative language of self-modifying graphs for biological systems. SAC (2012)
Vo Hong Thanh, Roberto Zunino
Tree-based search for stochastic simulation algorithm. SAC (2012)
Roberto Zunino
Trading Computation Time for Synchronization Time in Spatial Distributed Simulation. PADS (2011)
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
Contracts in distributed systems ICE (2011)
Massimo Bartoletti, Roberto Zunino
Static Enforcement of Service Deadlines. SEFM (2010)
Massimo Bartoletti, Roberto Zunino
A Calculus of Contracting Processes. LICS (2010)
Massimo Bartoletti, Roberto Zunino
Primitives for Contract-based Synchronization ICE (2010)
Massimo Bartoletti, Roberto Zunino
A Logic for Contracts. ICTCS (2009)
Massimo Bartoletti, Gabriele Costa, Roberto Zunino
Jalapa: Securing Java with Local Policies: Tool Demonstration. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
-Types for Effects and Freshness Analysis. ICTAC (2009)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31 (6) (2009)
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino
Securing Java with Local Policies. J. Object Technol. 8 (4) (2009)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Model Checking Usage Policies. TGC (2008)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34 (1) (2008)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Hard Life with Weak Binders. EXPRESS (2008)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Secure Service Orchestration. FOSAD (2007)
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino
Types and Effects for Resource Usage Analysis. FoSSaCS (2007)
Roberto Zunino, Pierpaolo Degano
Handling exp, × (and Timestamps) in Protocol Analysis. FoSSaCS (2006)
Roberto Zunino, Pierpaolo Degano
Weakening the perfect encryption assumption in Dolev-Yao adversaries. Theor. Comput. Sci. 340 (1) (2005)
Roberto Zunino, Pierpaolo Degano
A Note on the Perfect Encryption Assumption in a Process Calculus. FoSSaCS (2004)
Roberto Zunino
Control Flow Analysis for the Applied Pi-calculus. Electron. Notes Theor. Comput. Sci. 99 (2004)