| |
| 1987 | ||
|---|---|---|
| 3 | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse - A Computer Assisted Verification System. IEEE Trans. Software Eng. 13(2): 151-156 (1987) | |
| 1986 | ||
| 2 | J. Daniel Halpern, Sam Owre, Norman Proctor, William F. Wilson: Muse : A Computer Assisted Verification System. IEEE Symposium on Security and Privacy 1986: 25-33 | |
| 1984 | ||
| 1 | EE | Norman Proctor: A Self-Synchronizing Cascaded Cipher System With Dynamic Control of Error-Propagation. CRYPTO 1984: 174-190 |
| 1 | J. Daniel Halpern | [2] [3] |
| 2 | Sam Owre | [2] [3] |
| 3 | William F. Wilson | [2] [3] |