Prateek Gupta Vitaly Shmatikov Towards computationally sound symbolic analysis of key exchange protocols. 23-32 2005 conf/ccs/2005fmse FMSE https://doi.org/10.1145/1103576.1103580 https://www.wikidata.org/entity/Q131123849 db/conf/ccs/ccs2005fmse.html#GuptaS05