Revofusion
@revofusion
Vulnerability Detection @MoonAISec
#1# ETH Security Leaderboard
Building Lean autoformalization for Rust, C, and Go
710 Following 1.9K Followers
Honored to have been part of Audit Engine's first two engagements
Top 2 finishes for @MoonAISec among AI Auditors in each
🌙
