Programming errors on the blockchain can mean $100 million lost in the blink of an eye. Ronghui Gu and his company CertiK are trying to help.
The award will help fund research and support the work of a graduate student.
CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype
Another high-profile hack has raised more questions about the vulnerabilities of the blockchain.
Assistant Professor Ronghui Gu’s blockchain security firm CertiK is considered a unicorn company.
Professors Jason Nieh and Ronghui Gu build the first system to guarantee the security of virtual machines in the cloud, SeKVM could transform how cloud services are designed, developed, deployed, and trusted.
Faculty from the department have been named recipients of the 2020 Amazon Research Awards.
Ronghui Gu’s, CertiKOS, selected as a “Research Highlight” in the Communications of the ACM.