- AIxCC related works
- CRSBench: Revealing the Full Capability of Cyber Reasoning Systems via Realistic End-to-End Evaluation (under review)
- SoK: DARPA’s AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned (SEC 26)
- OSS-CRS: Liberating AIxCC Cyber Reasoning Systems for Real-World Open-Source Security (WOOT 26)
- Agentic Specification Generator for Move Programs (ASE25)
- autofz: Automated Fuzzer Composition at Runtime (SEC23)
- Coq Cryptoline
- Certified Verification for Algebraic Abstraction (CAV23)
- CoqCryptoLine: A Verified Model Checker with Certified Results (CAV23)
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver (CAV21)
- Signed Cryptographic Program Verification with Typed CryptoLine (CCS19)
I develop open-source tools under Axiweave, my umbrella organization for intelligent developer tooling.
- claude-code-ide.el: Project-aware Emacs IDE integration for Claude Code, Codex, OpenCode, Pi, and Oh My Pi
- codex-as: Run Codex under saved auth/provider profiles without touching config files
- keepass-cli-rs: KeePass CLI with Emacs integration
- maskedemail-rs: Fastmail MaskedEmail CLI with Emacs Integration
- Fastmail-Sieve-Sync: Fastmail Sieve Rules Sync