1 paper
Yan Xiong, Cheng Su, Wenchao Huang +3
Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to th…