| Formal Verification and Improvement of the PKMv3 Protocol Using CSP. | 0 | 0.34 | 2018 |
| Formal Analysis of the PKMv3 Protocol. | 1 | 0.35 | 2018 |
| Formalization and Verification of the PKMv3 Protocol Using CSP | 1 | 0.35 | 2017 |
| Formal Verification of PKMv3 Protocol Using DT-Spin | 1 | 0.36 | 2015 |
| pIML -- An Interrupt Program Modelling Language for Real-Time and Embedded Systems | 1 | 0.36 | 2014 |
