Verification in an Age of Insecurity