research
∙
05/26/2022
Validated Objects: Specification, Implementation, and Applications
Guaranteeing the validity of concurrent operations on distributed object...
share
research
∙
01/31/2022
Fragmented ARES: Dynamic Storage for Large Objects
Data availability is one of the most important features in distributed s...
research
∙
08/06/2021
Estimating Active Cases of COVID-19
Having accurate and timely data on confirmed active COVID-19 cases is ch...
research
∙
03/16/2021
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
In order to formalize Distributed Ledger Technologies and their intercon...
research
∙
02/25/2021
Fragmented Objects: Boosting Concurrency of Shared Large Objects
This work examines strategies to handle large shared data objects in dis...
research
∙
05/24/2020
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
The world is suffering from a pandemic called COVID-19, caused by the SA...
research
∙
02/26/2020
Appending Atomically in Byzantine Distributed Ledgers
A Distributed Ledger Object (DLO) is a concurrent object that maintains ...
research
∙
12/20/2018
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers
The various applications using Distributed Ledger Technologies (DLT) or ...
research
∙
05/09/2018
ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage
Atomicity or strong consistency is one of the fundamental, most intuitiv...
research
∙
03/29/2018
Unleashing and Speeding Up Readers in Atomic Object Implementations
Providing efficient emulations of atomic read/write objects in asynchron...
research
∙
02/21/2018