Sifis Lagouvardos
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2020–2022
on a stage with
all 6 in the filters
who talks about the same things
- Ilias Tsatiris5 talks
- Neville Grech10 talks
- Yannis Smaragdakis19 talks
- Ori Lahav17 talks
- Shelly Grossman3 talks
- Viktor Vafeiadis23 talks
| title | conference | date |
|---|---|---|
| Symbolic value-flow static analysis:deep,precise,complete modeling of Ethereum smartcontracts | SPLASH 2022 | 2022-12-05 |
A static analysis combines concrete values and symbolic expressions into a symvalic analysis that runs as a Datalog fixpoint while calling a theorem prover… | ||
| Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities | SPLASH 2022 | 2022-12-05 |
Ethainter implements Datalog taint analysis and models cross-transaction taint with sanitizers, not just single-call bugs, and runs on bytecode at blockchain… | ||
| Elipmoc: advanced decompilation of Ethereum smart contracts | OOPSLA 2022 | 2022-12-05 |
Elipmoc claims a practical, high-precision decompiler for Ethereum bytecode that resolves operands 99.5% of the time versus Gigahorse’s 62.8%, yields up to 67%… | ||
| Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts | OOPSLA 2021 | 2021-10-17 |
A static analysis combines a Datalog fixpoint engine with a tightly integrated symbolic solver, invoking the solver tens to hundreds of thousands of times to… | ||
| Precise Static Modeling of Ethereum “Memory” | OOPSLA 2020 | 2020-11-15 |
Declarative modeling of EVM memory using datalog rules and a gigahorse decompiler recovers source-level arguments and array allocations from low-level… | ||
| nothing matches | ||