Paper on DirBucket, a semantic watermarking scheme for auditing third-party RAG reuse, because embeddings needed more DRM.

Paper proposes Z2-ACT, a ZK-audited intent layer for AI-controlled 6G RANs, because apparently RANs need lawyers now.

Audits four ways to estimate identity-level ε for face generators, and yes, the answer depends on hyperparameters.

Formal verification pays when bugs are systemic, recovery is painful, and specs are the real bottleneck, not the prover.