eigenform
Follow
Stars
muvm - run programs from your system in a microVM
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)
Experiments using PSLQ to break Learning With Errors (LWE)
A Hardware Description Language based on the Rust Programming Language
PyCaliper is Python-based tooling infrastructure that allows the verification and synthesis of specifications (properties) for RTL (e.g., Verilog, SystemVerilog)
Information & PoC for CVE-2024-45200, Mario Kart 8 Deluxe's "KartLANPwn" buffer overflow vulnerability
A rust library for extracting content from pdfs
Specification for the CXXRTL debug server protocol
D2 is a modern diagram scripting language that turns text to diagrams.
Pytest plugin adding fixture for Amaranth simulation (in Python).
A microarchitectural leakage detection framework using dynamic instrumentation.
VS Code based debugger for hardware designs in Amaranth or Verilog
Security Vulnerabilities Publicly Credited to the Team
Framework for in-VM test execution and monitoring, inspired by Sandsifter
💎 A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
UFFAF - UEFI Firmware Foundational Automation Framework (formerly XmlCli)
Scriptable tool to read and write UEFI variables from EFI shell. View, save, edit and restore hidden UEFI (BIOS) Setup settings faster than with the OEM menu forms.
Rust utility to extract UEFI IFR data into human-readable text