Kenneth G. Paterson, Applied Cryptography Group, ETH Zurich