Ronghui Gu | Source | CEO and Co-founder at CertiK
Ronghui Gu
Ronghui is the Chief Executive Officer and Co-founder at CertiK. His thesis work on building certified OS kernels received the Yale Doctoral Dissertation Award and was nominated for the ACM Doctoral Dissertation Award. He is the primary Designer and Developer of CertiKOS, the first verified concurrent OS kernel, and SeKVM, the first verified commodity cloud hypervisor — major milestones toward building safe and secure systems software.
-
CertiK
CEO and Co-founder
-
North Korea, NFTs and a hit video game: inside a $500m cryptocurrency theft
Another high-profile hack has raised more questions about the vulnerabilities of the blockchain
Article
-
Underlying blockchain protocol is secure. But the programs – the smart contracts – running on top of them are still like other normal programs, which can have software bugs and vulnerabilities. In this world people say ‘in code we trust,’ but the code itself is indeed not that trustworthy.
