|
❤️
Amélioration de la classification flexible de paquets dans des dataplanes logiciels
|
2025 |
|
Technologies utilisées : C++
|
[Rapport de stage]
|
|
Implémentation de primitives cryptographiques
|
2025 |
-
Travaux dirigés du cours INF568 de l'École polytechnique
-
Cours dispensé par
Benjamin Smith
(LIX)
Technologies utilisées : Rust
|
[Répertoire]
|
|
Compilateur
|
2025 |
|
Technologies utilisées : OCaml
|
[Rapport]
[Répertoire]
|
|
Assistant de preuve
|
2024 |
-
Projet individuel pour le cours INF551 de l'École polytechnique
-
Cours dispensé par
Samuel Mimram
(INRIA)
Technologies utilisées : OCaml
|
[Rapport]
[Répertoire]
|
|
Simulation d'univers non-euclidéen
|
2024 |
-
Projet en binôme pour le cours INF443 de l'École
polytechnique
-
Travaux dirigés par
Damien Rohmer
(LIX)
Technologies utilisées : C++, OpenGL, GLSL
|
[Démo vidéo]
[Rapport]
[Répertoire]
|
|
❤️
Échange de clé authentifié par mot de passe post-quantique
|
2023 - 2024 |
-
Projet scientifique collectif (PSC) en cryptographie à l'École polytechnique
-
Encadré par
Mélissa Rossi
(ANSSI)
- Nominé au prix du meilleur PSC
Technologies utilisées : C, Python
|
[Page publique]
[Rapport]
[Soutenance]
[Répertoire]
|
|
Simulation du routage de paquet sur un réseau
|
2022 |
- Travail d'initiative personnelle encadré
-
Présenté aux concours d'entrée à l'École normale supérieure et aux tétraconcours
Technologies utilisées : Python
|
[Rapport ENS]
[Soutenance Tétraconcours]
[Répertoire]
|
|
Nomenclature et visualisation des alcanes acycliques
|
2019 |
|
Technologies utilisées : Python
|
[Démo vidéo]
[Répertoire]
|