93 citations · 173 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017★ 56 cited
Verifying Strong Eventual Consistency in Distributed Systems
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan +1
Data replication is used in distributed systems to maintain up-to-date copies of shared data across multiple computers in a network. However, despite decades of research, algorithm…
cs.CR2017★ 16 cited
Intra-Library Collusion: A Potential Privacy Nightmare on Smartphones
Vincent F. Taylor, Alastair R. Beresford, Ivan Martinovic
Smartphones contain a trove of sensitive personal data including our location, who we talk to, our habits, and our interests. Smartphone users trade access to this data by permitti…