... | ... | @@ -29,7 +29,6 @@ |
|
|
* CHAVANON Clément : A verified compiler for packet filtering
|
|
|
|
|
|
#### Friday, June, 30, 9AM - 11AM: Isabelle Puaut + Mathieu Acher + supervisors. Room Guernesey
|
|
|
* SOURISSEAU Manon: Byzantine Network Partition Detection
|
|
|
* LEREVEREND Dimitri: Decentralized Machine Learning: Privacy Protection through Private Averaging
|
|
|
* KILIAN Sébastien: Stochastic analysis of rumor spreading with multiple pull operations in presence of Byzantine nodes
|
|
|
* ACHER Quentin: A CRDT-based approach for mutable data in IPFS
|
... | ... | @@ -37,4 +36,5 @@ |
|
|
#### Friday, February, 30, 2PM - 4PM: Isabelle Puaut + Mathieu Acher + supervisors. Room Guernesey
|
|
|
* RAVON Kilian: Color-based energy reduction for climate change
|
|
|
* LEOTHAUD Dylan: Synthèse automatique de micro-architectures pour WebAssembly
|
|
|
* RIOU Stanislas: Automatisation de preuves de protocoles : utilisation des solveurs SMT dans l’outil Squirrel |
|
|
\ No newline at end of file |
|
|
* RIOU Stanislas: Automatisation de preuves de protocoles : utilisation des solveurs SMT dans l’outil Squirrel
|
|
|
* SOURISSEAU Manon: Byzantine Network Partition Detection |