Ronghui Gu
@RonghuiGu
Followers
2,804
Following
420
Media
27
Statuses
657
Professor @ColumbiaCompSci and Co-Founder @CertiK .
New York, NY
Joined October 2012
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
RIIZE
• 116163 Tweets
Hobi
• 94529 Tweets
Noa Argamani
• 82801 Tweets
THANK YOU BTS
• 78671 Tweets
مخيم النصيرات
• 61288 Tweets
#yks2024
• 56067 Tweets
Andrey Kozlov
• 45264 Tweets
Shlomi Ziv
• 45041 Tweets
Almog Meir Jan
• 41063 Tweets
サイバー攻撃
• 36359 Tweets
オカシラ連合
• 30450 Tweets
#ネーションズリーグ
• 29098 Tweets
バレーボール
• 28296 Tweets
マッサマン
• 25344 Tweets
SULWHASOO MOMENT GULF
• 25091 Tweets
キスマイ
• 23063 Tweets
烈火の炎
• 23036 Tweets
#tyt2024
• 22074 Tweets
#ドッキリGP
• 19844 Tweets
#世にも奇妙な物語
• 17922 Tweets
スロベニア
• 14221 Tweets
東キヨドーム
• 11097 Tweets
I am thrilled to be named the recipient of the 2022 VMware Systems Research Award.
3
4
72
🤞
Five of our professors won Amazon Research awards! Congratulations to:
Elias Bareinboim (
@eliasbareinboim
) , David Blei (
@blei_lab
), Ronghui Gu (
@guronghuieric
), Shuran Song (
@SongShuran
), and Eugene Wu (
@sirrice
) 👏
2
2
21
1
7
44
Thrilled and honored to announce that I have been awarded the VMware System Research Award! 🎉🔬 Grateful for the recognition of my work in advancing systems verification technology. Thanks to
@VMware
for this incredible opportunity and their support in pushing the boundaries of
CertiK's CEO and Co-Founder Ronghui Gu, has been awarded the 2022
@VMware
Systems Research Award!
He is being recognized for his remarkable contributions to the theory of systems verification.
Congratulations
@guronghuieric
! 👏🏼
Details here ⬇️
80
11
51
12
4
44
Congratulations Jianan Yao! After two OSDI papers (one being a best paper), one PLDI paper, he's landed another lead authorship in POPL. He's entering the job market this year – grab him while you can!
3
1
45
Our paper "A Secure and Formally Verified Linux KVM Hypervisor" will appear at S&P (Oakland) 2021. In this work, we have formally verified, for the first time, guarantees of VM data confidentiality and integrity for the Linux KVM hypervisor. 👉
1
11
41
2nd-day
@CertiK
at Davos. We participated in
#WEF
’s first-ever panel discussion with crypto-native companies. Had inspiring and insightful discussions with
@bgarlinghouse
@jerallaire
@eordano
@faryarshirzad
8
7
32
My
@ColumbiaCompSci
PhD student,
@runzhou_tao
, will present Giallar, the first automated verification framework for the
@qiskit
quantum compiler, at
@PLDI
. It is joint work with
@UChicagoCS
@ColumbiaQuantum
@EPiQCExpedition
@IBMResearch
@CertiK
. Paper👉
15
10
26
I am so glad to see that
@ColumbiaCompSci
and
@MITCSAIL
split the Formal Verification Session of
#osdi2022
😀😀😀
2
2
29
Thank you, and honored to be selected as "The Top 100 Yale Alumni In Technology Of 2021" 👉
2
1
30
Pleased to announce CertiK's $37M Series B fundraising, backed by Coatue, Shunwei, and Coinbase Ventures! 👉
0
2
27
It was totally unexpected that all the information came out like this, but since my letter is out there, I want to publicly express my support and best wishes for
@cz_binance
. You are a hero, big bro! Hope everything will be OK.
3
4
24
A great interview and discussion on
@CertiK
end-to-end
#web3
cybersecurity solution at
@GoldmanSachs
TechNet Conference!
4
3
19
Our paper, "Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval", just won the best paper award at SOSP 2019! Two out of 38 accepted papers and 276 submissions received this award!
@CUSEAS
@DSI_Columbia
@ColumbiaCompSci
Congratulations to the authors!
You can find their papers along with other interesting papers in the conference proceedings
#SOSP19
#Proceedings
#award
#bestpaper
0
7
29
0
2
23
Our paper "Verifying a Multiprocessor Hypervisor on Arm
Relaxed Memory Hardware" got accepted by
#SOSP2021
! This paper presents the first security proof of the Linux KVM hypervisor over Arm relaxed memory hardware.
2
1
23
Honored that our DistAI paper won the
#OSDI21
Jay Lepreau Best Paper Award!
@usenix
@ColumbiaCompSci
The paper can be found here👉
0
1
21
As 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.
Our
@ColumbiaCompSci
researchers have built the first hacker-resistant cloud software system; could transform how cloud services are designed, developed, deployed, and trusted.
@guronghuieric
@ColumbiaScience
0
3
13
0
4
19
Happy birthday, CertiK!
5
3
18
I’m excited to share that I’ve received an Amazon Research Award at
@ColumbiaCompSci
. Learn more about the program on the
@AmazonScience
website:
#AmazonResearchAwards
We're excited to announce the 74 award recipients of the
#AmazonResearchAwards
' Fall 2021 cycle, representing 51 universities in 17 countries. The awards provide unrestricted funds to academic researchers investigating topics across a number of disciplines. Meet the recipients.
1
16
73
4
1
18
Some view the sentence as lenient because
@cz_binance
’s four months greatly pushed forward compliance in crypto. Yet, it's unjust as he's the first exec imprisoned solely on this charge—a long four months for anyone.
#JusticeForCZ
I find it curious that some people think that
@cz_binance
‘s sentence was lenient.
BNP Paribas was fined more than double what Binance was (9 billion ) for the exact same charge of compliance failures regarding sanctioned countries and organisations. UBS was fined about the
40
69
402
5
5
16
"Who Insures the Insurer?"
💻 Unfortunately it looks like the $COVER token was exploited today. All funds were returned but they exposed a vulnerability.
👀 If you’re a $CTK holder or a project that would like to get protection for your asset, there are ways to stay shielded👇🏼
3
14
57
4
6
14
A big update!
If you liked the old site, you're gonna love this one
-Security scores for OVER 10K projects 💯
-Influencer Leaderboard to vet thought leaders 🐂
-Exchange Proof of Reserves 💰
-Smart Money tracking 🔎
And much more 👇
153
135
522
3
5
14
Glad to announce the collaboration with Binance Smart Chain on Secure DeFi
1
1
12
Slowly but surely
2
5
11
Thanks to TechCrunch for the interview on our $2 billion valuation Series B3 round backed by Goldman Sachs, Insight Partners, Tiger, Advent, and Sequoia.
@CertiKTech
@CertiKCommunity
2
0
14
I vote for Uniswap😂
0
2
12
A highly efficient and automated technique to detect potential vulnerabilities in smart contracts.
Security company CertiK announced the deployment of QuickScan, a tool that automatically scans smart contracts for vulnerabilities.
5
31
94
0
5
12
An impressive milestone--2.7M CTKs have been locked for CertiKShield within two months.
Our innovative solution to lost/stolen assets on the blockchain, CertiKShield, is growing every day!
With over 4M $CTK of assets protected, we're confident our
#CertiKShield
members are sleeping a little more soundly.
$CTK
#Blockchain
#CyberSecurity
3
9
27
1
2
12
Excited to share CertiK's latest $80M raise from Sequoia, Tiger, and Coatue. To date, CertiK has served over 1,800 clients and protected over $300B digital assets.
🎉Exciting News
We have recently closed an $80M, Series B2 round of financial funding
This is not only the single largest round of fundraising for a company in the blockchain security space, but now brings CertiK’s total valuation to nearly $1 Billion🛡️
307
135
500
0
1
11
My
@ColumbiaCompSci
PhD student, Xupeng Li, is presenting our work at
#osdi2022
on the design and verification of the
@Arm
Confidential Compute Architecture. Our verified firmware will be shipped with Armv9. It is joint work with
@Arm
.
@CertiK
Paper👉
0
0
11
Finally open sourced
⚡️
#CertiKChain
Goes Open Source!⚡️
Key components in the overall CertiK Chain ecosystem, such as DeepSEA and the CertiK Security Oracle, are
#opensource
! 👀
Take a closer look at what's under the hood ➡️
0
11
21
1
1
9
Thrilled to join
@joelkatz
along with
@ARedbord
on
#BlockStars
to dive into the critical topic of blockchain security. It's imperative now more than ever to arm our community with the knowledge to safeguard against scams. Let's empower users with the tools and insights needed for
On this episode of
#BlockStars
,
@RonghuiGu
, Co-Founder of
@Certik
, and
@ARedbord
, Global Head of Policy at
@TRMLabs
join
@joelkatz
to discuss blockchain security trends and how to empower users to protect themselves against scams.🔒
Tune in now:️
41
162
448
4
3
11
Nope, we are working 24/7, no rest time.
5
0
9
This is a good article comparing Facebook Move, Ethereum Solidity, and CertiK DeepSEA.
0
4
9
CertiK will share security audit reports in the future, making our effort more transparent and useful to the community.
🔊Client Spotlight: We are excited to announce
@TorusLabs
recent audit results! The objective of the audit was to verify the DKG protocol against specifications and scope!
⬇️Read the article⬇️
#CertiKaudits
#CertiKglobal
#CertiKftTorus
#toruswallet
1
22
37
0
2
9
So enjoyable collaborating with Microsoft researchers.
Two papers by Microsoft researchers and collaborators received Best Paper at
#SOSP19
!
@UChicagoCS
,
@GuangpuL
, Shan Lu,
@madanMusi
, Suman Nath &
@moarbugs
:
Luke Nelson,
@siderealed
,
@guronghuieric
@0xabU
, Emina Torlak &
@bipartite
:
1
10
53
0
0
9
Could it be that SEC twitter account was audited by CertiK?
The
@SECGov
twitter account was compromised, and an unauthorized tweet was posted. The SEC has not approved the listing and trading of spot bitcoin exchange-traded products.
28K
11K
31K
0
1
8
Our RT-CertiKOS, a verified real-time OS kernel extended from CertiKOS, got accepted by POPL2020! Also, please check out our CACM Research Highlights paper on "Building Certified Concurrent OS Kernels":
0
2
7
Our paper "Gleipnir: Toward Practical Error Analysis for Quantum Programs" will appear at PLDI 2021. This paper presents the first practical, adaptive methodology for generating non-trivial error bounds for quantum programs with 10 to 100 qubits. 👉
1
1
7
Thanks for everyone's support in making such incredible growth happen!
We've seen some incredible growth through our journey, and it's thanks to our community, followers and investors.
Thank you for all your continued support as we continue our journey to becoming a billion $ company
38
25
204
1
0
6
DeepSEA will be a big deal.
❗️ Early Preview Alert ❗️
In anticipation of the upcoming CertiK Chain Mainnet 1.0 launch, here's a sneak peek at one of the major components we're implementing: DeepSEA!
Check out what we've been up to >>
3
11
28
0
0
7
Lol, I didn't realize there were these kinds of alerts.
🔔
@cz_binance
is now following
@guronghuieric
Tracking who top Crypto Twitter accounts follow is huge alpha. Track your own list of accounts at
1
0
1
1
0
7
You may want to check this out.
In case you haven't seen it, we introduced a refreshed home page for the Security Leaderboard at . Bookmark it and check out often to grab the latest and real-time security insights of your portfolio projects!🧐🧐🧐
4
8
55
0
0
7
Ownership and centralization issues cannot be neglected by the community and the contract owners.
@paid_network
03/05 incident summary:
✔️No audited code was exploited
✔️Private keys were used/compromised
✔️Burn/mint functions not exist in the audited code
✔️Ownership & centralization issues were highlighted in CertiK's 01/24 audit repot
@kyle_chasse
22
29
123
1
1
6
#NoOps
is the future of
#staking
— you get
#validator
functionalities, UX-friendly design, AND high levels of
#nodesecurity
all in one platform 🔥
Read on for more >>
#crypto
0
9
27
0
3
7
Big shoutout to CertiK for receiving acknowledgment from ByteDance, the parent company of TikTok! 🎉
4
1
6
What a busy month
📅August has been a busy month for the
@certik_io
team! Thanks to all the teams that entrusted us with the security of their projects!
@binance
@terra_money
@Aave
@SwipeWallet
@LienFinance
@UPPlatform
@MultiplierMXX
@oceanprotocol
And many more!
#defi
#certikglobal
🚀
6
24
77
1
0
6
Thanks for the recognition.
@certikorg
@interchain_io
@ethermint
👩🏻🚀Featured Teams👨🏽🚀
⭐️
@ChainSafeth
⭐️
@apeunit
⭐️
@PersistenceOne
⭐️
@ixoworld
⭐️
@confio_tech
⭐️
@certikorg
⭐️
@AltheaNetwork
⭐️
@WalletConnect
⭐️
@akashnet_
⭐️
@zeroknowledgefm
🟢Q1 2021 Applications Open🟢
Fill the form by 💝Feb 14th!
👩💻
0
3
13
0
0
6
Our analysis and vision about DeFi security after $Yam's hack.
📢 New on the CertiK Blog: $Yam Finance
#SmartContract
Bug Analysis and Future Prevention
Check out our article below to read more about the bug and CertiK's dynamic response to attacks! 🛡️
➡️
#Blockchain
#Security
#BugAnalysis
#DeFi
#Ethereum
3
21
47
0
0
4
Finally!
0
1
6
OKX wallets users please update the iOS app due to a critical vulnerability identified by CertiK and fixed by OKX.
🚨 Attention! We urge users of OKX wallets to update their iOS app to the latest version immediately. Earlier this month, we identified and reported a critical Remote Code Execution (RCE) vulnerability in the OKX iOS App, leading to potential compromise of sensitive data and
37
131
403
1
1
6
My talk at Columbia’s Alumini Weekend on building trustworthy blockchain systems.
Hear from our Co-Founder
@guronghuieric
at
@Columbia
@CUSEAS
's Alumni Weekend Reinvented to learn about:
✏️ Where
#BlockchainSecurity
is today
✏️ How
#FormalVerification
checks code correctness
✏️ What we're building to change the world 🌐
0
9
29
0
1
6
My
@ColumbiaCompSci
PhD student, Jianan Yao, is presenting DuoAI at
#osdi2022
. DuoAI solves the limitation of DistAI, our osdi2021 best paper, and can automatically learn inductive invariants with existential quantifiers for distributed protocols. Paper👉
1
1
6
(crypto) winter protection
1
0
5
Our paper "CLN2INV: Learning Loop Invariants with Continuous Logic Networks" got accepted by ICLR2020! CLN2INV is a component of the smart labeling technique described in the CertiK Whitepaper.
@certikorg
0
1
5
There are hundreds of fake CertiK audit reports out there. Please go to to check if a claimed CertiK audit is real or not.
#CertiKSkynetAlert
🚨
We are seeing
#slippage
on
@LymexPr
Contract BSC: 0x448F861728F4Ed28914f42B4C8C0ff70b8bD637B
Which has dropped 93%
The project deceptively claims to be audited by CertiK. We can confirm that
@LymexPr
is not our client due to failing our KYC check.
1
11
31
0
3
5
Check this out:
0
0
5
Bancor contracts got hacked again!
The CertiK team digs into the
#BancorNetwork
V0.6
#SmartContract
vulnerability 🔐
In this article, we walk you through the vulnerability and the response. Dive into it below ⬇️
0
18
37
1
2
5
CertiK is partnered with
@hdactech
, the
#blockchain
arm of Hyundai, on building trustworthy
#IoT
#blockchain
. I am glad to serve as a technical advisor.
0
1
5
Glad to announce our new verification framework for smart contracts.
Another technological step toward provable trust for all.
Great work from the
#CertiK
Security Experts!
👇👇
11
3
31
1
0
4
This is a large scale ongoing attack against twitter accounts. Stay
#SAFU
Our Twitter accounts
@CoinGecko
and
@GeckoTerminal
have been compromised. We're taking immediate steps to investigate the situation and secure our accounts.
Please DO NOT click on any links or engage with suspicious content. Your security is our top priority.
We'll keep you
322
587
2K
0
0
4
Securing the
#web3
world!😀
Securing the
#web3
world - that’s the essential mission of
@CertiKTech
, the newest member of the Advent Community, which applies innovations in cybersecurity directly to the blockchain. We’re looking forward to making Web3 safer - together.
0
2
11
1
0
4
Good question. One can go to our website to search/check auditing reports, as well as dynamic security scores:
@certikorg
What do we do when a project claims that they have an audit from Certik, but they only have an edited PDF file with your logo?
One time, I've asked on the Certik tg grup and no one could confirm that the project is a scam making false claims. The mods said to do my own research.
2
0
0
1
2
4
Two papers on system verification get accepted by SOSP this year!
0
1
3
Could this scenario be formally verified?
🔍 New to zkWasm?
Imagine this: A smart contract on zkWasm designed for automated escrow that pays out based on conditions met, all while keeping transaction details private through zero-knowledge proofs.
🤔💡 Question: Do you think such a scenario could be formally
54
30
67
0
0
4
When Aptos encounters ChatGPT
0
1
4
Here's CertiK's 2021 report for DeFi Security.
The State of DeFi Security 2021 Report by CertiK
Using the data from over 1,700 audits in 2021, we produced a report that discusses the most common types of security attacks and incidents seen, as well as financial trends in the crypto market in 2021 👇
149
100
321
1
1
4
Looking for PhD student.
Prof
@guronghuieric
is looking for PhD students who want to build bug-free and hacker-resistant systems software. Find out more about him - .
For more information on our
#PhD
program - . The deadline for Fall 2020 is December 15.
0
1
1
1
1
4
50 potential rug pull projects
#CommunityAlert
🚨
A CertiK security analysis has uncovered more than 50
#DeFi
and
#NFT
projects with critical vulnerabilities
Find the full list of projects with these critical vulnerabilities, the number of unique sellers, and largest wallets below 👇
50
90
271
0
1
3
Wonderful event! Thanks,
@CUSEAS
@DSI_Columbia
！
Our
@ColumbiaCompSci
Prof
@guronghuieric
discussing his
#blockchain
research at
@DSI_Columbia
#datascience
day.
#CUdata
#dataforgood
0
2
2
0
0
3
Happy birthday you guys.
0
0
3
Happy Spring Festival! You are my lucky draw from red packet game, check out your project card!
@fraxfinance
#DeFi
#SecurityLeaderBoard
2
0
3
Look forward to work with you guys in the near future
0
0
3
Finally announced!
🔒 Strategic Partnership with
@okx
🔒
Thrilled to announce our collaboration with
@okx
@okxchinese
@okxweb3
to boost Web3 security! We’ll conduct comprehensive audits across exchanges, mobile, and wallets, ensuring top-tier protection for all users.
More codes will be sent for
45
30
104
0
0
3
Look forward to the event.
CS profs Tim Roughgarden (
@algo_class
) and Ronghui Gu (
@guronghuieric
) will give lightning talks. The event is open to the public -
0
2
3
0
0
3
@MrSaeein
@MultiVAC_Global
@certikorg
For our clients, we will help them fix the found issues until they meet the security standard,
0
0
2
PLDI2020 is open for submissions! Looking forward to a fantastic set of submissions!
#pldi2020
0
0
2
The next big thing in the field of blockchain cybersecurity.
👏We're excited to welcome
@kava_labs
to come aboard as a member of
#CertiKShield
🛡️ which helps it to protect their $KAVA tokens from losses due to code malfunctions and hacks.
Check out the details about this wise move👇
#CertiKChain
2
16
109
0
0
1
0
0
2
Thanks for the award!
0
0
2
CertiK Security Engineers will talk about "exploit insecure crypto wallet" at
@defcon
. Welcome to join us.
We are excited to announce that our security engineers
@wisp_fly
and
@minzhi10
will be speaking in
@BCOSvillage
at
@defcon
!
👉Join us in Discord at 12pm PDT on Aug/9 for the talk!
“Exploit insecure crypto wallet” to learn more about the security research we conducted!🛠️
0
7
16
0
0
2