
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

Curated collection of cybersecurity resources including tools, articles, and repositories, structured with YAML frontmatter and automated discovery…

Curated collection of extracted system prompts from major AI chatbots including Claude, ChatGPT, Gemini, Grok, and Copilot. Updated regularly with…

SpecterOps Presentations

AIL framework - Analysis Information Leak framework. Project moved to https://github.com/ail-project

Full ML-KEM-1024 key recovery from a partial Fujisaki-Okamoto comparison in wolfSSL (CVE-2026-6330 NEON, CVE-2026-10097 AVX2)


This repository contains the complete record of my three-year research journey, covering the project from foundational concepts to advanced-level…

Tracking interesting Linux (and UNIX) malware. Send PRs

German OWASP Day conference site & presentation archive

Supply-chain Levels for Software Artifacts

ExploitGym is a large-scale, realistic benchmark built from real-world vulnerabilities designed to evaluate AI agents' ability to develop exploits.


Proof-of-concept exploit for a heap over-read in libarchive RAR v4 filter (CVE-2025-5915) with ASan reproduction, encoder, and on-device iOS 18.5…

DDoS botnet research and indicators of compromise from Nokia Deepfield ERT

Embed multiple secret messages in LLM chat token choices using arithmetic/Discop steganographic coders, with bit-exact decoding and steganalysis…

Offensive security research hub aggregating original vulnerability advisories, CVE proof-of-concept exploits, conference talks, and internal tooling…

DugganUSA threat-intelligence contributions to the IETF Hackathon — real-world agentic-attack benchmark vectors, CVE-2026-33697 attestation analysis,…