| |
| 1999 | ||
|---|---|---|
| 2 | EE | Alfred P. Maneki: Honest Functions and their Application to the Analysis of Cryptographic Protocols. CSFW 1999: 83-89 |
| 1995 | ||
| 1 | EE | Alfred P. Maneki: Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models. CSFW 1995: 16- |