├── .gitignore ├── LICENSE ├── README.md ├── attestation ├── disk-key.sh └── http.conf ├── fc-config └── vm_config_base.json ├── figs └── paper │ ├── boot-verifier.pdf │ ├── concurrent-boot.pdf │ ├── ovmf-baseline.pdf │ ├── pre-encrypt.pdf │ ├── severifast-vs-qemu.pdf │ └── severifast-vs-stock-fc.pdf ├── images ├── initrd-aws-no-net.img ├── initrd-aws.img ├── initrd-lupine.img ├── initrd-ubuntu.img └── rootfs.ext4 ├── kernel-configs ├── aws-6.4.config ├── lupine-6.4.config └── ubuntu-6.4.config ├── kernel-hasher ├── .gitignore ├── Cargo.toml └── src │ └── main.rs ├── scripts ├── build.sh ├── cfg_groups.sh ├── common ├── gen-certs.sh ├── install-build-deps.sh ├── install.sh ├── network-setup.sh ├── plot-concurrent-boot.py ├── plot-copy-and-hash.py ├── plot-ovmf-breakdown.py ├── plot-pre-encrypt.py ├── plot-severifast-vs-qemu.py ├── plot-severifast-vs-stock-fc.py ├── run-all.sh ├── run-bench-concurrent.sh ├── run-bench.sh ├── run-fc.sh ├── run-pre-enc.sh ├── run-qemu.sh ├── setup-attestation-server.sh ├── setup.sh ├── start_perf.sh └── stop_perf.sh └── toy-vmm ├── .gitignore ├── Makefile └── src ├── layout.h ├── main.c ├── memory.c ├── memory.h ├── sev.c ├── sev.h ├── vm.c └── vm.h /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/README.md -------------------------------------------------------------------------------- /attestation/disk-key.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/attestation/disk-key.sh -------------------------------------------------------------------------------- /attestation/http.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/attestation/http.conf -------------------------------------------------------------------------------- /fc-config/vm_config_base.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/fc-config/vm_config_base.json -------------------------------------------------------------------------------- /figs/paper/boot-verifier.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/figs/paper/boot-verifier.pdf -------------------------------------------------------------------------------- /figs/paper/concurrent-boot.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/figs/paper/concurrent-boot.pdf -------------------------------------------------------------------------------- /figs/paper/ovmf-baseline.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/figs/paper/ovmf-baseline.pdf -------------------------------------------------------------------------------- /figs/paper/pre-encrypt.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/figs/paper/pre-encrypt.pdf -------------------------------------------------------------------------------- /figs/paper/severifast-vs-qemu.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/figs/paper/severifast-vs-qemu.pdf -------------------------------------------------------------------------------- /figs/paper/severifast-vs-stock-fc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/figs/paper/severifast-vs-stock-fc.pdf -------------------------------------------------------------------------------- /images/initrd-aws-no-net.img: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/images/initrd-aws-no-net.img -------------------------------------------------------------------------------- /images/initrd-aws.img: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/images/initrd-aws.img -------------------------------------------------------------------------------- /images/initrd-lupine.img: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/images/initrd-lupine.img -------------------------------------------------------------------------------- /images/initrd-ubuntu.img: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/images/initrd-ubuntu.img -------------------------------------------------------------------------------- /images/rootfs.ext4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/images/rootfs.ext4 -------------------------------------------------------------------------------- /kernel-configs/aws-6.4.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/kernel-configs/aws-6.4.config -------------------------------------------------------------------------------- /kernel-configs/lupine-6.4.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/kernel-configs/lupine-6.4.config -------------------------------------------------------------------------------- /kernel-configs/ubuntu-6.4.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/kernel-configs/ubuntu-6.4.config -------------------------------------------------------------------------------- /kernel-hasher/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/kernel-hasher/.gitignore -------------------------------------------------------------------------------- /kernel-hasher/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/kernel-hasher/Cargo.toml -------------------------------------------------------------------------------- /kernel-hasher/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/kernel-hasher/src/main.rs -------------------------------------------------------------------------------- /scripts/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/build.sh -------------------------------------------------------------------------------- /scripts/cfg_groups.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/cfg_groups.sh -------------------------------------------------------------------------------- /scripts/common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/common -------------------------------------------------------------------------------- /scripts/gen-certs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/gen-certs.sh -------------------------------------------------------------------------------- /scripts/install-build-deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/install-build-deps.sh -------------------------------------------------------------------------------- /scripts/install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/install.sh -------------------------------------------------------------------------------- /scripts/network-setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/network-setup.sh -------------------------------------------------------------------------------- /scripts/plot-concurrent-boot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/plot-concurrent-boot.py -------------------------------------------------------------------------------- /scripts/plot-copy-and-hash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/plot-copy-and-hash.py -------------------------------------------------------------------------------- /scripts/plot-ovmf-breakdown.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/plot-ovmf-breakdown.py -------------------------------------------------------------------------------- /scripts/plot-pre-encrypt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/plot-pre-encrypt.py -------------------------------------------------------------------------------- /scripts/plot-severifast-vs-qemu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/plot-severifast-vs-qemu.py -------------------------------------------------------------------------------- /scripts/plot-severifast-vs-stock-fc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/plot-severifast-vs-stock-fc.py -------------------------------------------------------------------------------- /scripts/run-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/run-all.sh -------------------------------------------------------------------------------- /scripts/run-bench-concurrent.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/run-bench-concurrent.sh -------------------------------------------------------------------------------- /scripts/run-bench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/run-bench.sh -------------------------------------------------------------------------------- /scripts/run-fc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/run-fc.sh -------------------------------------------------------------------------------- /scripts/run-pre-enc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/run-pre-enc.sh -------------------------------------------------------------------------------- /scripts/run-qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/run-qemu.sh -------------------------------------------------------------------------------- /scripts/setup-attestation-server.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/setup-attestation-server.sh -------------------------------------------------------------------------------- /scripts/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/setup.sh -------------------------------------------------------------------------------- /scripts/start_perf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/start_perf.sh -------------------------------------------------------------------------------- /scripts/stop_perf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/scripts/stop_perf.sh -------------------------------------------------------------------------------- /toy-vmm/.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | toy-vmm -------------------------------------------------------------------------------- /toy-vmm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/Makefile -------------------------------------------------------------------------------- /toy-vmm/src/layout.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/layout.h -------------------------------------------------------------------------------- /toy-vmm/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/main.c -------------------------------------------------------------------------------- /toy-vmm/src/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/memory.c -------------------------------------------------------------------------------- /toy-vmm/src/memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/memory.h -------------------------------------------------------------------------------- /toy-vmm/src/sev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/sev.c -------------------------------------------------------------------------------- /toy-vmm/src/sev.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/sev.h -------------------------------------------------------------------------------- /toy-vmm/src/vm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/vm.c -------------------------------------------------------------------------------- /toy-vmm/src/vm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SEVeriFast/severifast/HEAD/toy-vmm/src/vm.h --------------------------------------------------------------------------------