Petar Tsankov

Petar Tsankov

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1101733
Swiss Federal Institute of Technology ETH Zurich
person_outline Petar Tsankov's MOST POPULAR ARTICLES
1-) Securify: Practical security analysis of smart contractsP Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M VechevProceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 20189142018
2-) AI2: Safety and Robustness Certification of Neural Networks with Abstract InterpretationT Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...IEEE Security and Privacy 2018, 20189142018
3-) VerX: Safety Verification of Smart ContractsA Permenev, D Dimitrov, P Tsankov, D Drachsler-Cohen, M VechevIEEE Security and Privacy 2020, 20201662020
4-) Learning to Fuzz from Symbolic Execution with Application to Smart ContractsJ He, M Balunović, N Ambroladze, P Tsankov, M VechevACM CCS, 20192712019
5-) Statistical deobfuscation of android applicationsB Bichsel, V Raychev, P Tsankov, M VechevProceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 20161652016