Bhargav Nagaraja Bhatt
Bio: I am researcher focussing on security at the Web3 Foundation. I am also the maintainer of the Polkadot Protocol Specifications. I have an research background in Formal Verification and previously worked at ETH Zurich, USI Lugano, Microsoft Research, working on topics like Model Checking, Runtime Verification and Static Analysis. At W3F, i have worked on security analysis of Cross-chain Bridges and Light-Clients, and also on tooling for security and reliability of the Polkadot SDK.
Research Areas
- Protocol Security Analysis
- Formal Verification and Static Analysis
- Security Tooling
Links to selected paper and talks
- New Paper:Trustless Bridges via Random Sampling Light Clients
- Slides and talk on Trustless and Efficient Bridges between PoS Blockchains
- Bhargav Nagaraja Bhatt. "Experience Report: Formally Verifying Critical Blockchain Network Component", ETAPS Industry Day, 2024, Luxembourg.
- Automated repair of resource leaks in Android applications, Journal of Systems and Software, 2022.
- Almost event-rate independent monitoring, Formal Methods and System Design, 2022.
- Formal Methods for Rust, PBA 2023 Berkeley