He recently finished his PhD in formal verification under Prof. Cas Cremers at the University of Oxford. During his PhD, he developed original approaches for modeling cryptographic primitives and discovered several new attacks on real world protocols. He also interned on the Crypto Engineering team at Mozilla where he worked on the performance of the Tor anonymity network.
Previously, he graduated from the University of Warwick with a Master of Mathematics in 2015.
dennis (at) malfeasance.co.uk