Yu Guo

Founder of SECBIT Labs. Cryptography and formal verification.