2 papers
cs.LO2025
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
Ludovico Fusco, Alessandro Aldini
We address the problem of identifying a proof-theoretic framework that enables a compositional analysis of finite-trace properties in concurrent systems, with a particular focus on…
cs.CR2025
Privacy-preserving and reward-based mechanisms of proof of engagement
Matteo Marco Montanari, Alessandro Aldini
Proof-of-Attendance (PoA) mechanisms are typically employed to demonstrate a specific user's participation in an event, whether virtual or in-person. The goal of this study is to e…