google / asylo-examples
☆22Updated 3 years ago
Alternatives and similar repositories for asylo-examples:
Users that are interested in asylo-examples are comparing it to the libraries listed below
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 8 years ago
- Running BoringSSL tests against OpenSSL☆14Updated 3 years ago
- This repository provides code for SVD and Importance sampling-based algorithms for large scale topic modeling.☆13Updated 4 years ago
- An library for processing keybase's signature tree.☆9Updated last year
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- OSS-Fuzz - continuous fuzzing of open source software☆11Updated 8 years ago
- Chromium extension to inspect W3C Web Cryptography API calls and keys.☆14Updated 10 years ago
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform fro…☆16Updated 6 years ago
- Collection of test vectors for cryptographic operations☆11Updated 9 years ago
- Library for the Intel SGX SDK with basic helper functions☆18Updated 7 years ago
- MetaSync☆21Updated 8 years ago
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Updated 2 years ago
- Auditd plugin that forwards audit events to OMS Agent for Linux☆26Updated 3 weeks ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year
- This sample code demonstrates a password manager utilizing Intel SGX.☆34Updated 8 years ago
- Experiments in converting bzip2 API to be RPC-based☆14Updated 8 years ago
- PoC of an SGX enclave performing symmetric reencryption☆49Updated 8 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- Tor anonymity network for SGX☆46Updated 5 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- Sprockets is a framework for conformance testing based on state transitions.☆11Updated 5 years ago
- ☆25Updated 3 years ago
- ☆9Updated 2 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆23Updated 2 years ago
- OSv GUI☆19Updated 8 years ago
- ☆16Updated 5 years ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆13Updated 2 years ago