Andrea Esposito

According to our database, Andrea Esposito authored at least 13 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP.

Andrea Esposito, Francesco P. Rossi, Marco Bernardo, Francesco Fabris, Hubert Garavel

CoRR, August, 2025

Redactable Blockchains: An Overview.

Federico Calandra, Marco Bernardo, Andrea Esposito, Francesco Fabris

CoRR, August, 2025

On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments.

Marco Bernardo, Federico Calandra, Andrea Esposito, Francesco Fabris

CoRR, August, 2025

Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

CoRR, January, 2025

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.

Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi

Log. Methods Comput. Sci., 2025

Noninterference Analysis of Deterministically Timed Reversible Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025

Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets.

Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina

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

Noninterference Analysis ofStochastically Timed Reversible Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2025

2024

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings.

Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina

Proceedings of the Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, 2024

Noninterference Analysis of Reversible Probabilistic Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities.

Marco Bernardo, Andrea Esposito

Proceedings of the Fourteenth International Symposium on Games, 2023

On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity.

Marco Bernardo, Andrea Esposito

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.

Andrea Esposito, Alessandro Aldini, Marco Bernardo

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023