Jiewen Yao's repositories
Understanding_UEFI_Secure_Boot_Chain
This document introduces how to implement a secure boot chain in UEFI using the TianoCore EDK II project
edk2-platforms
EDK II sample platform branches and tags
edk2-TrustedBootChain
Source files in markdown format for Understanding the Trusted Boot Chain Implementation
EDK_II_Secure_Code_Review_Guide
Secure Code Review Guide for EDK II
EDK_II_Secure_Coding_Guide
The purpose of this document is to help build robust firmware using EDK II. This supplements other documents related to secure design of EDK II code.
compiler-builtins
Porting `compiler-rt` intrinsics to Rust
Language:RustNOASSERTION000
liboqs-rust
Rust bindings for liboqs
Apache-2.0000
model-QUIC
QUIC formal model for ProVerif
000
Language:C000
netmf-interpreter
.NET Micro Framework Interpreter
NOASSERTION000
Language:C000
PQClean
Clean, portable, tested implementations of post-quantum cryptography
000
pqcrypto
Rust Post-Quantum cryptography
000
Language:RustApache-2.0000
Language:C++000
wasm-micro-runtime
WebAssembly Micro Runtime (WAMR)
Apache-2.0000
LGPL-2.1000