Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2023)

On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity. - Marco Bernardo 001; Andrea Esposito 006 (ICTCS, 2023)

Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities. - Marco Bernardo 001; Andrea Esposito 006 (GandALF, 2023)

Noninterference Analysis of Reversible Probabilistic Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings. - Marco Bernardo 001; Andrea Esposito 006; Claudio Antares Mezzina (EXPRESS/SOS, 2024)

Noninterference Analysis ofStochastically Timed Reversible Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2025)

Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. - Marco Bernardo 001; Andrea Esposito 006; Claudio Antares Mezzina (FoSSaCS, 2025)

Noninterference Analysis of Deterministically Timed Reversible Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (QEST+FORMATS, 2025)

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001; Sabina Rossi (Log. Methods Comput. Sci., 2025)

Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (CoRR, 2025)

On the Operational Resilience of CBDC: Threats and Prospects of Formal Validation for Offline Payments. - Marco Bernardo 001; Federico Calandra; Andrea Esposito 006; Francesco Fabris (CoRR, 2025)

Redactable Blockchains: An Overview. - Federico Calandra; Marco Bernardo 001; Andrea Esposito 006; Francesco Fabris (CoRR, 2025)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP. - Andrea Esposito 006; Francesco P. Rossi; Marco Bernardo 001; Francesco Fabris; Hubert Garavel (CoRR, 2025)