Visible to the public Verified Cryptographic Protocol Analysis: Vision and Status