Nurit Dor
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Mitchell Amadoronce
- Mudit Guptaonce
- Tarun Chitraonce
who talks about the same things
- Mudit Gupta7 talks
- Tarun Chitra17 talks
- Mehdi Zerouali7 talks
- Anton Permenev4 talks
- Gal Sagie3 talks
- Kurt Barry5 talks
| title | conference | date |
|---|---|---|
| From High-Level DeFi Properties to Concrete Security Bugs | DeFi Security Summit 2022 | 2022-08-27 |
Certora verification language and unit-style properties map high-level DeFi rules to concrete checks and expose real bugs: a bitwise casting bug in Compound V3… | ||
| Discussion - Security 2, Session 9 | DeFi Security Summit 2022 | 2022-08-27 |
A live panel reports that a modeled Aave-style liquidation attack checks out as not practically viable after running MCMC-style simulations over on-chain… | ||
| nothing matches | ||