Petar Tsankov

Publications by Year

Research Areas

Advanced Malware Detection Techniques, Security and Verification in Computing, Software Testing and Debugging Techniques, Blockchain Technology Applications and Security, Network Security and Intrusion Detection

Most-Cited Works

• → Securify(2018)979 cited
• → AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation(2018)801 cited
• → Learning to Fuzz from Symbolic Execution with Application to Smart Contracts(2019)259 cited
• → VerX: Safety Verification of Smart Contracts(2020)234 cited
• → Securify: Practical Security Analysis of Smart Contracts(2018)131 cited
• → Statistical Deobfuscation of Android Applications(2016)115 cited
• → Debin(2018)92 cited
• → zkay(2019)75 cited
• → Network-Wide Configuration Synthesis(2017)75 cited
• → DP-Finder(2018)56 cited