☆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:
- ☆11Mar 26, 2018Updated 7 years ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- ☆21Sep 7, 2022Updated 3 years ago
- ☆18Sep 2, 2025Updated 5 months ago
- LLVM DSA fork for SeaHorn☆21Aug 17, 2019Updated 6 years ago
- Exploit Firefox Vulnerability☆24May 25, 2020Updated 5 years ago
- ☆21Nov 28, 2023Updated 2 years ago
- exec interceptor☆30May 9, 2022Updated 3 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper☆24Apr 16, 2021Updated 4 years ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated 6 months ago
- Pumilio: A Web-Based Management System for Ecological Recordings☆13Oct 29, 2018Updated 7 years ago
- ☆31Oct 25, 2021Updated 4 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- A Rust crate implementing the GDB Remote Serial Protocol☆35Jan 10, 2021Updated 5 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆30Apr 7, 2019Updated 6 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- Python interface to the SGX SDK☆31Oct 25, 2018Updated 7 years ago
- vTPM with SGX protection☆11May 30, 2019Updated 6 years ago
- Code, source data, examples, and audio excerpts for Flow: Expressive Rhythm in the Rapping Voice☆10Feb 13, 2020Updated 6 years ago
- A Low Level IL emulator for Binary Ninja☆41Feb 5, 2019Updated 7 years ago
- ☆45Apr 12, 2022Updated 3 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- i.MX Mkimage Bootloader Tool☆15Feb 12, 2026Updated 2 weeks ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆14Oct 16, 2025Updated 4 months ago
- Solaris System Administration scripts from BigAdmin and other public sources☆13Dec 26, 2023Updated 2 years ago
- The stm32mp-sign-tool is an utility for signing and verifying firmware images compatible with STM32MP MPUs☆30Dec 9, 2025Updated 2 months ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- A Tree-LSTM-based dependency tree sentiment labeler☆15May 9, 2019Updated 6 years ago
- PyGun: Procedural Generation of Anechoic Gunshot Sounds☆14Oct 8, 2016Updated 9 years ago
- 1st place solution to the DCASE 2020 - Task 5 - Urban Sound Tagging with Spatiotemporal Context☆16Dec 8, 2022Updated 3 years ago
- SChunk-Encoder (Transformer or Conformer) for streaming E2E ASR☆11Oct 21, 2022Updated 3 years ago
- ☆10Mar 26, 2019Updated 6 years ago
- A Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios☆19Feb 22, 2026Updated last week
- Tool for Evaluating Multilingual WS-353 and SimLex-999☆10Dec 15, 2016Updated 9 years ago
- ☆10Jun 5, 2023Updated 2 years ago
- Implementation of "Look, Listen and Recognise:character-aware audio-visual subtitling"☆19Nov 3, 2025Updated 3 months ago
- Resources for "Simple Speech Representation Learning from Perceptual Data".☆11Sep 18, 2023Updated 2 years ago