José Luis Delgado Research engineering for critical systems.
Working on post-quantum cryptography, formal reasoning systems, and evaluation frameworks for security-critical computation.
Line 01
ML, AI, and formal systems
Evaluation frameworks, formal reasoning layers, proof-oriented systems, and research workflows with explicit evidence trails.
Line 02
Crypto and security
Post-quantum migration, certificate infrastructures, authentication, and operational boundaries in deployed security systems.
ML / AI / Formal Systems
Evaluation records, tool-call traces, proof obligations, model boundaries, state invariants, and audit-ready run histories.
A study of mechanistic localization as a score-to-circuit pipeline, separating scorer quality from circuit quality across calibration, selection, and evaluation.
A certified Lean 4 decomposition layer for theorem-proving agents, with proof obligations, witnesses, dependencies, replay semantics, and schedule selection.
A claim-centered audit framework for selected circuits in mechanistic interpretability, reporting preservation, localization, minimality, stability, robustness, power, and structural recovery.
A runtime reference monitor for field-level authorization in tool-using agents, enforcing source-field-sink authority over typed dependency graphs before protected actions execute.
Crypto / PQC / Security
Measurement artifacts, certificate-chain behavior, parser and import validation, decapsulation-test harnesses, threat models, and operational regression cases.
A black-box analysis of what confirmation-code-augmented Fujisaki-Okamoto decapsulation tests can certify, with pass bounds, list-hit obstructions, and dependency-cone limits.
A multi-surface framework for post-quantum TLS observability across passive evidence, active probing, certificate chains, registry knowledge, and explicit uncertainty.
A workflow-centric assurance framework for ML-KEM and ML-DSA in X.509, covering certificate profiles, SPKI representation, private-key import, policy registries, and mutation-based evaluation.
A state-aware study of post-quantum ACME enrollment, comparing standard issuance, reusable-authorization renewal, certificate-based fast re-enrollment, and hardened workflow variants.
Research conversations.
Email for PhD, lab, engineering, and collaboration conversations.