Fixing Cristian Sandu's title

TUM-DSE · Nov 26, 2024 · 754500d · 754500d
1 parent 46bda07
commit 754500d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/archive/2024/README.md b/archive/2024/README.md
@@ -20,6 +20,6 @@
 | -------------------------------- | ---------------------------------------------------------------------- | ---- | --------------------------------- | --------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------- |
 | Liangrun Da                      | Design and Verification of Byzantine Fault Tolerant CRDTs              | MA   | Martin Kleppmann                  | [PDF](winter/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf)                | [PDF](winter/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf)                |
 | Stephan Lukasewitz, Kevin Nöller | Feedback-driven usability testing for hotel software                   | MA   | Bernd Brügge                      | [PDF](winter/docs/msc_lukasewitz_noeller_feedback_driven_usability_testing_for_hotel_software.pdf)              | [PDF](winter/talks/msc_lukasewitz_noeller_feedback_driven_usability_testing_for_hotel_software.pdf)              |
-| Cristian Sandu                   | Feedback-driven usability testing for hotel software                   | MA   | Ilya Meignan--Masson, Martin Fink | [PDF](winter/docs/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf)     | [PDF](winter/talks/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf)     |
+| Cristian Sandu                   | Evaluating CHERI for hardware-assisted memory safety in databases      | MA   | Ilya Meignan--Masson, Martin Fink | [PDF](winter/docs/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf)     | [PDF](winter/talks/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf)     |
 | Julian Pritzi                    | Formal Verification of Heterogeneous Cache Coherence Protocols for CXL | MA   | Dr. Anatole Lefort                | [PDF](winter/docs/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf) | [PDF](winter/talks/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf) |
 | Luca Mathias                     | Performance Analysis and Optimization of Confidential Virtual Machines | BA   | Dr. Masanori Misono               | [PDF](winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf)       | [PDF](winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf)       |