Trust but Verify: Concise Security