2 citations · 2 across the 1 of their papers we have counts for
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…