1 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
Kangfeng Ye, Roberto Metere, Poonam Yadav
Current formal verification of security protocols relies on specialized researchers and complex tools, inaccessible to protocol designers who informally evaluate their work with em…