Peter Nickolas

Publication Activity (10 Years)

Years Active: 1987-2011
Publications (10 Years): 0

Publications

Dongvu Tonien, Reihaneh Safavi-Naini, Peter Nickolas
Breaking and Repairing an Approximate Message Authentication Scheme. Discret. Math. Algorithms Appl. 3 (3) (2011)
Dongvu Tonien, Reihaneh Safavi-Naini, Peter Nickolas, Yvo Desmedt
Unconditionally Secure Approximate Message Authentication. IWCC (2009)
Peter Nickolas, Peter J. Robinson
The Qu-Prolog Unification Algorithm: Formalisation and Correctness. Theor. Comput. Sci. 169 (1) (1996)
Peter Nickolas
The Completeness of Functional Logic. Formal Aspects Comput. 6 (1) (1994)
Andrzej M. Goscinski, Peter Nickolas
A File Server for the Apple Talk Personal Network. Angew. Inform. 29 (1) (1987)