NiRvAna
Noninterference and Reversibility Analysis in Private Blockchains
Final Meeting in Urbino (2025)
- Proved Reversible Process Calculus: Semantics, Logics, Axioms
Marco Bernardo (UniUrb) - Noninterference in Reversible Systems: Nondeterminism, Probability, Time
Andrea Esposito (UniUrb) - Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios
Federico Calandra (UniUrb) - An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies
Michele Foderaro (UniUrb)
- Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets
Marco Bernardo and Andrea Esposito (UniUrb) - Reversibility in Process Calculi with Nondeterminism and Probabilities
Claudio A. Mezzina (UniUrb) - A Process Algebraic Approach to Modeling and Performance Evaluation of Blockchain Fraud Reversal Protocols
Andrea Tirelli (UniVe) - Job Migrations in Queueing Networks: Some
Non-Conventional Product Forms
Andrea Marin (UniVe) - Generalized Proportional Lumpability
Carla Piazza (UniUd) - Exact Non-Interference
Riccardo Romanello (UniUd and UniVe) - Modeling Reentrancy in Smart Contracts through Noninterference
Samia Guesmi (UniUd and UniVe) - Enhancing PEPA Eclipse Plugin
Riccardo Romanello (UniUd and UniVe) - TxSpector Revisited: Uncovering Attacks in
Ethereum from Transactions
Samia Guesmi (UniUd and UniVe) - Impact of Network Topologies on Blockchain Performance
Vincenzo P. Di Perna (UniUrb) - Blockchain Energy Consumption: Unveiling the Impact of Network Topologies
Vincenzo P. Di Perna (UniUrb)
- Towards a Resilient Cosmos: Evaluating Consensus Process in PoS Networks
Ivan Malakhov (UniVe) - Let's Move2EVM: Secure Compilation of Move to EVM
Lorenzo Benetollo (UniVe) - Resource-Aware Programming for the Algorand Platform
Alvise Spanò (UniVe) - On the Role of ML and LLMs in Vulnerability Detection for Smart Contracts
Dalila Ressi (UniUd)
