Hooray for multiple security protocol implementations! I have high hopes for Project Everest’s miTLS as far as raising the status quo for verification in practical/security/performant domains.