Formal Verification of a Secure Network with End-to-End Encryption | IEEE Conference Publication | IEEE Xplore