@article{ChenRettingerSuetal., author = {Chen, Q. and Rettinger, Robert and Su, K. and Sattar, A. and Yue, W. and Lu, G. and Zheng, Xizhong}, title = {Verification of Authentication Protocols for Epistemic Goals via SAT Compilation}, language = {en} } @article{ChenSuYueetal., author = {Chen, Q. and Su, K. and Yue, W. and Zheng, Xizhong}, title = {Instantiation Space: A New Model for Security Protocol Logic}, language = {en} }