Lists (12)
Starred repositories
Proof-of-concept code for the IEEE S&P 2025 paper "Peek-a-Walk: Leaking Secrets via Page Walk Side Channels"
Reads a state transition system and performs property checking
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
An automated deductive program verifier based on concurrent separation logic
An autonomous LLM-agent for large-scale, repository-level code auditing
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Library for parsing, generating, and analyzing LLZK code.
Experimental flows using nextpnr for Xilinx devices
A new lightweight, hybrid routing mesh protocol for packet radios
CatSniffer is an original multiprotocol and multiband board for sniffing, communicating, and attacking IoT (Internet of Things) devices using the latest radio IoT protocols. It is a highly portable…
Open deep learning compiler stack for cpu, gpu and specialized accelerators
Documenting the Xilinx 7-series bit-stream format.
Zorya: Concolic Execution Engine optimized for Go binaries, using Ghidra's P-Code as IR, and written in Rust.
A month-long zkp study group, one topic at a time.
Tactics for discharging Lean goals into SMT solvers.
A shield for the Arduino Mega that can back up video game cartridges.