Skip to content
@IntelligentSecureDistributedComputing

Intelligent Secure & Distributed Computing (ISDC)

The study of machine learning techniques applied to Secure and Distributed Computing

đź’ˇ Team

Artificial Intelligence (AI) is revolutionizing the world, from its applications in the advance of science to its use in our daily routines. Therefore, the question about the application of AI to the distributed and secure computing fields is no longer a question of "if", but a question of "when". Our research is trying to bring that "when" to the present.


🔬 Research Lines

Automatic Generation of Distributed Algorithms

Distributed algorithms are fundamental in modern computation, allowing multiple nodes to work as a single unit of computation, originating what we usually call a distributed system. However, the generation of such algorithms is a laborious, complex, and time-consuming task, where multiple properties must be taken into account, such as the failures to tolerate or the synchrony model of the system. With the recent advances in Artificial Intelligence (AI), one question arises: can AI help in the generation of such algorithms? We are trying to prove that the answer is yes. This research is conducted by the FAULTAGE subteam (FAULt Tolerant Algorithm GEneration).

Publications

Title Venue Authors Date
Automatic Generation of Distributed Algorithms with Generative AI DSN 2024 - Distrupt track (conference) Diogo Vaz, David Matos, Miguel Pardal and Miguel Correia June 2023
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning IEEE Access (journal) Diogo Vaz, David Matos, Miguel Pardal and Miguel Correia January 2023

Topics

closed


👨‍💻 Members

This group is divided into different teams, depending on the purpose. You can see the list of teams here.

To check the current members, see the members list here.


Interested in any topic or with an idea that merges the fields of Distributed Computing, Cybersecurity, and Artificial Intelligence? Send an email to diogo.vaz@tecnico.ulisboa.pt


last update: August 2024

Pinned Loading

  1. AutomaticGenerationOfReliableBroadcast AutomaticGenerationOfReliableBroadcast Public

    System that automatically generates Reliable Broadcast algorithms with Reinforcement Learning

    Python 2

Repositories

Showing 2 of 2 repositories
  • .github Public
    IntelligentSecureDistributedComputing/.github’s past year of commit activity
    0 MIT 0 0 0 Updated Dec 14, 2024
  • AutomaticGenerationOfReliableBroadcast Public

    System that automatically generates Reliable Broadcast algorithms with Reinforcement Learning

    IntelligentSecureDistributedComputing/AutomaticGenerationOfReliableBroadcast’s past year of commit activity
    Python 2 MIT 0 0 0 Updated Jan 18, 2024

Top languages

Loading…

Most used topics

Loading…