| Fri, 26 Jul 1996 12:19:46 +0200 | paulson | Auth proofs work up to the XXX... | file | diff | annotate |
| Thu, 11 Jul 1996 15:30:22 +0200 | paulson | Added Msg 3; works up to Says_Server_imp_Key_newK | file | diff | annotate |
| Fri, 28 Jun 1996 15:26:39 +0200 | paulson | Proving safety properties of authentication protocols | file | diff | annotate |