2 citations · 2 across the 3 of their papers we have counts for
3 papers
Validated Objects: Specification, Implementation, and Applications
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou +1
Guaranteeing the validity of concurrent operations on distributed objects is a key property for ensuring reliability and consistency in distributed systems. Usually, the methods fo…
Chirotonia: A Scalable and Secure e-Voting Framework based on Blockchains and Linkable Ring Signatures
Antonio Russo, Antonio Fernández Anta, Maria Isabel González Vasco +1
In this paper we propose a comprehensive and scalable framework to build secure-by-design e-voting systems. Decentralization, transparency, determinism, and untamperability of vote…
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou +3
In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which…