Search Results for author: Miguel Correia

Found 6 papers, 3 papers with code

Learning to generate Reliable Broadcast Algorithms

no code implementations31 Jul 2022 Diogo Vaz, David R. Matos, Miguel L. Pardal, Miguel Correia

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 nodes of the system fail.

reinforcement-learning Reinforcement Learning (RL)

Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages

no code implementations12 Oct 2019 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 vulnerabilities.

SEPTIC (Self Protecting Database): Detecting Injection Attacks and Vulnerabilities Inside the DBMS

no code implementations3 Sep 2019 Iberia Medeiros, Miguel Beatriz, Nuno Neves, Miguel Correia

In this paper, we propose SEPTIC, a mechanism for DBMS attack prevention, which can also assist on the identification of the vulnerabilities in the applications.

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

3 code implementations25 Apr 2019 Erick Lavoie, Laurie Hendren, Fréderic Desprez, Miguel Correia

Our design quickly scales when a large number of participants join in a short amount of time, by relying on a novel scheme that only requires local information to route connection messages: the destination is derived from the hash value of the combined identifiers of the message's source and of the node that is holding the message.

Distributed, Parallel, and Cluster Computing

Pando: a Volunteer Computing Platform for the Web

2 code implementations22 Mar 2018 Erick Lavoie, Laurie Hendren, Frederic Desprez, Miguel Correia

Volunteer computing is currently successfully used to make hundreds of thousands of machines available free-of-charge to projects of general interest.

Distributed, Parallel, and Cluster Computing

Cannot find the paper you are looking for? You can Submit a new open access paper.