l1212s-tee

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

awesome-sgx

A curated list of SGX code and resources.

blog_os

Writing an OS in Rust

cheats.rs

Rust Language Cheat Sheet - https://cheats.rs

eleos

ExitLess services for SGX enclaves

enarx.github.io

Enarx.io website: start here for info about Enarx

encfs

EncFS: an Encrypted Filesystem for FUSE.

free-programming-books

:books: Freely available programming books

fuchsia

https://fuchsia.googlesource.com/fuchsia

graphene

Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

hypervisor_formal_verification

jailhouse

Linux-based partitioning hypervisor

jailhouse-images

Jailhouse demonstration and testing images

kde

记录我的内核成长贡献之路。kernel-dev-environment

leetcode-rust-1

my leetcode solutions in rust

linux

Linux kernel source tree

mesatee

A Framework for Universal Secure Computing

MIRAI

Rust mid-level IR Abstract Interpreter

Panoply

Low-TCB Linux Applications with SGX Enclaves

redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

rust-hv

rust-sgx-sdk

Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.

rustfmt

Format Rust code

SGX-hardware

This is a list of hardware which is supports Intel SGX - Software Guard Extensions.

sgx-perf

High-level performance analyser toolkit for Intel SGX

sgx-step

A practical attack framework for precise enclave execution control

tarpaulin

A code coverage tool for Rust projects

tiny-hypervisor

xed

x86 encoder decoder