Roberto Zunino

CoRR, 2024

Secure compilation of rich smart contracts on poor UTXO blockchains.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE European Symposium on Security and Privacy, 2024

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol.

[BibT_eX]

[DOI]

Dario Maddaloni

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

Sound approximate and asymptotic probabilistic bisimulations for PCTL.

[BibT_eX]

[DOI]

Maurizio Murgia

Log. Methods Comput. Sci., 2023

DeFi composability as MEV non-interference.

[BibT_eX]

[DOI]

CoRR, 2023

A theoretical basis for Blockchain Extractable Value.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Verifying liquidity of recursive Bitcoin contracts.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

A Sound Up-to-n, δ Bisimilarity for PCTL.

[BibT_eX]

[DOI]

Maurizio Murgia

Proceedings of the Coordination Models and Languages, 2022

2021

A Formal Model of Algorand Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2021

Computationally sound Bitcoin tokens.

[BibT_eX]

[DOI]

Stefano Lande

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Verification of recursive Bitcoin contracts.

[BibT_eX]

[DOI]

CoRR, 2020

Bitcoin Covenants Unchained.

[BibT_eX]

[DOI]

Stefano Lande

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

A General Syntax for Nonrecursive Higher Inductive Types.

[BibT_eX]

[DOI]

Marco Girardi

Marco Benini

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Renegotiation and Recursion in Bitcoin Contracts.

[BibT_eX]

[DOI]

Maurizio Murgia

Proceedings of the Coordination Models and Languages, 2020

2019

Efficient formulation of the rejection-based algorithm for biochemical reactions with delays.

[BibT_eX]

[DOI]

Int. J. Bioinform. Res. Appl., 2019

Formal Models of Bitcoin Contracts: A Survey.

[BibT_eX]

[DOI]

Frontiers Blockchain, 2019

Developing secure bitcoin contracts with BitML.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Verifying liquidity of Bitcoin contracts.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

BitML: a calculus for Bitcoin smart contracts.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Fun with Bitcoin smart contracts.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

SoK: unraveling Bitcoin smart contracts.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

2017

Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2017

Verifiable abstractions for contract-oriented systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

A formal model of Bitcoin transactions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

2016

Contracts as games on event structures.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Constant-deposit multiparty lotteries on Bitcoin.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Honesty by Typing

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2016

2015

Choreographies in the wild.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Vicious circles in contracts and in logic.

[BibT_eX]

[DOI]

Paolo Di Giamberardino

Sci. Comput. Program., 2015

Model checking usage policies.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

On the Decidability of Honesty and of Its Variants.

[BibT_eX]

[DOI]

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Models of Circular Causality.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2015

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.

[BibT_eX]

[DOI]

Durica Nikolic

Ozan Kahramanogullari

Tommaso Schiavinotto

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

Debits and Credits in Petri Nets and Linear Logic.

[BibT_eX]

[DOI]

Paolo Di Giamberardino

Proceedings of the Logic, Rewriting, and Concurrency, 2015

Compliance in Behavioural Contracts: A Brief Survey.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Adaptive tree-based search for stochastic simulation algorithm.

[BibT_eX]

[DOI]

Int. J. Comput. Biol. Drug Des., 2014

Circular Causality in Event Structures.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Modelling and Verifying Contract-Oriented Systems in Maude.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

A Semantic Deconstruction of Session Types.

[BibT_eX]

[DOI]

Alceste Scalas

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Contract agreements via logic.

[BibT_eX]

[DOI]

Paolo Di Giamberardino

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

Splitting for rare event simulation in biochemical systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

A Theory of Agreements and Protection.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

2012

On computation and synchronization costs in spatial distributed simulation.

[BibT_eX]

[DOI]

J. Simulation, 2012

Contract-Oriented Computing in CO2.

[BibT_eX]

[DOI]

Emilio Tuosto

Sci. Ann. Comput. Sci., 2012

An event-based model for contracts

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

A Rule-Based and Imperative Language for Biochemical Modeling and Simulation.

[BibT_eX]

[DOI]

Durica Nikolic

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Tree-based search for stochastic simulation algorithm.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

An imperative language of self-modifying graphs for biological systems.

[BibT_eX]

[DOI]

Paola Quaglia

Proceedings of the ACM Symposium on Applied Computing, 2012

On the Realizability of Contracts in Dishonest Systems.

[BibT_eX]

[DOI]

Emilio Tuosto

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Contracts in distributed systems

[BibT_eX]

[DOI]

Emilio Tuosto

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Trading Computation Time for Synchronization Time in Spatial Distributed Simulation.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2011

Call-by-Contract for Service Discovery, Orchestration and Recovery.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Primitives for Contract-based Synchronization

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

Static Enforcement of Service Deadlines.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Calculus of Contracting Processes.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Local policies for resource usage analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2009

Securing Java with Local Policies.

[BibT_eX]

[DOI]

J. Object Technol., 2009

Jalapa: Securing Java with Local Policies: Tool Demonstration.

[BibT_eX]

[DOI]

Gabriele Costa

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

A Logic for Contracts.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

<i>nu</i>-Types for Effects and Freshness Analysis.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2009

2008

Semantics-Based Design for Secure Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2008

Hard Life with Weak Binders.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

2007

Types and Effects for Resource Usage Analysis.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Secure Service Orchestration.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design IV, 2007

2006

Models for Cryptographic Protocol Analysis.

[BibT_eX]

[DOI]

PhD thesis, 2006

Handling exp, × (and Timestamps) in Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

Weakening the perfect encryption assumption in Dolev-Yao adversaries.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

2004

A Note on the Perfect Encryption Assumption in a Process Calculus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Control Flow Analysis for the Applied Pi-calculus.

[BibT_eX]

[DOI]