Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI I Linkov, K Stoddard, A Strelzoff, SE Galaitsi, J Keisler, BD Trump, A Kott, ... 2023 15th International Conference on Cyber Conflict: Meeting Reality (CyCon …, 2023 | 1 | 2023 |
Value based information tracking for security enforcement M Pistoia, O Tripp, P Ferrara, P Tsankov US Patent 11,244,057, 2022 | 6 | 2022 |
Automated discovery of adaptive attacks on adversarial defenses C Yao, P Bielik, P Tsankov, M Vechev Advances in Neural Information Processing Systems 34, 26858-26870, 2021 | 27 | 2021 |
Light-weight context tracking and repair for preventing integrity and confidentiality violations P Ferrara, M Pistoia, O Tripp, P Tsankov US Patent 11,138,319, 2021 | 2 | 2021 |
Metha: Network Verifiers Need To Be Correct Too! P Tsankov, L Vanbever, M Vechev, R Birkner, T Brodmann | | 2021 |
Learning to Explore Paths for Symbolic Execution J He, G Sivanrupan, P Tsankov, M Vechev ACM CCS, 2021 | 33 | 2021 |
Robustness testing of ai systems: a case study for traffic sign recognition C Berghoff, P Bielik, M Neu, P Tsankov, A Von Twickel Artificial Intelligence Applications and Innovations: 17th IFIP WG 12.5 …, 2021 | 17 | 2021 |
Metha: Network verifiers need to be correct too! R Birkner, T Brodmann, P Tsankov, L Vanbever, M Vechev 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2021 | 8 | 2021 |
zkay v0. 2: practical data privacy for smart contracts N Baumann, S Steffen, B Bichsel, P Tsankov, M Vechev arXiv preprint arXiv:2009.01020, 2020 | 10 | 2020 |
Providing efficient information tracking with dynamically selected precision P Ferrara, M Pistoia, O Tripp, PI Tsankov US Patent 10,701,099, 2020 | | 2020 |
Probabilistic verification of network configurations S Steffen, T Gehr, P Tsankov, L Vanbever, M Vechev ACM SIGCOMM, 750-764, 2020 | 53 | 2020 |
VerX: Safety Verification of Smart Contracts A Permenev, D Dimitrov, P Tsankov, D Drachsler-Cohen, M Vechev IEEE Security and Privacy 2020, 2020 | 295 | 2020 |
zkay S Steffen, B Bichsel, M Gersbach, N Melchior, P Tsankov, M Vechev Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 2 | 2019 |
zkay: Specifying and Enforcing Data Privacy in Smart Contracts S Steffen, B Bichsel, M Gersbach, N Melchior, P Tsankov, M Vechev ACM CCS, 2019 | 107 | 2019 |
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts J He, M Balunović, N Ambroladze, P Tsankov, M Vechev ACM CCS, 2019 | 247 | 2019 |
Debin J He, P Ivanov, P Tsankov, V Raychev, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 1 | 2018 |
Dp-finder: Finding differential privacy violations by sampling and optimization B Bichsel, T Gehr, D Drachsler-Cohen, P Tsankov, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 72 | 2018 |
Debin: Predicting debug information in stripped binaries J He, P Ivanov, P Tsankov, V Raychev, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 131 | 2018 |
Securify: Practical security analysis of smart contracts P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 1069 | 2018 |
Inferring crypto API rules from code changes R Paletov, P Tsankov, V Raychev, M Vechev ACM SIGPLAN Notices 53 (4), 450-464, 2018 | 48 | 2018 |