Semester Projects under the direction of Prof. Edouard Bugnion and the supervising PhD students.
Student | Title | Supervising PhD Student | Year |
Alexandre Doukhan | On software-based solutions for dynamic root of trust for security monitors in RISC-V | Neelu Kalani | 2024 |
Sofia Saltovskaia | Porting Miralis to the VisionFive2 | Charly Castes | 2024 |
Abel Vexina Wilkinson | Firmware virtualization with Mirage | Charly Castes | 2024 |
Noé Terrier | Virtual interrupts on Miralis | Charly Castes | 2024 |
Emi Sakamoto | Using a distributed tracing tool (eg, Zipkin) to visualize RPC packet traces in network simulation. | Konstantinos Prasopoulos | 2023 |
Benoit Morawiec | On-premise software deployment | 2023 | |
Alexandre Doukhan | Establishing Dynamic Root of Trust for RISC-V | Neelu Kalani | 2023 |
Noé Terrier | Exploring Kernel Drivers in Rust | Charly Castes | 2023 |
Maëlys Billon | A Communication Library for TEEs | Charly Castes | 2023 |
Pavle Janevski | Providing Remote Attestation for Trust Domains | Neelu Kalani | 2023 |
Xuehan Tang | Quantifying the potential benefits of the premise of ”Just in time delivery” | Konstantinos Prasopoulos | 2023 |
Maëlys Billon | Trusted Boot with Intel TXT | Charly Castes | 2022 |
Filippo Costa | Verifying Rust Code with Serval | Charly Castes | 2022 |
David Desboeufs | A Finite Interface Frame Allocator | Charly Castes | 2022 |
François Dumoncel | Specification and evaluation of Homa’s retransmission mechanisms | Konstantinos Prasopoulos | 2022 |
Pablo Stebler | Performance characterization of Homa over DPDK | Konstantinos Prasopoulos | 2022 |
Michael Paper | Verified Page Tables Manipulation | Charly Castes | 2022 |
Baptiste Lecoeur | Fuzzing CS-212 | 2021 | |
Frank Khayat | Fuzz-Corpus | Charly Castes | 2021 |
Aurélien Clergeot | Fuzz-Corpus | Charly Castes | 2021 |
Elsa Weber | Sandboxing on untrusted Python packages | Adrien Ghosn | 2020 |
Guillaume Solignac | Encrypted RPCs over R2P2 | Marios Kogias | 2020 |
Paul Renauld | Implementing exactly-once semantics for R2P2 | Marios Kogias | 2020 |
Mathieu De Beule | Introduction to eBPF | Marios Kogias | 2020 |
Charly Castes | Exploring Intel MPK backends for Go litterbox | Adrien Ghosn | 2020 |
Mikael Morales Gonzalez | Restricting untrusted code modules | Adrien Ghosn | 2019 |
Elsa Weber | Restricting untrusted code modules | Adrien Ghosn | 2019 |
Mikael Morales Gonzalez | Webserver Benchmarking Tool | Marios Kogias | 2019 |
Martin Takeya Weber | Userspace scheduling | Marios Kogias | 2018 |
Konstantinos Tsitsimpikos | Evaluating and optimizing the RPC aggregation layer | Marios Kogias | 2018 |
Konstantinos Prasopoulos | Implementation and end-to-end evaluation of High-bandwidth Ultra-Low Latency (HULL) architecture | Mia Primorac | 2018 |
Charline Montail | Infrastructure for webserver benchmarking | Marios Kogias | 2018 |
Sanadhi Sutandi I Made | Evaluation of the QUIC protocol | Marios Kogias | 2017 |
Andy Roulin | Intel x710 (40GbE) support in IX dataplane OS | 2016 | |
Fabian Raho Moritz | Porting a consensus algorithm to the IX dataplane operating | Georges Prekas | 2016 |
Cherif Khalil | Tous les DNS sont-ils équivalents ? | Jonas Fietz | 2016 |
Nour Abassi | Efficacité du DNS | Jonas Fietz | 2016 |