Senior Lecturer at the University of Bristol. Machine-checked cryptography, and trustworthy secure systems. Sometimes a dad. Never the FDU Press.