microsoft / RIoTLinks
Robust Internet of Things, Microsoft Research
☆85Updated 2 years ago
Alternatives and similar repositories for RIoT
Users that are interested in RIoT are comparing it to the libraries listed below
Sorting:
- TPM 2.0 Simulator Extraction Script☆49Updated 7 years ago
- Security and Privacy Research at Microsoft☆43Updated 9 months ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- ☆61Updated 4 months ago
- This repo is used for managing conversations about Veraison features☆52Updated last year
- The Intel(R) Enhanced Privacy ID Software Development Kit☆30Updated 2 years ago
- Reference implementation of the TCG Trusted Platform Module 2.0 specification.☆361Updated 3 months ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- ☆71Updated last year
- Minimal RISC Extensions for Isolated Execution☆53Updated 5 years ago
- RATS Architecture☆17Updated 9 months ago
- Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜☆22Updated 3 years ago
- wolfTPM is a highly portable TPM 2.0 library, designed for embedded use.☆274Updated last 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…☆31Updated 3 weeks ago
- The development of Mbed Crypto has moved to Mbed TLS. No updates will be made to the mbed-crypto repository anymore.☆105Updated last year
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆33Updated 7 years ago
- Security Project☆88Updated 2 years ago
- ☆34Updated 2 years ago
- Interfaces between SGX SDKs and the Azure Attestation SGX Certification Cache.☆63Updated 3 months ago
- ☆79Updated 2 years ago
- Tests for verifying implementations of TBSA-v8M and the PSA Certified APIs☆69Updated 2 weeks ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- mTower is Trusted Execution Environment specially designed to be used on MicroController Units (MCUs) supporting ARM TrustZone technology…☆56Updated last month
- FourQlib is an efficient and portable cryptographic library that provides functions for computing elliptic curve based operations on the …☆88Updated 2 years ago
- Parse TPM 2.0 Command and Response streams☆28Updated 2 years ago
- ☆70Updated 5 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆73Updated 3 months ago
- Spectre attack against SGX enclave☆235Updated 7 years ago