A security oriented SoC featuring a custom pipelined RISC-V core and LCD-TFT controller
☆21Dec 26, 2020Updated 5 years ago
Alternatives and similar repositories for pretty-secure-processor
Users that are interested in pretty-secure-processor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Materials from the DEF CON 30 talk on PACMAN☆35Oct 28, 2022Updated 4 years ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆14Nov 14, 2023Updated 2 years ago
- Student Starter Code for Secure Hardware Design at MIT☆103Mar 1, 2026Updated 8 months ago
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- 🔎 Fast, local search across the CS research literature, with an expressive query language, an interactive TUI, and scriptable output.☆28Sep 18, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- HOPE-MLKEM: A Framework for designing High-Order Side-Channel Protected Hardware Implementations of ML-KEM☆18Apr 28, 2026Updated 6 months ago
- A UNIX-like OS targeting AMD64 compatible processors☆20Mar 5, 2022Updated 4 years ago
- SCAbox's website☆12Oct 14, 2022Updated 4 years ago
- Windows Kernel-Mode Keylogger - Educational rootkit driver intercepting keyboard IRPs for UDP logging. Demonstrates stealth persistence, …☆16Dec 4, 2025Updated 10 months ago
- CryptoBAP: Automated Side-Channel Analysis of Cryptographic Protocols Implementations☆14Sep 30, 2026Updated last month
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆17Nov 4, 2024Updated last year
- Source code & scripts for experimental characterization and demonstration of performing NOT and up to 16-input AND, NAND, OR, and NOR ope…☆15Apr 9, 2024Updated 2 years ago
- Source code for DABANGG attack.☆11Mar 26, 2022Updated 4 years ago
- Student lab assignments for MIT 6.1600☆14Oct 13, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [ASPLOS 2026, Best Paper Honorable Mention] Highly Automated Verification of Security Properties for Unmodified System Software☆21Oct 21, 2026Updated last week
- Linux kernel source tree with changes to support LVBS with Hyper-V☆23Sep 12, 2024Updated 2 years ago
- Side-channel traces visualizer☆17Apr 28, 2025Updated last year
- Python control library for the Faultier fault-injection tool.☆19Sep 17, 2025Updated last year
- Full (as far as I'm aware) firmware dump of the Arcadyan AW1000, aka Telstra 5G Smart Modem.☆12Mar 28, 2022Updated 4 years ago
- A collection of various FFT algorithms implemented in C for educational purpose.☆23Jan 31, 2021Updated 5 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- A public repository for the class, "Software Security" at Seoul National University (SNU)☆13May 11, 2021Updated 5 years ago
- High-Speed Hardware Architecture for Falcon Signature Generation Algorithm☆15Feb 27, 2025Updated last year
- 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.
- Discord bot to fetch UIUC classes.☆18Dec 23, 2023Updated 2 years ago
- Moebius is a cross-chain oracle that bridges on-chain Ethereum data to Solana.☆10Nov 12, 2020Updated 5 years ago
- ☆27Feb 19, 2026Updated 8 months ago
- ☆11Feb 9, 2022Updated 4 years ago
- A RISC-V system simulator with VGA, UART, memory, and JTAG debugging, interconnected with SystemC/TLM, designed with operating systems an…☆16Apr 21, 2020Updated 6 years ago
- Load Balancer for fault-tolerant Ethereum and Bitcoin infrastructure (+ forks)☆10Sep 12, 2018Updated 8 years ago
- ☆18Apr 20, 2023Updated 3 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆90Nov 10, 2025Updated 11 months ago
- Device description files (architecture, timing, configuration bitstream, and general documentation) for EOS S3 MCU+eFPGA SoC☆27Sep 1, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Exercises for the course Cyber Security III: Software and Hardware Security IC00AJ74☆23Sep 24, 2026Updated last month
- `balanceOf` except it checks against many ERC20 tokens at once☆13Aug 11, 2026Updated 2 months ago
- PoC for our attacks on MEGA.☆31Jun 6, 2022Updated 4 years ago
- ☆13Sep 12, 2025Updated last year
- Masked implementations of PQ schemes for the Cortex-M4.☆21Mar 11, 2026Updated 7 months ago
- This project is an open-source block explorer on EVM chain. you can find frontend code in this repository.☆10Dec 20, 2022Updated 3 years ago
- ☆23May 21, 2024Updated 2 years ago