| Security Proof of KerNeeS Protocol Based on Logic of Events | 0 | 0.34 | 2018 |
| A Multifaceted Study on Eye Contact based Speaker Identification in Three-party Conversations. | 1 | 0.38 | 2017 |
| Formal automatic verification of security protocols | 0 | 0.34 | 2006 |
| Modeling and Verifying Cryptographic Protocols Using SPIN/Promela | 0 | 0.34 | 2004 |
