Cryptographic Protocol Synthesis and Verification for Multiparty Sessions | IEEE Conference Publication | IEEE Xplore