COBALT applies Z3 to detect CWE-190/191/195 arithmetic vulnerabilities in C/C++ sandbox code with validated case studies on NASA and other systems and proposes a pre-deployment verification layer for frontier AI containment.
wolfSSL Pull Request #10096: Fix signed left-shift UB in ML-DSA w1 coefficient encoding
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Mythos and the Unverified Cage: Z3-Based Pre-Deployment Verification for Frontier-Model Sandbox Infrastructure
COBALT applies Z3 to detect CWE-190/191/195 arithmetic vulnerabilities in C/C++ sandbox code with validated case studies on NASA and other systems and proposes a pre-deployment verification layer for frontier AI containment.