add bsc Luca Mathias

4 files changed, 20 insertions, 20 deletions

diff --git a/active_research.md b/active_research.md
index f80d5c0..3a569c2 100644
--- a/active_research.md
+++ b/active_research.md
@@ -11,17 +11,16 @@
 
 ⚠️**NOTE**: Keep the table sorted based on the end date, i.e., earliest end dates at the top.⚠️
 
-| Student            | Title                                                                                                 | Type | Advisors                               | Start date | End date   |
-|--------------------|-------------------------------------------------------------------------------------------------------|------|----------------------------------------|------------|------------|
-| Simon Dittrich     | Automated Simulation of Hierarchical Cache Coherence for CXL                                          | MA   | Anatole Lefort                         | 15.03.2024 | 15.09.2024 |
-| Francisco Kusch    | CompTN: A Compiler Infrastructure for High-Performance Tensor Network Computing                       | BA   | Nathaniel Tornow, Oğuzcan Kırmemiş     | 28.05.2024 | 28.09.2024 |
-| Luca Mathias       | Analysis and Optimization of I/O Stack of Confidential Virtual Machines                               | BA   | Masanori Misono                        | 17.06.2024 | 17.10.2024 |
-| Alexander Schindler| Evaluating the performance impact of privilege levels of Confidential Virtual Machines                | MA   | Patrick Sabanic                        | 15.11.2023 | 15.11.2024 |
-| Milen Vitanov      | Serverless Data-Processing in Unikernels using eBPF                                                   | MA   | Masanori Misono, Ilya Meignan--Masson  | 01.06.2024 | 01.12.2024 |
-| Marcin Praski      | Real-time & parallel task scheduling for Quantum Computing                                            | MA   | Emmanouil Giortamis                    | 15.06.2024 | 15.12.2024 |
-| Lan Ouyang         | Securing Databases Data Structures: Exploring CHERI for Memory Safety and Bug Detection               | MA   | Martin Fink, Ilya Meignan--Masson      | 07.08.2024 | 07.02.2025 |
-| Konstantin Garbers | Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation | BA   | Martin Fink                            | 29.10.2024 | 28.02.2025 |
-| Martin Lindbuechl  | Towards efficient memory and storage subsystems for unikernel based cloud databases                   | BA   | Ilya Meignan--Masson                   | 18.11.2024 | 18.03.2025 |
-| Michael Hackl      | CloakVM: A Library OS for Confidential Nested Virtualization                                          | MA   | Patrick Sabanic, Dimitrios Stavrakakis | 01.10.2024 | 01.04.2025 |
-| Dominik Kreutzer   | vDPDK: A Para-Virtualized DPDK Device Model for vMux                                                  | MA   | Peter Okelmann, Masanori Misono        | 18.11.2024 | 19.05.2025 |
+| Student             | Title                                                                                                 | Type | Advisors                               | Start date | End date   |
+| ------------------- | ----------------------------------------------------------------------------------------------------- | ---- | -------------------------------------- | ---------- | ---------- |
+| Simon Dittrich      | Automated Simulation of Hierarchical Cache Coherence for CXL                                          | MA   | Anatole Lefort                         | 15.03.2024 | 15.09.2024 |
+| Francisco Kusch     | CompTN: A Compiler Infrastructure for High-Performance Tensor Network Computing                       | BA   | Nathaniel Tornow, Oğuzcan Kırmemiş     | 28.05.2024 | 28.09.2024 |
+| Alexander Schindler | Evaluating the performance impact of privilege levels of Confidential Virtual Machines                | MA   | Patrick Sabanic                        | 15.11.2023 | 15.11.2024 |
+| Milen Vitanov       | Serverless Data-Processing in Unikernels using eBPF                                                   | MA   | Masanori Misono, Ilya Meignan--Masson  | 01.06.2024 | 01.12.2024 |
+| Marcin Praski       | Real-time & parallel task scheduling for Quantum Computing                                            | MA   | Emmanouil Giortamis                    | 15.06.2024 | 15.12.2024 |
+| Lan Ouyang          | Securing Databases Data Structures: Exploring CHERI for Memory Safety and Bug Detection               | MA   | Martin Fink, Ilya Meignan--Masson      | 07.08.2024 | 07.02.2025 |
+| Konstantin Garbers  | Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation | BA   | Martin Fink                            | 29.10.2024 | 28.02.2025 |
+| Martin Lindbuechl   | Towards efficient memory and storage subsystems for unikernel based cloud databases                   | BA   | Ilya Meignan--Masson                   | 18.11.2024 | 18.03.2025 |
+| Michael Hackl       | CloakVM: A Library OS for Confidential Nested Virtualization                                          | MA   | Patrick Sabanic, Dimitrios Stavrakakis | 01.10.2024 | 01.04.2025 |
+| Dominik Kreutzer    | vDPDK: A Para-Virtualized DPDK Device Model for vMux                                                  | MA   | Peter Okelmann, Masanori Misono        | 18.11.2024 | 19.05.2025 |
 
diff --git a/archive/2024/README.md b/archive/2024/README.md
index 1ae41e7..2deca4a 100644
--- a/archive/2024/README.md
+++ b/archive/2024/README.md
@@ -1,6 +1,6 @@
 # Research work in 2024
 
-## Summer semester
+## Summer **semester**
 
 | Student                           | Title                                                                                     | Type | Advisors                                 | Report/Thesis                                                                                                                    | Presentation                                                                                                                      |
 | --------------------------------- | ----------------------------------------------------------------------------------------- | ---- | ---------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
@@ -16,9 +16,10 @@
 
 ## Winter semester
 
-| Student                          | Title                                                                       | Type | Advisors                                | Report/Thesis                                                                                                     | Presentation                                                                                                      |
-| -------------------------------- | --------------------------------------------------------------------------- | ---- | --------------------------------------- | ----------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------- |
-| 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)      |
-| 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)  |
+| Student                          | Title                                                                  | Type | Advisors                          | Report/Thesis                                                                                                   | Presentation                                                                                                     |
+| -------------------------------- | ---------------------------------------------------------------------- | ---- | --------------------------------- | --------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------- |
+| 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)     |
+| 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)       |
diff --git a/archive/2024/winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf b/archive/2024/winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf
new file mode 100644
index 0000000..bb6bf36
--- /dev/null
+++ b/archive/2024/winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf
Binary files differdiff --git a/archive/2024/winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf b/archive/2024/winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf
new file mode 100644
index 0000000..7769389
--- /dev/null
+++ b/archive/2024/winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf
Binary files differ