I am a postdoctoral researcher at EPFL, in the Distributed Computing Laboratory led by Prof. Rachid Guerraoui. Before this, I completed my PhD at the LIP6 Laboratory of Sorbonne University, under the supervision of Prof. Maria Potop-Butucaru. I hold an MEng in Aerospace Engineering from ISAE-SupaƩro, and an MSc in Computer Science from Paris-Saclay University.
My research focuses on designing and analyzing protocols for secure distributed systems, where processes collaborate to achieve a specific functionality despite potential adversarial behavior. In such systems, some processes (referred to as Byzantine) may deviate arbitrarily from the protocol.
Recent areas of my work include:
1. Complexity of Consensus: This universal primitive enables the distributed emulation of any state machine. The natural question is, at what cost?
2. Computability and Complexity of Accountability: Beyond fault tolerance, accountability ensures that violations of specific safety properties (inevitable in overcorrupted systems) are accompanied by irrefutable proof of misbehavior. This process holds responsible parties accountable and incentivizes correct behavior. We aim to determine which functionalities can be made accountable, under which cryptographic assumptions, and at what cost.