Piątkowski, Jacek, & Sabina Szymoniak.
" Trivializing Verification of Cryptographic Protocols." <em>Computer Assisted Methods in Engineering and Science</em> [Online], 30.4 (2023): 389–406. Web.  4 Dec. 2024