Converters for Designing Applied Cryptographic Protocols | IEEE Conference Publication | IEEE Xplore