Bogomil Tsvetkov
Bogomil Tsvetkov is a security researcher at Certora, known publicly as b0g0. His audit work includes finding a validation flaw in Revert Lend that could let a vault user change positions belonging to other people; he also helped review the fixes after the audit. He initiated and maintains Art of Auditing, a shared resource that brings together guidance from smart-contract auditors while retaining credit for each contributor’s work. He previously worked as a Web3 developer and lead auditor.