Similar repositories to ksplit/ksplit-artifacts:

• ksplit/ksplit-artifacts github similar
• secure-foundations/provably-safe-sandboxing-wasm-usenix22 github similar
• lizhuohua/rust-ffi-checker github similar
• keystone-enclave/keystone-sdk github similar
• dennisaa/patharmor github similar
• Penglai-Enclave/Penglai-Enclave-sPMP github similar
• sslab-gatech/sgx-tutorial-ccs17 github similar
• lizhuohua/rust-mir-checker github similar
• apache/incubator-teaclave-trustzone-sdk github similar
• GaloisInc/swanky github similar
• blt/bughunt-rust github similar
• GoSSIP-SJTU/GoSSIP_Blog github similar
• dingelish/SGXfail github similar
• mesalock-linux/gbdt-rs github similar
• lsds/sgx-lkl github similar
• BoltzmannEntropy/polarization github similar
• intel/linux-sgx-driver github similar
• xldenis/creusot github similar
• keystone-enclave/keystone github similar
• jovanbulck/sgx-step github similar
• mesalock-linux/mesalock-distro github similar
• mesalock-linux/mesapy github similar
• PLSysSec/haybale github similar
• vschiavoni/sgx-papers github similar
• MPC-SoK/frameworks github similar
• ProofGeneral/PG github similar
• pmem/syscall_intercept github similar
• ayeks/SGX-hardware github similar
• model-checking/kani github similar
• googleprojectzero/ktrw github similar
• viperproject/prusti-dev github similar
• mirrorer/afl github similar
• apache/incubator-teaclave github similar
• lizhuohua/linux-kernel-module-rust github similar
• lkl/linux github similar
• apache/incubator-teaclave-sgx-sdk github similar
• sslab-gatech/Rudra github similar
• facebookexperimental/MIRAI github similar
• openenclave/openenclave github similar
• SinaKarvandi/Hypervisor-From-Scratch github similar