Sound Verification of Security Protocols: From Design to Interoperable Implementations | IEEE Conference Publication | IEEE Xplore