Anonymity, Information, and Machine-Assisted Proof --- Aaron R. Coble, PhD Thesis, Computer Laboratory, University of Cambridge, January 2010

Formalized Information-Theoretic Proofs of Privacy using the HOL4 Theorem-Prover --- Aaron R. Coble, Preprint, final version published in Proceedings of the 8th International Symposium on Privacy Enhancing Technologies (PETS 2008), Leuven Belgium, July 23-25, 2008, LNCS 5134, Springer 2008 (DOI: 10.1007/978-3-540-70630-4_6)