mesalock-linux/tpm2-tss-verified

Stars
11
Rank 1,694,829 (Top 34 %)
Language
C
License
Other
Created over 5 years ago
Updated over 5 years ago

mesalock-linux/tpm2-tss-verified

mesalock-linux

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A modified version of tpm2-tss that passed memory safety formal verification

mesalink

OpenSSL compatibility layer for the Rust SSL/TLS stack

mesapy

A Fast and Safe Python based on PyPy

mesalock-distro

MesaLock Linux: a memory-safe Linux distribution.

gbdt-rs

MesaTEE GBDT-RS : a fast and secure GBDT library, supporting TEEs such as Intel SGX and ARM TrustZone

brpc-rs

Apache bRPC library for Rust

mesabox

A collection of core system utilities written in Rust for Unix-like systems (and now Windows)

minit

An init utility purely written in Rust.

giproute2

An iproute2 utility written in Go.

packages

MesaLock Linux packages.

mkpkg

Parallel package builder written in Rust

crates-sgx

rusty_leveldb_sgx

mgetty

A getty utility purely written in Rust.

loginutils

Rust rewrite of login utilities.

taurus

TEE Audit in Rust

docs

MesaLock Linux Documentation

rust-sgx-benchmark

protected_fs_rs

Rust bindings for ProtectedFS

useful-docker

brpc-rs-docs

Docs for brpc-rs, brpc-build, and brpc-sys

realbox

libc

mesapy-benchmarks

Scripts for performance benchmarks

compiler-builtins

rust