Giters
Avery Blanchard (avery-blanchard)

avery-blanchard

Geek Repo

8

followers

3

following

40

stars

Home Page:https://avery-blanchard.github.io/

Github PK Tool:Github PK Tool

Avery Blanchard's starred repositories

gap-attacks

The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures".

Stargazers:11Issues:0Issues:0

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Language:RustLicense:MITStargazers:13044Issues:0Issues:0

AttestationEngine

An experimental (but fully functional) Remote Attestation Engine and Applications for TPM2.0 based systems (cloud, edge, IoT etc)

Language:GoLicense:BSD-3-Clause-ClearStargazers:22Issues:0Issues:0

enarx

Enarx: Confidential Computing with WebAssembly

Language:RustLicense:Apache-2.0Stargazers:1264Issues:0Issues:0

embedded-hal

A Hardware Abstraction Layer (HAL) for embedded systems

Language:RustLicense:Apache-2.0Stargazers:1878Issues:0Issues:0

hardened_malloc

Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.

Language:CLicense:MITStargazers:1212Issues:0Issues:0

raspi

Bare metal to console on the Pi 1 B+.

Language:CStargazers:1Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:30057Issues:0Issues:0

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Language:RustLicense:Apache-2.0Stargazers:2633Issues:0Issues:0

safeside

Understand and mitigate software-observable side-channels

Language:C++License:BSD-3-ClauseStargazers:496Issues:0Issues:0