diff options
| author | Julian Pritzi <julian.pritzi@gmail.com> | 2025-05-19 14:27:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-19 14:27:38 +0200 |
| commit | 4387677e7de12b07f0b640a0f4514542001fdbf1 (patch) | |
| tree | 4a91cd725aef49f2093623ed564b740bf0582181 | |
| parent | 5900070b4d1d2b93108d63d11455eed6664a7d52 (diff) | |
| download | research-work-archive-4387677e7de12b07f0b640a0f4514542001fdbf1.tar.gz research-work-archive-4387677e7de12b07f0b640a0f4514542001fdbf1.zip | |
Update active_research.md
| -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 7d0b1d4..29f0074 100644 --- a/active_research.md +++ b/active_research.md @@ -21,3 +21,4 @@ | 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 | +| Tristan Schwieren | Automated Formal Verification of SHA-3 | MA | Julian Pritzi, Dennis Sprokholt | 15.05.2025 | 17.11.2025 | |