Automatic Compartments for Embedded Systems
☆24Mar 6, 2020Updated 6 years ago
Alternatives and similar repositories for ACES
Users that are interested in ACES are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Apr 7, 2022Updated 4 years ago
- ☆12May 18, 2023Updated 3 years ago
- Compartmentalization using hardware and software techniques.☆13Aug 28, 2025Updated last year
- Security benchmarks for the Internet of Things☆22Nov 11, 2020Updated 5 years ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems☆31May 18, 2017Updated 9 years ago
- Artifacts for CO3: Concolic Co-execution for Firmware☆14Dec 30, 2024Updated last year
- ☆43Feb 26, 2023Updated 3 years ago
- ☆67Sep 3, 2020Updated 6 years ago
- MMIO based security reference monitor☆13Mar 9, 2022Updated 4 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- ☆10Dec 8, 2019Updated 6 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆40Nov 14, 2024Updated last year
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Oct 13, 2020Updated 6 years ago
- Resillent Control-Flow Attestation☆14Sep 30, 2021Updated 5 years ago
- Stealthy Attacks against Robotic Vehicles. Please read the following paper before trying out the attacks.☆15Oct 20, 2022Updated 4 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Apr 24, 2017Updated 9 years ago
- ☆26Oct 4, 2018Updated 8 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆87Apr 29, 2018Updated 8 years ago
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆18May 15, 2026Updated 5 months ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- An AFL scaling benchmarking tool☆18May 29, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆15Jul 5, 2018Updated 8 years ago
- Security-Oriented Analysis of Application Programs☆13Dec 14, 2018Updated 7 years ago
- ☆36Jul 23, 2023Updated 3 years ago
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)☆15Aug 16, 2019Updated 7 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 4 years ago
- 4D Fuzzer is a fuzzer for fuzzing programs that use MAVLink written in Python3.☆15Dec 16, 2021Updated 4 years ago
- Some simple LLVM Pass examples☆16Aug 7, 2022Updated 4 years ago
- Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation☆18Jan 28, 2026Updated 9 months ago
- AFL, modified to support multi-CB challenge sets for CGC.☆19Aug 20, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- ☆38Feb 6, 2021Updated 5 years ago
- Reproducible BinProv implementation and pretrained model for binary compilation provenance identification without disassembly.☆10Sep 6, 2026Updated last month
- ☆31Dec 16, 2022Updated 3 years ago
- Recover mutation graph from an AFL seed☆61Jan 6, 2021Updated 5 years ago
- MultiZone® Security TEE for Arm® Cortex®-M is the quick and safe way to add security and separation to any Cortex-M based device. MultiZo…☆14Aug 21, 2023Updated 3 years ago
- Securing Embedded Systems with Return Address Integrity☆16Aug 19, 2024Updated 2 years ago