Internship - Secret quorums protecting byzantine reliable broadcast against adaptive adversaries H/F

General information

Organisation

The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :

• defence and security,

• nuclear energy (fission and fusion),

• technological research for industry,

• fundamental research in the physical sciences and life sciences.

Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.

The CEA is established in ten centers spread throughout France

Reference

Description de l'unité

The successful candidate will join the Laboratory for Trustworthy, Smart, and Self- Organizing Information Systems (LICIA) at CEA LIST, working in a multicultural, multidisciplinary environment with opportunities to collaborate with external researchers.
The team is composed of around 20 researchers, including 10 permanent researchers.

Category

Mathematics, information, scientific, software

Contract

Internship

Job title

Internship - Secret quorums protecting byzantine reliable broadcast against adaptive adversaries H/F

Subject

Byzantine reliable broadcast is a fundamental building block of modern distributed systems. Recent research proposed to use a small number of validation to improve its efficiency; but this technique is unsecure against fully rushing-adaptive adversaries. This research internship seeks to explore how to use a new building block, called secret quorums, to secure byzantine reliable broadcast against these threats.

Contract duration (months)

6

Job description

Context: Modern distributed systems, such as blockchain consensus and secure multiparty computation protocols, relies on a fundamental primitive: byzantine reliable broadcast.

It allows a set of processes to agree on a message broadcasted by a dedicated process, even when some of them are malicious (byzantine). It relies on quorum systems to prevent correct processes from delivering two different messages: each message needs to be certified by a majority (a quorum) of processes before delivery.

Byzantine reliable broadcast needs to maintain low latency and small communication complexity, but its efficiency depends on the number of processes constituting a majority. It was proposed in [1] to validate each message by smaller quorums such that 2 quorums for 2 different messages will intersect only with high probability.

 
This technique is not yet secure against fully rushing-adaptive adversaries: a malicious entity can learn the processes constituting a small quorum and corrupt them to force the validation of 2 conflicting messages. This research internship seeks to explore how to secure byzantine reliable broadcast against this adversary. A promising direction involves using secret quorums, a new abstraction introduced in [2] which hides processes composing small quorums. The intern will be advised by authors of [1] and [2].

[1] João Paulo Bezerra, Veronika Anikina, Petr Kuznetsov, Liron Schiff, and Stefan Schmid. Dynamic Probabilistic Reliable Broadcast. In 28th International Conference on Principles of Distributed Systems (OPODIS Leibniz International Proceedings in Informatics (LIPIcs), Volume 324, pp. 31:1-31:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik

[2] Maxence Perion, Sara Tucci-Piergiovanni, and Rida Bazzi. StealthDust: Secret Quorums for Faster Fractional Spending. In arXiv preprint arXiv:

Objective: This research internship is dedicated to secure byzantine reliable broadcast in the presence of a well-defined rushing-adaptive adversary. The primary goals include the creation of a communication-efficient protocol, the rigorous verification of its correctness, the prototyping of the protocol, its practical evaluation and the subsequent preparation of a research paper.

Methods / Means

distributed protocols, rust, latex

Applicant Profile

Methodology: The intern will have the following responsibilities:

1. Prepare a state-of-the-art on similar solutions (this would be part of the state of art section for a research paper).
2. Become familiar with protocols already proposed in [1] and [2].
3. Specify a new distributed protocol solving the problem and proving its correctness.
4. Code a prototype and evaluate its practical relevance.
5. Prepare a research paper.

Competences:

• Being Master 1 or 2 in Computer Science/Engineering.
• Knowledge about distributed systems in general.
• Have an interest in theoretical computer science.
• Basic Rust abilities.

Site

Saclay

Job location

France, Ile-de-France, Essonne (91)

Location

Palaiseau

Candidate criteria
Languages

• English (Intermediate)
• French (Intermediate)

Prepared diploma

Bac+5 - Master 2

Recommended training

Computer Science

PhD opportunity

Oui

Position start date

02/02/2026

---