@uri_kirstein

@uri_kirstein has been a member of Linktree for 2 years and joined in January 2024. The social media accounts linked to from @uri_kirstein are: LinkedIn, Email, Telegram, X, GitHub. Besides social media accounts, uri_kirstein has populated their site with Phoenix: A Formally Verified Regenerating Vault, When Invariants Aren't: DAI's Certora Surprise, Medium, Formal Verification helps finding insolvency bugs — Balancer V2 Bug Report, Proof of Optimality of Old Balancer V2’s Flash Loan Bug, Finding Bugs in Formal Specifications, Shift Left: Formal Verification First, Not Last, ETH Denver 2025 | Building a Mental Model of a Smart Contract, Eth Dubai 2023 | A Stroll Down the Security Tools Zoo, Devcon Bogotá 2022 | Bad Proofs in Formal Verification, EthCC Cannes 2025 | Bounded Model Checking - Best of Both Fuzzing and Formal Verification, Twitter, LinkedIn.