João Leitão

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 52

Top Topics

Online Services

Partial Replication

Practical Experience

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Pedro Ákos Costa, João Leitão, Yiannis Psaras
IPFS requested content location service. Sci. Comput. Program. 238 (2024)
Pedro Ákos Costa, João Leitão, Yiannis Psaras
Studying the Workload of a Fully Decentralized Web3 System: IPFS. DAIS (2023)
Nuno M. Santos, Luís M. Silva, João Leitão, Nuno M. Preguiça
Data Management for mobile applications dependent on geo-located data. PaPoC@EuroSys (2023)
Pedro Fouto, Nuno M. Preguiça, João Leitão
High Throughput Replication with Integrated Membership Management. USENIX Annual Technical Conference (2022)
João Monteiro, Pedro Ákos Costa, João Leitão, Alfonso de la Rocha, Yiannis Psaras
Enriching Kademlia by Partitioning. ICDCS Workshops (2022)
Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça, João Leitão
Babel: A Framework for Developing Performant and Dependable Distributed Protocols. CoRR (2022)
Pedro Ákos Costa, João Leitão, Yiannis Psaras
Studying the workload of a fully decentralized Web3 system: IPFS. CoRR (2022)
Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno M. Preguiça, Luis Rodrigues
Engage: Session Guarantees for the Edge. ICCCN (2022)
Luís M. Silva, Frederico Aleixo, Albert van der Linde, João Leitão, Nuno M. Preguiça
Geo-located data for better dynamic replication. CoRR (2022)
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Domingos, João Leitão
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware. IEEE Trans. Dependable Secur. Comput. 19 (2) (2022)
João Becho, Frederico Cerveira, João Leitão, Rui André Oliveira
TESRAC: A Framework for Test Suite Reduction Assessment at Scale. ICST (2022)
Pedro Fouto, Pedro Ákos Costa, Nuno M. Preguiça, João Leitão
Babel: A Framework for Developing Performant and Dependable Distributed Protocols. SRDS (2022)
João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments. Future Gener. Comput. Syst. 118 (2021)
André Rosa, Pedro Ákos Costa, João Leitão
Generalizing Wireless Ad Hoc Routing for Future Edge Applications. MobiQuitous (2021)
Pedro Ákos Costa, André Rosa, João Leitão
Enabling wireless ad hoc edge systems with yggdrasil. SAC (2020)
Albert van der Linde, João Leitão, Nuno M. Preguiça
Practical Client-side Replication: Weak Consistency Semantics for Insecure Settings. Proc. VLDB Endow. 13 (11) (2020)
Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço
Lazy State Determination: More concurrency for contending linearizable transactions. CoRR (2020)
Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça
The intrinsic cost of causal consistency. PaPoC@EuroSys (2020)
Pedro Ákos Costa, Pedro Fouto, João Leitão
Overlay Networks for Edge Management. NCA (2020)
Albert van der Linde, Diogo Serra, João Leitão, Nuno M. Preguiça
On combining fault tolerance and partial replication with causal consistency. PaPoC@EuroSys (2020)
Vasileios Karagiannis, Stefan Schulte, João Leitão, Nuno M. Preguiça
Enabling Fog Computing using Self-Organizing Compute Nodes. ICFEC (2019)
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
Time-aware reactive storage in wireless edge environments. MobiQuitous (2019)
David Mealha, Nuno M. Preguiça, Maria Cecilia Gomes, João Leitão
Data Replication on the Cloud/Edge. PaPoC@EuroSys (2019)
André Rosa, Pedro Ákos Costa, João Leitão
Revisiting Broadcast Algorithms for Wireless Edge Networks. SRDS (2019)
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique Domingos
Practical Privacy-Preserving Content-Based Retrieval in Cloud Image Repositories. IEEE Trans. Cloud Comput. 7 (3) (2019)
Bernardo Ferreira, Bernardo Portela, Tiago Oliveira, Guilherme Borges, Henrique Domingos, João Leitão
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. SRDS (2019)
André Carrusca, Maria Cecília Gomes, João Leitão
Microservices Management on Cloud/Edge Environments. ICSOC Workshops (2019)
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
Efficient Synchronization of State-Based CRDTs. ICDE (2019)
Bernardo Ferreira, João Leitão, Henrique Domingos
MuSE: Multimodal Searchable Encryption for Cloud Applications. SRDS (2018)
Pedro Ákos Costa, João Leitão
Practical Continuous Aggregation in Wireless Edge Environments. SRDS (2018)
João Leitão, Pedro Ákos Costa, Maria Cecília Gomes, Nuno M. Preguiça
Towards Enabling Novel Edge-Enabled Applications. CoRR (2018)
Guilherme Borges, Henrique Domingos, Bernardo Ferreira, João Leitão, Tiago Oliveira, Bernardo Portela
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. IACR Cryptol. ePrint Arch. 2018 (2018)
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero, João Leitão
Efficient Synchronization of State-based CRDTs. CoRR (2018)
Pedro Fouto, João Leitão, Nuno M. Preguiça
Practical and Fast Causal Consistent Partial Geo-Replication. NCA (2018)
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
Time-Aware Publish/Subscribe for Networks of Mobile Devices. CoRR (2018)
Daniel Porto, João Leitão, Flavio Junqueira, Rodrigo Rodrigues
The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report). DSN (2018)
Albert van der Linde, Pedro Fouto, João Leitão, Nuno M. Preguiça, Santiago J. Castiñeira, Annette Bieniusa
Legion: Enriching Internet Services with Peer-to-Peer Interactions. WWW (2017)
Bernardo Ferreira, João Leitão, Henrique Domingos
MuSE: Multimodal Searchable Encryption for Cloud Applications. IACR Cryptol. ePrint Arch. 2017 (2017)
Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, João Leitão
Borrowing an Identity for a Distributed Counter: Work in progress report. PaPoC@EuroSys (2017)
Bernardo Ferreira, João Leitão, Henrique Domingos
Multimodal Indexable Encryption for Mobile Cloud-Based Applications. DSN (2017)
Bernardo Ferreira, João Leitão, Henrique Domingos
Multimodal Indexable Encryption for Mobile Cloud-based Applications (Extended Version). IACR Cryptol. ePrint Arch. 2017 (2017)
Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues
Fine-Grained Consistency Upgrades for Online Services. SRDS (2017)
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues
Blotter: Low Latency Transactions for Geo-Replicated Storage. WWW (2017)
Gonçalo Tomás, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, João Leitão, Nuno M. Preguiça
FMKe: a Real-World Benchmark for Key-Value Data Stores. PaPoC@EuroSys (2017)
Filipe Freitas, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues
Characterizing the Consistency of Online Services (Practical Experience Report). DSN (2016)
João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino
Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access. MECC@Middleware (2016)
Albert van der Linde, João Leitão, Nuno M. Preguiça
Δ-CRDTs: making Δ-CRDTs delta-based. PaPoC@EuroSys (2016)
Valter Balegas, Cheng Li, Mahsa Najafzadeh, Daniel Porto, Allen Clement, Sérgio Duarte, Carla Ferreira, Johannes Gehrke, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Marc Shapiro, Viktor Vafeiadis
Geo-Replication: Fast If Possible, Consistent If Necessary. IEEE Data Eng. Bull. 39 (1) (2016)
Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues
Minimizing coordination in replicated systems. PaPoC@EuroSys (2015)
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique Domingos
Privacy-Preserving Content-Based Image Retrieval in the Cloud (Extended Version). IACR Cryptol. ePrint Arch. 2015 (2015)
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique Domingos
Privacy-Preserving Content-Based Image Retrieval in the Cloud. SRDS (2015)
Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Paiva Junqueira, Rodrigo Rodrigues
Visigoth fault tolerance. EuroSys (2015)
Bernardo Ferreira, João Rodrigues, João Leitão, Henrique Domingos
Towards an Image Encryption Scheme with Content-Based Image Retrieval Properties. DPM/SETOP/QASA (2014)
Cheng Li, João Leitão, Allen Clement, Nuno M. Preguiça, Rodrigo Rodrigues, Viktor Vafeiadis
Automating the Choice of Consistency Levels in Replicated Systems. USENIX Annual Technical Conference (2014)
Miguel Branco, João Leitão, Luís E. T. Rodrigues
Bounded gossip: a gossip protocol for large-scale datacenters. SAC (2013)
João Paiva, João Leitão, Luís E. T. Rodrigues
Rollerchain: A DHT for Efficient Replication. NCA (2013)
Sérgio Almeida, João Leitão, Luís E. T. Rodrigues
ChainReaction: a causal+ consistent datastore based on chain replication. EuroSys (2013)
João Leitão, Joao Pedro da Silva Ferreira Moura Marques, José Pereira, Luís E. T. Rodrigues
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks. IEEE Trans. Parallel Distributed Syst. 23 (11) (2012)
João Ferreira, João Leitão, Luís E. T. Rodrigues
A-OSGi: a framework to support the construction of autonomic OSGi-based applications. Int. J. Auton. Adapt. Commun. Syst. 5 (3) (2012)
Mauro Silva, João Leitão, Carlos Ribeiro
MobUser: Publish-subscribe Communication for Mobile Nodes. ICPADS (2012)
Xavier Vilaça, João Leitão, Miguel Correia, Luís E. T. Rodrigues
N-party BAR Transfer. OPODIS (2011)
Xavier Vilaça, João Leitão, Luís E. T. Rodrigues
N-party BAR Transfer: motivation, definition, and challenges. TADDS (2011)
Mário F. S. Ferreira, João Leitão, Luís E. T. Rodrigues
Thicket: A Protocol for Building and Maintaining Multiple Trees in a P2P Overlay. SRDS (2010)
João Alveirinho, João Paiva, João Leitão, Luís E. T. Rodrigues
Flexible and efficient resource location in large-scale systems. LADIS (2010)
João Leitão, Robbert van Renesse, Luís E. T. Rodrigues
Balancing gossip exchanges in networks with firewalls. IPTPS (2010)
Diogo Mónica, João Leitão, Luís E. T. Rodrigues, Carlos Ribeiro
Observable non-Sybil quorums construction in one-hop wireless ad hoc networks. DSN (2010)
Mouna Allani, João Leitão, Benoît Garbinato, Luís E. T. Rodrigues
RASM: A Reliable Algorithm for Scalable Multicast. PDP (2010)
João Ferreira, João Leitão, Luís E. T. Rodrigues
A-OSGi: A Framework to Support the Construction of Autonomic OSGi-Based Applications. Autonomics (2009)
João Leitão, José Pereira, Luís E. T. Rodrigues
Epidemic Broadcast Trees. SRDS (2007)
João Leitão, José Pereira, Luís E. T. Rodrigues
HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast. DSN (2007)