Dr. Sebastian Banescu is the founder of Adevar Labs, a security firm dedicated to hardening the Web3 ecosystem. With over 15 years in digital security and 7 years specifically in blockchain, his experience spans from securing industrial systems at BMW, Philips, and Deloitte to conducting over 100 smart contract audits since 2018. A former researcher with a PhD from TU Munich and over 1,200 citations on Google Scholar, Sebastian Banescu specializes in the intersection of formal verification and real-world exploit analysis. He notably founded the first regulated insurance company for smart contract risks, pioneering the use of actuarial standards in DeFi.