Dimitris's repositories
sev-snp-attestation
Prototype for AMD SEV-SNP guest VM attestation
amd-linux
Linux kernel source tree
amd-mem-encryption-tests
Tests related to AMD Memory Encryption
amd-ovmf
EDK2 / OVMF related projects
amd-qemu
QEMU fork
AMDSEV
AMD Secure Encrypted Virtualization
Anchor
A Library for Building Secure Persistent Memory Systems
Anchor-Proofs
Formal proofs of Anchor's remote attestation and secure logging protocols
dimstav23.github.io
Dimitrios Stavrakakis Personal Website-Portfolio
doctor-cluster-config
NixOS configuration for TUM cluster
GDPRbench
Benchmarking how quickly storage systems respond to GDPR queries
gperftools
Main gperftools repository
gramine-examples
Sample applications configs for Gramine
latex-proj-tool
A toolset to traverse and manipulate a Latex project with multiple .tex files.
libpmemobj-cpp
C++ bindings & containers for libpmemobj
linux-svsm
Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
openssl
TLS/SSL and crypto library
phoenix
an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.
pmemkv
Key/Value Datastore for Persistent Memory
research-work-archive
Finished theses
retiolum
Mirror of https://git.thalheim.io/Mic92/retiolum
snpguest
A CLI tool for interacting with SEV-SNP guest environment
tdx-tools
Cloud Stack and Solutions for Intel TDX (Trust Domain Extension)
tum-dse-nixpkgs
Nix Packages collection