A. R. Coble

First Year Report

A. R. Coble, 1994 .

First Year Report

A. R. Coble, 1994 .

Formalized Information-Theoretic Proofs of Privacy Using the HOL4 Theorem-Prover

Aaron Richard Coble, A. R. Coble, 2008, Privacy Enhancing Technologies.

Anonymity, information, and machine-assisted proof

Aaron Richard Coble, A. R. Coble, 2010 .