microsoft / RIoT
Robust Internet of Things, Microsoft Research
☆83Updated last year
Alternatives and similar repositories for RIoT:
Users that are interested in RIoT are comparing it to the libraries listed below
- Security and Privacy Research at Microsoft☆40Updated 6 months ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆105Updated 2 years ago
- TPM 2.0 Simulator Extraction Script☆48Updated 7 years ago
- The Intel(R) Enhanced Privacy ID Software Development Kit☆30Updated 2 years ago
- Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜☆22Updated 3 years ago
- ☆34Updated 2 years ago
- This repo is used for managing conversations about Veraison features☆52Updated last year
- ☆60Updated 2 months ago
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆31Updated 4 months ago
- Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.☆80Updated 7 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Parse TPM 2.0 Command and Response streams☆26Updated last year
- Minimal RISC Extensions for Isolated Execution☆52Updated 5 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- Simple memory benchmarking of Intel SGX☆12Updated 8 years ago
- Device Identifier Composition Engine☆11Updated 3 years ago
- ☆70Updated 4 years ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆105Updated 3 years ago
- Makefiles to use OP-TEE on various platforms☆116Updated this week
- ☆79Updated 2 years ago
- Intel® Software Guard Extensions SSL☆229Updated 2 months ago
- RATS Architecture☆17Updated 6 months ago
- Spectre attack against SGX enclave☆233Updated 7 years ago
- Tutorials from TPM.dev members☆103Updated 8 months ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆30Updated 6 years ago
- Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system☆20Updated this week
- This project is an implementation of the TCG TPM 2.0 specification. It is based on the TPM specification Parts 3 and 4 source code donate…☆28Updated 3 months ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 8 years ago