fuzzing
(3)
Xiaochen Zou
Xiaochen Zou, who publishes as Eten (ETenal) and signs his work with the Chinese name 笑尘, is a Linux kernel security researcher turned founder. He earned a PhD in cybersecurity at UC Riverside under Zhiyun Qian, building automated tools that discovered dozens of kernel vulnerabilities, then worked as a security researcher at Microsoft before co-founding Nebula Security (YC S26), an AI-native cybersecurity company where he serves as CEO. Nebula pairs elite human hackers with an autonomous agent, VEGA, that finds bugs, writes proofs of concept, and proposes patches.
Veridise
Veridise is an Austin-based blockchain security company spun out of the UToPiA program-analysis research group at the University of Texas at Austin. It hardens Web3 by pairing expert human auditors with proprietary tools built on formal methods, fuzzing and program analysis. Veridise audits smart contracts, zero-knowledge circuits, blockchain implementations and dApps, and has completed 150+ audits for infrastructure protocols including Scroll, Linea, Succinct, Manta Network, RISC Zero and Semaphore.
Gadi Bashvitz
Gadi Bashvitz is the Co-founder and CEO of Bright Security (formerly NeuraLegion), a San Rafael-based developer-centric Dynamic Application Security Testing (DAST) platform. A veteran of the Israeli Defense Forces' elite Unit 8200, he brings 25+ years of cybersecurity, product, and go-to-market experience to his mission of making application security accessible to every developer. Under his leadership, Bright Security raised a $20M Series A in 2022 and launched the Bright STAR autonomous security testing and remediation platform at RSA Conference 2025, achieving approximately 85% auto-remediation rates for its customers.