Statistics
Publications
21
Citations
3.1K
H-Index
17
Active since
2011
Affiliations
Petar Tsankov is an author at ETH Zurich specializing in computer science, computing, and cybersecurity.
Publications per year
2011–2021
21
21
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 1K citations
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He, Mislav Balunović, Nodar Ambroladze et al. · 2019 · 263 citations
VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov et al. · 2020 · 237 citations · Full text
Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler Cohen et al. · arXiv (Cornell University) · 2018 · 132 citations · Full text
1–5 of 21