Robert L. Ashenhurst
-
Security without identification: transaction systems to make big brother obsolete
Communications of the ACM
Beyond programming languages
The limits of correctness
ACM SIGCAS Computers and Society
Stalking the wily hacker