Dominik Blain

According to our database¹, Dominik Blain authored at least 4 papers in 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure.

[DOI]

CoRR, April, 2026

COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery.

[DOI]

CoRR, April, 2026

Broken Quantum: A Systematic Formal Verification Study of Security Vulnerabilities Across the Open-Source Quantum Computing Simulator Ecosystem.

[DOI]

CoRR, April, 2026

Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code.

[DOI]

CoRR, April, 2026