Technical material.
Code pages, harnesses, models, and implementation records used by the papers.
ML / AI / Formal Systems
Evaluation frameworks, formal reasoning layers, proof-oriented systems, and research workflows with explicit evidence trails.
Formal Stack Models
2026Lean-oriented formalization work for reasoning about stack behavior, invariants, and the gap between executable systems and proof-carrying claims.
Agentic Evaluation Harness
2026An evaluation scaffold for automated research workflows: scenario design, trace capture, failure review, and reproducible comparisons between agents.
Research Record Workbench
2026A compact example showing how a technical page can combine a claim, a reproducible workflow, evidence tables, code, and scope.
Crypto / PQC / Security
Post-quantum migration, certificate infrastructures, authentication, and operational boundaries in deployed security systems.
PQ-TLS Observatory
2026A measurement-oriented harness for tracking post-quantum TLS behavior, handshake shape, certificate chains, and interoperability risks across real deployments.
PQC X.509 Assurance
2026A linting and analysis project for post-quantum certificate structures, path validation assumptions, and compatibility boundaries in X.509 ecosystems.
DNSSEC Boundary Lab
2026A testbed for studying size, fragmentation, resolver behavior, and protocol boundaries when DNSSEC meets post-quantum cryptographic material.
WebAuthn Recovery Study
2026A security review of account recovery flows around passkeys, WebAuthn, and the weak links that sit outside the cryptographic ceremony.
Start from the paper.
These pages are supporting material. The paper gives the frame and links back here when the code or model matters.