Thanh-Hai Tran

Thanh-Hai Tran worked on formal verification of blockchain protocols and cryptographic software.

2 talks by Thanh-Hai Tran

• How model checking can help build trust in the design of distributed protocols
• Can we formally verify implementations of cryptographic libraries like the c-kzg lib... | Devcon SEA