mesalock-linux/tpm2-tss-verified mesalock-linux/tpm2-tss-verified

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    C
  • License
    Other
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mesalock-linux/tpm2-tss-verified
github

mesalock-linux

Reviews

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

Repository Details

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

More Repositories

1

mesalink

OpenSSL compatibility layer for the Rust SSL/TLS stack
Rust
1,485
star
2

mesapy

A Fast and Safe Python based on PyPy
Python
369
star
3

mesalock-distro

MesaLock Linux: a memory-safe Linux distribution.
Shell
368
star
4

gbdt-rs

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

brpc-rs

Apache bRPC library for Rust
Rust
162
star
6

mesabox

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

minit

An init utility purely written in Rust.
Rust
23
star
8

giproute2

An iproute2 utility written in Go.
Go
20
star
9

packages

MesaLock Linux packages.
Shell
13
star
10

mkpkg

Parallel package builder written in Rust
Rust
9
star
11

crates-sgx

Python
8
star
12

rusty_leveldb_sgx

Rust
7
star
13

mgetty

A getty utility purely written in Rust.
Rust
6
star
14

loginutils

Rust rewrite of login utilities.
Rust
4
star
15

taurus

TEE Audit in Rust
Rust
4
star
16

docs

MesaLock Linux Documentation
4
star
17

rust-sgx-benchmark

C++
3
star
18

protected_fs_rs

Rust bindings for ProtectedFS
C
2
star
19

useful-docker

Daily updates
1
star
20

brpc-rs-docs

Docs for brpc-rs, brpc-build, and brpc-sys
HTML
1
star
21

realbox

Rust
1
star
22

libc

Rust
1
star
23

mesapy-benchmarks

Scripts for performance benchmarks
Python
1
star
24

compiler-builtins

Rust
1
star
25

rust

Rust
1
star