The Computer Scientist Who Hunts for Costly Bugs in Crypto Code

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.

Ronghui Gu Wins Amazon Research Award

The award will help fund research and support the work of a graduate student.

New Computing Architecture Protects Sensitive Private Data

CS researchers demonstrate the first formally verified Arm Confidential Compute Architecture prototype

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.

CertiK, a Web3 Security Company, Doubles Its Valuation to $2 Billion in Just 3 Months

Assistant Professor Ronghui Gu’s blockchain security firm CertiK is considered a unicorn company.

More than $320 million stolen in latest apparent crypto hack

SeKVM Makes Cloud Computing Provably Secure

Columbia Engineering Team Builds First Hacker-resistant Cloud Software System

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.

Five CS professors awarded Amazon Research Awards

Faculty from the department have been named recipients of the 2020 Amazon Research Awards.

Building Certified Concurrent OS Kernels

Ronghui Gu’s, CertiKOS, selected as a “Research Highlight” in the Communications of the ACM.

Tag: Ronghui Gu