Piątkowski, J., & 		Szymoniak, S.
2023 Jan 26.  Trivializing Verification of Cryptographic Protocols. Computer Assisted Methods in Engineering and Science. [Online] 30:4