Cryptology (and Craptology) of professor Smart

Professor Smart is Professor of Cryptology at the University of Bristol, UK. He has recently begun work on a Fully Homomorphic Encryption project which is being funded by DARPA  – the US military technology development agency famous for their work on mechanical elephants, Hafnium bombs, remotely controlled sharks, Hellfire-missile-equipped Predator drones and more.
Simply put, Fully Homomorphic Encryption means that given two ciphertexts c₁ and c₂ which encrypt messages m₁ and m₂ under a key k, i.e.
# c1=enc(k,m₁)
# c2=enc(k,m₂)
there is an operation Add, which anyone can perform, which produces a ciphertext c₃ which is the encryption of m₁+m₂; and an operation Multiply, again which anyone can perform, which produces a ciphertext c₄ which is the encryption of m₁*m₂,
#c₃=Add(c₁,c₂) = enc(k,m₁+m₂)
#c₄=Multiply(c₁,c₂) = enc(k,m₁*m₂)
The important point is that to apply Add and Multiply we do not need knowledge of the key k.

Aside from his homomorphic encryption activities professor Smart is also Editor in Cheek of the Journal of Craptology, to which he has also contributed his own articles, such as ‘A treatise on the application of Zero Knowledge Proofs’ (Journal of Craptology, Volume 2, July 2006.)