| 2001 | ||
|---|---|---|
| 2 | Mei Lin Hui, Gavin Lowe: Fault-Preserving Simplifying Transformations for Security Protocols. Journal of Computer Security 9(1/2): 3-46 (2001) | |
| 1999 | ||
| 1 | Mei Lin Hui, Gavin Lowe: Safe Simplifying Transformations for Security Protocols. CSFW 1999: 32-43 | |
| 1 | Gavin Lowe | [1] [2] |