2021
Authors
Barbosa, M; Barthe, G; Fan, X; Grégoire, B; Hung, SH; Katz, J; Strub, PY; Wu, X; Zhou, L;
Publication
IACR Cryptol. ePrint Arch.
Abstract
2021
Authors
Abdalla, M; Barbosa, M; Rønne, PB; Ryan, PYA; Sala, P;
Publication
IACR Cryptol. ePrint Arch.
Abstract
2021
Authors
Barbosa, M; Ferreira, B; Marques, J; Portela, B; Preguica, N;
Publication
PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21)
Abstract
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. In this paper we present new privacy-preserving CRDT protocols that can be used to help secure distributed cloud-backed applications, including NoSQL geo-replicated databases. Our proposals are based on standard CRDTs, such as sets and counters, augmented with cryptographic mechanisms that allow their operations to be performed on encrypted data. We accompany our proposals with formal security proofs and implement and integrate them in An-tidoteDB, a geo-replicated NoSQL database that leverages CRDTs for its operations. Experimental evaluations based on the Danish Shared Medication Record dataset (FMK) exhibit the tradeoffs that our different proposals make and show that they are ready to be used in practical applications.
2020
Authors
Chen, S; Barbosa, M; Boldyreva, A; Warinschi, B;
Publication
IACR Cryptol. ePrint Arch.
Abstract
2019
Authors
Barbosa, M; Barthe, G; Bhargavan, K; Blanchet, B; Cremers, C; Liao, K; Parno, B;
Publication
IACR Cryptol. ePrint Arch.
Abstract
2019
Authors
Abdalla, M; Barbosa, M;
Publication
IACR Cryptol. ePrint Arch.
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.