← Back to People
Co-author on Anthropic security property verification paper.
2
Mentions
2
Articles
2
Outlets
Oct 2026 — Nov 2026
Coverage
Companies Covered
Appears In
Appears Alongside
Articles
Most recent firstMentioned In
Referenced in coverage
Proving file integrity for an xv6 sandbox
Blog on TheorempositiveNov 3, 2026
“Luke Champine contributed to the formal verification of xv6 sandbox file integrity against malicious programs.”
Anthropic and Theorem said Claude proved security properties
AnthropicpositiveOct 23, 2026
“Co-author on Anthropic security property verification paper.”