4 citations · 10 across the 9 of their papers we have counts for
9 papers
A Lumpability-Driven Taxonomy of Strong and Weak Stochastic Bisimilarities with Their Congruence Properties
Riccardo Romanello, Andrea Esposito, Marco Bernardo +2
We study the relationships among the stochastic bisimulation-style equivalences over PEPA - Performance Evaluation Process Algebra definable according to the well known notions of…
Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
Marco Bernardo, Andrea Esposito, Claudio A. Mezzina
We devise two complementary characterizations of hereditary history-preserving bisimilarity (HHPB): a denotational one, based on stable configuration structures, and an operational…
Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
Andrea Esposito, Francesco P. Rossi, Marco Bernardo +2
Algorand is a scalable and secure permissionless blockchain that achieves proof-of-stake consensus via cryptographic self-sortition and binary Byzantine agreement. In this paper we…
Redactable Blockchains: An Overview
Federico Calandra, Marco Bernardo, Andrea Esposito +1
Blockchains are widely recognized for their immutability, which provides robust guarantees of data integrity and transparency. However, this same feature poses significant challeng…
On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments
Marco Bernardo, Federico Calandra, Andrea Esposito +1
Information and communication technologies are by now employed in most human activities, including economics and finance. Modern computers have reached an extraordinary power in te…
Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities
Andrea Esposito, Alessandro Aldini, Marco Bernardo
The theory of noninterference supports the analysis of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on…
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
Marco Bernardo, Andrea Esposito, Claudio A. Mezzina
Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via f…
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
Andrea Esposito, Alessandro Aldini, Marco Bernardo +1
The theory of noninterference supports the analysis of information leakage and the execution of secure computations in multi-level security systems. Classical equivalence-based app…
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities
Marco Bernardo, Andrea Esposito
Reversible systems feature both forward computations and backward computations, where the latter undo the effects of the former in a causally consistent manner. The compositionalit…