☆23Jun 9, 2021Updated 4 years ago
Alternatives and similar repositories for asylo-examples
Users that are interested in asylo-examples are comparing it to the libraries listed below
Sorting:
- ☆21Sep 7, 2022Updated 3 years ago
- PoC exploits against various SGX enclaves☆13May 19, 2022Updated 3 years ago
- An open and flexible framework for developing enclave applications☆981Apr 12, 2022Updated 3 years ago
- ☆11Mar 26, 2018Updated 7 years ago
- ☆17Aug 31, 2023Updated 2 years ago
- Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper☆24Apr 16, 2021Updated 4 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Jun 13, 2016Updated 9 years ago
- PiCAS executor + ROS 2 Real-Time Working Group's reference system☆12Oct 4, 2023Updated 2 years ago
- Python interface to the SGX SDK☆31Oct 25, 2018Updated 7 years ago
- High-level performance analyser toolkit for Intel SGX☆39Aug 30, 2019Updated 6 years ago
- LLVM DSA fork for SeaHorn☆21Aug 17, 2019Updated 6 years ago
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- Exploit Firefox Vulnerability☆24May 25, 2020Updated 5 years ago
- Base Ubuntu image for the ownCloud stack☆11Updated this week
- ☆14Jul 14, 2016Updated 9 years ago
- Setup for Octo and some experiments with the model☆12Apr 11, 2024Updated last year
- ☆18Mar 10, 2026Updated last week
- ☆31Jul 21, 2020Updated 5 years ago
- ☆18Sep 2, 2025Updated 6 months ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 4 months ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 3 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- DANCERS is a co-simulator suited for multi-robot simulation. It merges a multi-robot simulator -- Gazebo or any other -- with a network s…☆16Jan 30, 2026Updated last month
- ☆13Aug 4, 2022Updated 3 years ago
- ☆11Feb 26, 2017Updated 9 years ago
- ☆21Nov 28, 2023Updated 2 years ago
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 4 years ago
- Compact Proofs of Retrievability☆13May 28, 2014Updated 11 years ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated 6 months ago
- exec interceptor☆30May 9, 2022Updated 3 years ago
- CVE-2014-0816☆25Oct 5, 2016Updated 9 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- PRINCESS source code☆11Oct 15, 2016Updated 9 years ago
- ☆11Jun 10, 2024Updated last year
- A Rust crate implementing the GDB Remote Serial Protocol☆35Jan 10, 2021Updated 5 years ago
- Simple filtering and denormalization for Mongoose.☆53Mar 21, 2017Updated 9 years ago
- How to send message/data from Django/Python to NodeJS using RabbitMQ☆14Nov 6, 2015Updated 10 years ago