3 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
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…