This is the main repository of the ALFA framework project! Jump here to start developping with ALFA.
☆18Jun 16, 2025Updated last year
Alternatives and similar repositories for alfa-framework
Users that are interested in alfa-framework are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CROSSCON-Hypervisor, a Lightweight Hypervisor☆23Jul 6, 2026Updated last month
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Jun 26, 2026Updated 2 months ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆25Updated this week
- RISC-V IOMMU Demo (Linux & Bao)☆24Dec 5, 2023Updated 2 years ago
- Bao, a Lightweight Static Partitioning Hypervisor☆567Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆38May 4, 2024Updated 2 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆55Aug 21, 2026Updated last week
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- Multi-Tenant Device Access☆44Aug 25, 2026Updated last week
- CHERI ISA Specification☆26Mar 13, 2026Updated 5 months ago
- OBPMark (On-Board Processing Benchmarks)☆37Jul 25, 2023Updated 3 years ago
- Lane Detection for autonomous driving done in python/C++ OpenCV☆27Mar 1, 2018Updated 8 years ago
- Learning exercises for CHERI☆21Jun 30, 2025Updated last year
- A tool to run litmus tests on bare-metal hardware☆13Mar 13, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An Intrusion Detection System for Contiki OS☆19Apr 18, 2020Updated 6 years ago
- MultiZone free and open API definition☆15Oct 26, 2021Updated 4 years ago
- ☆26Jul 22, 2026Updated last month
- AIA IP compliant with the RISC-V AIA spec☆47Jan 27, 2025Updated last year
- The RAS Error-record Register Interface provides a specification to augment RAS features in RISC-V SOC hardware to standardize reporting …☆11Updated this week
- ☆15Aug 24, 2026Updated last week
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆121Sep 24, 2025Updated 11 months ago
- Adaptative Bitrate video plugin for Image Transport (Ros 2). H264 Codec based. Bachelor's degree final proyect.☆18Jan 21, 2025Updated last year
- Virtualisation platform using CHERI for isolation and sharing☆40Jun 5, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated 2 years ago
- SyzTrust's main repository. Start here to install.☆19Feb 29, 2024Updated 2 years ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Aug 3, 2022Updated 4 years ago
- A networked FPGA key-value store written in Clash☆30Apr 1, 2024Updated 2 years ago
- A tool for estimating a system's information leakage via Machine Learning☆10Jun 28, 2024Updated 2 years ago
- ☆16Nov 28, 2024Updated last year
- QEMU with support for CHERI☆67Jul 23, 2026Updated last month
- ☆18Feb 26, 2026Updated 6 months ago
- Software Development Kit designed to bring seamless compatibility between the PSG1 console and Unity☆23Sep 19, 2025Updated 11 months 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.
- ☆20Jun 16, 2026Updated 2 months ago
- ☆22Mar 1, 2026Updated 6 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated 2 years ago
- A modular, parametrizable, and highly flexible Data Movement Accelerator (DMA)☆236Updated this week
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- Lab Mouse Security research pertaining to RISC-V☆11May 13, 2017Updated 9 years ago