AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.

Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li

Browse the full SEKE paper archive.