NiRvAna

Second Intermediate Meeting in Udine (2024)

---

June 6

• A Process Algebraic Theory of Reversible Concurrent Systems
  Marco Bernardo (UniUrb)
• Noninterference Analysis of Reversible Probabilistic Systems
  Andrea Esposito (UniUrb)
• Some Insights on the Forthcoming Landscape of Cryptoassets
  Francesco Fabris (UniTs)

June 7

• Blockchain Economy Issues: Maximal Extractable Value
  Samia Guesmi (UniUd)
• Linear Typing for Asset-Aware Programming
  Alvise Spanò (UniVe)
• Security Preservation through Secure Compilation of Smart Contracts
  Lorenzo Benetollo (UniVe)
• Causal Reversibility Implies Time Reversibility
  Marco Bernardo (UniUrb)
• Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
  Claudio A. Mezzina (UniUrb)
• Quantitative Analysis of Cosmos Blockchain
  Daria Smuseva (UniVe)
• Analysing Algorand: Possible Directions for Quantitative Analysis
  Ivan Malakhov (UniVe)
• Understanding the Effects of Network Topologies on Blockchains Performance and Efficiency
  Vincenzo P. Di Perna (UniUrb)
• MiCA Regulation and Stablecoin
  Michele Foderaro (UniUrb)

June 8

• Machine Learning for Vulnerability Detection in Ethereum Smart Contracts
  Dalila Ressi (UniUd)
• Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study
  Federico Calandra (UniUrb)
• Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains
  Andrea Marin (UniVe)
• Lumpabilities and Noninterference in PEPA
  Alberto Casagrande (UniUd)