François

@fdupress

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

Bristol, United Kingdom