55 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of LisbonPT25 papers
- Instituto Superior TécnicoPT7 papers
- Instituto de TelecomunicaçõesPT5 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- University of ConnecticutUS2 papers
- University of EdinburghGB2 papers
- Aalborg UniversityDK1 paper
- Algarve Biomedical CenterPT1 paper
- Battery ParkUS1 paper
- Boreskov Institute of CatalysisRU1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Friedrich-Alexander-Universität Erlangen-NürnbergDE1 paper
3 papers · 1 filter
CYCLOSA: Decentralizing Private Web Search Through SGX-Based Browser Extensions
Rafael Pires, David Goltzsche, Sonia Ben Mokhtar +6
By regularly querying Web search engines, users (unconsciously) disclose large amounts of their personal data as part of their search queries, among which some might reveal sensiti…
SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants
David R. Matos, Nuno Neves, Alysson Bessani
The evolution of mobile devices with various capabilities (e.g., smartphones and tablets), together with their ability to collaborate in impromptu ad hoc networks, opens new opport…
Towards deductive verification of MPI programs against session types
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos +2
The Message Passing Interface (MPI) is the de facto standard message-passing infrastructure for developing parallel applications. Two decades after the first version of the library…