activity
20152023
most citedStatically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages

16 citations · 44 across the 7 of their papers we have counts for

collaborators

8 papers

cs.CR2023

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version)

Cláudio Correia, Miguel Correia, Luís Rodrigues

In this paper we propose a novel abstraction that we have named Range-Revocable Pseudonyms (RRPs). RRPs are a new class of pseudonyms whose validity can be revoked for any time-ran…

cs.DC2022★ 3 cited

Learning to generate Reliable Broadcast Algorithms

Diogo Vaz, David R. Matos, Miguel L. Pardal +1

Modern distributed systems are supported by fault-tolerant algorithms, like Reliable Broadcast and Consensus, that assure the correct operation of the system even when some of the…

cs.SE2020★ 1 cited

A Survey on Business Process View Integration

Rafael Belchior, Sérgio Guerreiro, André Vasconcelos +1

The complexity of a business environment often causes organizations to produce several inconsistent views on the same business process, leading to fragmentation and inefficiencies.…

cs.DC2020★ 5 cited

A Survey on Blockchain Interoperability: Past, Present, and Future Trends

Rafael Belchior, André Vasconcelos, Sérgio Guerreiro +1

Blockchain interoperability is emerging as one of the crucial features of blockchain technology, but the knowledge necessary for achieving it is fragmented. This fact makes it chal…

cs.CR2019★ 16 cited

Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages

Ibéria Medeiros, Nuno Neves, Miguel Correia

Web applications continue to be a favorite target for hackers due to a combination of wide adoption and rapid deployment cycles, which often lead to the introduction of high impact…

cs.DC2019★ 6 cited

Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC

Erick Lavoie, Laurie Hendren, Fréderic Desprez +1

WebRTC enables browsers to exchange data directly but the number of possible concurrent connections to a single source is limited. We overcome the limitation by organizing particip…

cs.DC2018★ 13 cited

Pando: Personal Volunteer Computing in Browsers

Erick Lavoie, Laurie Hendren, Frederic Desprez +1

The large penetration and continued growth in ownership of personal electronic devices represents a freely available and largely untapped source of computing power. To leverage tho…

cs.DC2015

Medusa: An Efficient Cloud Fault-Tolerant MapReduce

Pedro A. R. S. Costa, Xiao Bai, Fernando M. V. Ramos +1

Applications such as web search and social networking have been moving from centralized to decentralized cloud architectures to improve their scalability. MapReduce, a programming…