diff options
| -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 | |