3 papers
cs.DC2022
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…
cs.CR2021
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…
physics.soc-ph2021
Estimating Active Cases of COVID-19
Javier Álvarez, Carlos Baquero, Elisa Cabana +17
Having accurate and timely data on confirmed active COVID-19 cases is challenging, since it depends on testing capacity and the availability of an appropriate infrastructure to per…