diff options
| author | CarpeNiem <95174185+NicCarp11@users.noreply.github.com> | 2025-06-10 09:07:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-10 09:07:06 +0200 |
| commit | 5e0ed1203a4ef2aaebf160a965243f1986c0f9a7 (patch) | |
| tree | 5418a9fa36a19bf11f949fed522c1219b75ab7d8 | |
| parent | 4387677e7de12b07f0b640a0f4514542001fdbf1 (diff) | |
| download | research-work-archive-5e0ed1203a4ef2aaebf160a965243f1986c0f9a7.tar.gz research-work-archive-5e0ed1203a4ef2aaebf160a965243f1986c0f9a7.zip | |
Added Victor thesis
| -rw-r--r-- | active_research.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/active_research.md b/active_research.md index 29f0074..3b3d731 100644 --- a/active_research.md +++ b/active_research.md @@ -21,4 +21,5 @@ | Sandro-Alessio Gierens| Design and Implementation of Secure Hypervisor for Confidential Virtual Machines | MA | Masanori Misono | 03.03.2025 | 03.12.2025 | | Shrief Hussien | GDPR Metadata Indexing Optimization | MA | Dimitrios Stavrakakis | 31.03.2025 | 30.09.2025 | | Christian Krinitsin | Analysis and Verification of Semantic Mistranslation Errors in Emulators | BA | Theofilos Augoustis, Sebastian Reimers | 12.05.2025 | 12.09.2025 | +| Victor Fritz Trost | Exploration of MESIF protocol for ProtoSLICC | BA | Nicolò Carpentieri, Anatole Lefort | 10.06.2025 | 10.10.2025 | | Tristan Schwieren | Automated Formal Verification of SHA-3 | MA | Julian Pritzi, Dennis Sprokholt | 15.05.2025 | 17.11.2025 | |