Academic Digest: Latest Advances in AAAI, ILRT, IML, and IEEE
Eight recent papers from AAAI, ILRT, IML and IEEE on LLM planning, formal verification and agent trace analysis, with notes on how each relates to verifiable-agent research.
Texas Tech University · CS Graduate Program
Notes from a working CS graduate program.
Long-form writing on cryptography, formal verification, and machine learning, plus a running archive of coursework and side projects.
Recent writing
Agent Trace Language Experiments & AAAI Submission
A Trace-Language Framework for Agent Verification
The Fragility of Raw RSA: From Mathematical Elegance to Existential Forgery
Why textbook RSA preserves multiplicative structure and enables existential forgery, and how hash-then-sign and padding schemes like RSA-PSS close the gap.
The Architecture of Trust: A Comparative Analysis of Group Structures in Cryptography
How Lagrange and Cauchy shape real-world DH and ECC groups, why nearly-prime cofactor curves trade purity for performance, and what Secure Scuttlebutt teaches about validation.
The Hidden Geometry of Trust: Subgroups, Cofactors, and Scalar Efficiency in ECC
From Weierstrass curves and double-and-add to cofactor attacks and Dual_EC_DRBG—how subgroup geometry and implementation choices determine ECC trust boundaries.
Vulnerability Assessment Report: Nonce Leakage and Implementation Risks in (EC)DSA
A structured look at HNP-based key recovery, BIGNUM representation leaks, lazy resizing CVEs, and protocol-level subgroup failures in modern signature stacks.
Engineering Protocol-Secure and Side-Channel Resistant Cryptography: From Theory to Implementation
Bridging prime-order proofs with cofactor reality: small-subgroup attacks, BIGNUM leaks, twist security, and a practical mitigation checklist for protocol engineers.
The Great Cryptographic Shift: From Classical Diffie-Hellman to Elliptic Curves
Why finite-field DLP hits a scalability wall, how ECC and Pollard rho change the cost curve, and a worked finite-field point arithmetic example on F23.
Selected projects
Reinforcement Learning Video Notes
Short explainer videos and notes on policy gradients, Q-learning and evaluation, with worked examples and recorded demos.
Kaggle Competition Playbook
Reusable Kaggle notebooks covering baselines, feature engineering, cross-validation and ensembling, applied to RSNA knee imaging and Gemm...
Master's Theorem Visual Guide
A visual guide to the Master Theorem for divide-and-conquer recurrences, with worked examples and a quick-reference table for the a, b an...
Get in touch
Questions about cryptography, formal verification, or just want to connect? I'd love to hear from you.
Colophon
A working notebook — half draft, half archive. The site indexes coursework, project write-ups, and longer pieces on cryptography and verification. Source on GitHub.