Revofusion
@revofusion
Vulnerability Detection @MoonAISec
#1# ETH Security Leaderboard
Building Lean autoformalization for Rust, C, and Go
๊ฐ์
August 2021
710 ํ๋ก์ ์ค 1.9K ํฌ
Honored to have been part of Audit Engine's first two engagements
Top 2 finishes for @MoonAISec among AI Auditors in each
๐
