Peter Gutmann
-
A certified distributed security logic for authorizing code
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Subspace-based technique for speech encryption
Digital Signal Processing