Jon Stephens
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Isil Dilligonce
- Kostas Ferlesonce
who talks about the same things
- Yannis Smaragdakis19 talks
- Neville Grech10 talks
- Gonçalo Sá5 talks
- Sameer Arora3 talks
- Kurt Barry5 talks
- Kostas Ferles3 talks
| title | conference | date |
|---|---|---|
| Hybrid Attack Synthesis for DeFi | Solidity Summit 2022 | 2022-04-20 |
Veridise offers two open-source tools: Vanguard performs cross-chain, pattern-based static analysis (compiles to LVM), flags concrete issues like reentrancy… | ||
| Verifying Correct Usage of Context-Free API Protocols | POPL 2021 | 2021-01-17 |
CFPChecker verifies context-free grammar API protocols by over-approximating program API sequences with a CFG, checking language inclusion, and running… | ||
| nothing matches | ||