Topic
Security
Authentication, authorization, vulnerability research, CVEs.
4 published pieces
Published work
The Practical Value of Machine-Checked Proofs
Fermat’s Last Theorem has zero direct industrial utility. But the pipeline that machine-checked its 13 million lines of Lean code demonstrates an operational verification engine for critical software, cryptographic primitives, and hardware design. Here is where the real economic value lands—and how DIY developers and small teams can leverage it today.
AI · March 15, 2026What Secure AI Development Looks Like in Practice
Not theory, not vendor slides. Just the real questions around control, review, supply chain risk, and operational accountability.
AI · February 20, 2026RDP Authentication Forensics and AI-Assisted Patching of GNOME Remote Desktop 49.0
How agentic AI tooling helped investigate a 3-year-old GNOME Remote Desktop bug, and why adversarial verification of AI output caught four incorrect diagnoses.
AI · February 15, 2026From Filing Tickets to Fixing Problems: AI-Assisted Development of Secure OAuth2 Authentication for Apache Guacamole
How AI-assisted development enabled a security professional to build a secure OAuth2 extension for Apache Guacamole, discovering a CSRF vulnerability in the process.