Secure Conflict-free Replicated Data Types
Ferreira,B, Nuno Preguiça, Manuel Barbosa, Bernardo Portela, Marques,JC · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2021
Conflict-free Replicated Data Types (CRDTs) are abstract data types that support developers when designing and reasoning about distributed systems with eventual consistency guarantees. In their core they solve the problem of how to deal with concurrent operations, in a way that is transparent for developers. However in the real world, distributed systems also suffer from other relevant problems, including security and privacy issues and especially when participants can be untrusted.