TrustZone True Number Generator
☆42Apr 5, 2022Updated 3 years ago
Alternatives and similar repositories for TZ-TRNG
Users that are interested in TZ-TRNG are comparing it to the libraries listed below
Sorting:
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- The labs of ARC university courses☆12Aug 29, 2023Updated 2 years ago
- Open sourced implementation of a prototype for Hyperledger Fabric chaincode execution with OP-TEE. This work is part of the master thesis…☆14Sep 10, 2019Updated 6 years ago
- PSA-ADAC SDC-600 Secure Debug Manager library for authenticated debug☆15Mar 18, 2025Updated 11 months ago
- AMD SEV-SNP rust utils☆16May 13, 2025Updated 9 months ago
- Loadable Module for Keystone Enclave☆19Sep 24, 2022Updated 3 years ago
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- A configurable general purpose graphics processing unit for☆12May 18, 2019Updated 6 years ago
- Keystone security monitor library for opensbi (Discountinued after monorepo-izing)☆13Oct 28, 2022Updated 3 years ago
- #HypeBotHype☆16Dec 24, 2020Updated 5 years ago
- MultiZone® Trusted Firmware is the quick and safe way to build secure IoT applications with any RISC-V processor. It provides secure acce…☆20Jan 22, 2024Updated 2 years ago
- ☆16Nov 28, 2024Updated last year
- A self-healing FreeRTOS based on ARM TrustZone☆17May 11, 2024Updated last year
- This simulator for Nand Flash, FTL and so on.☆17Mar 18, 2022Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Linux kernel build scripts and patches for Fedora/RISC-V☆16Nov 8, 2018Updated 7 years ago
- Linux Kernel TLS/DTLS Module Tool☆22Jul 31, 2017Updated 8 years ago
- ☆18Sep 2, 2020Updated 5 years ago
- User programs for rCore OS☆19Jun 7, 2022Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 7 years ago
- ☆28Jan 7, 2026Updated last month
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- The Silence of Intelligence — A comprehensive analysis of Anthropic CEO Dario Amodei's philosophy on Scaling Laws, AI safety, and the fut…☆18Updated this week
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Dec 16, 2022Updated 3 years ago
- Security Test Benchmark for Computer Architectures☆21Sep 24, 2025Updated 5 months ago
- Distributed Systems Reading Group☆20Nov 28, 2017Updated 8 years ago
- RISCV CPU implementation in SystemVerilog☆32Oct 1, 2025Updated 5 months ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Aug 18, 2022Updated 3 years ago
- ☆23Jun 23, 2023Updated 2 years ago
- An FPGA-based NetTLP adapter☆27Mar 10, 2020Updated 5 years ago
- Free-List Memory Pool of fixed-size objects in C99☆50Feb 25, 2023Updated 3 years ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆24Apr 20, 2022Updated 3 years ago
- ☆11May 31, 2016Updated 9 years ago
- Upstream Linux Kernel Validation Project Dashboard☆28Apr 30, 2024Updated last year
- Demo host and enclave applications exercising most functionality.☆32Jun 12, 2023Updated 2 years ago
- ☆26Nov 16, 2023Updated 2 years ago
- CoPHEE is a Co-processor for Partially Homomorphic Encrypted Encryption.☆36Feb 21, 2024Updated 2 years ago