Tsankov, Petar
- Securify: Practical Security Analysis of Smart Contracts
2018/06/04 by Petar Tsankov, Andrei Dan, Tsankov, Petar +9 · 30 citations
Computer Science · #Blockchain Technology Applications and Security #Advanced Malware Detection Techniques #Security and Verification in Computing
- COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act
2024/10/10 by Philipp Guldimann, Guldimann, Philipp, Alexander Spiridonov +21 · 5 citations
Computer Science · #Law, AI, and Intellectual Property
- Network-wide Configuration Synthesis
2016/11/08 by Ahmed El-Hassany, El-Hassany, Ahmed, Petar Tsankov +5 · 1 citation
Computer Science · #Software-Defined Networks and 5G #Interconnection Networks and Systems #Software System Performance and Reliability
- Automated Discovery of Adaptive Attacks on Adversarial Defenses
2021/02/23 by Yao, Chengyuan, Bielik, Pavol, Tsankov, Petar +1 · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)