PiÄ…tkowski, Jacek, AND Szymoniak, Sabina. " Trivializing Verification of Cryptographic Protocols" Computer Assisted Methods in Engineering and Science [Online], Volume 30 Number 4 (26 January 2023)