João Leitão

According to our database1, João Leitão authored at least 40 papers between 2007 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories.
IEEE Trans. Cloud Computing, 2019

Efficient Synchronization of State-Based CRDTs.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019


2018
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.
IACR Cryptology ePrint Archive, 2018

MuSE: Multimodal Searchable Encryption for Cloud Applications.
Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

Practical Continuous Aggregation in Wireless Edge Environments.
Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

Practical and Fast Causal Consistent Partial Geo-Replication.
Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report).
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
Multimodal Indexable Encryption for Mobile Cloud-based Applications (Extended Version).
IACR Cryptology ePrint Archive, 2017

Blotter: Low Latency Transactions for Geo-Replicated Storage.
Proceedings of the 26th International Conference on World Wide Web, 2017

Legion: Enriching Internet Services with Peer-to-Peer Interactions.
Proceedings of the 26th International Conference on World Wide Web, 2017

Fine-Grained Consistency Upgrades for Online Services.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

FMKe: a Real-World Benchmark for Key-Value Data Stores.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Borrowing an Identity for a Distributed Counter: Work in progress report.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Multimodal Indexable Encryption for Mobile Cloud-Based Applications.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Geo-Replication: Fast If Possible, Consistent If Necessary.
IEEE Data Eng. Bull., 2016

Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.
Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 2016

Δ-CRDTs: making Δ-CRDTs delta-based.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Characterizing the Consistency of Online Services (Practical Experience Report).
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
Privacy-Preserving Content-Based Image Retrieval in the Cloud (Extended Version).
IACR Cryptology ePrint Archive, 2015

Privacy-Preserving Content-Based Image Retrieval in the Cloud.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

Visigoth fault tolerance.
Proceedings of the Tenth European Conference on Computer Systems, 2015

Minimizing coordination in replicated systems.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

2014
Automating the Choice of Consistency Levels in Replicated Systems.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties.
Proceedings of the Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance, 2014

2013
Bounded gossip: a gossip protocol for large-scale datacenters.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Rollerchain: A DHT for Efficient Replication.
Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

ChainReaction: a causal+ consistent datastore based on chain replication.
Proceedings of the Eighth Eurosys Conference 2013, 2013

2012
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks.
IEEE Trans. Parallel Distrib. Syst., 2012

MobUser: Publish-subscribe Communication for Mobile Nodes.
Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

2011
N-party BAR Transfer: motivation, definition, and challenges.
Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

N-party BAR Transfer.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

2010
Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

RASM: A Reliable Algorithm for Scalable Multicast.
Proceedings of the 18th Euromicro Conference on Parallel, 2010

Balancing gossip exchanges in networks with firewalls.
Proceedings of the 9th international conference on Peer-to-peer systems, 2010

Observable non-Sybil quorums construction in one-hop wireless ad hoc networks.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications.
Proceedings of the Autonomic Computing and Communications Systems, 2009

2007
Epidemic Broadcast Trees.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007


  Loading...