I agree that this site is using cookies. You can find further informations here.
X
Tsankov, Petar
44  results:
Search for persons X
?
1

Toward Mission-Critical AI: Interpretable, Actionable, and ..:

, In: 2023 15th International Conference on Cyber Conflict: Meeting Reality (CyCon),
Linkov, Igor ; Stoddard, Kelsey ; Strelzoff, Andrew... - p. 181-197 , 2023
Link: https://doi.org/10.23919..
 
?
2

Learning to Explore Paths for Symbolic Execution:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,
He, Jingxuan ; Sivanrupan, Gishor ; Tsankov, Petar. - p. 2526-2540 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Robustness Testing of AI Systems: A Case Study for Traffic ..:

, In: IFIP Advances in Information and Communication Technology; Artificial Intelligence Applications and Innovations,
Berghoff, Christian ; Bielik, Pavol ; Neu, Matthias.. - p. 256-267 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Probabilistic Verification of Network Configurations:

, In: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication,
Steffen, Samuel ; Gehr, Timon ; Tsankov, Petar.. - p. 750-764 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

VerX: Safety Verification of Smart Contracts:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
Permenev, Anton ; Dimitrov, Dimitar ; Tsankov, Petar.. - p. 1661-1677 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Learning to Fuzz from Symbolic Execution with Application t..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
He, Jingxuan ; Balunović, Mislav ; Ambroladze, Nodar.. - p. 531-548 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

zkay : Specifying and Enforcing Data Privacy in Smart Co..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Steffen, Samuel ; Bichsel, Benjamin ; Gersbach, Mario... - p. 1759-1776 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

Bayonet: probabilistic inference for networks:

Gehr, Timon ; Misailovic, Sasa ; Tsankov, Petar...
ACM SIGPLAN Notices.  53 (2018)  4 - p. 586-602 , 2018
Link: https://doi.org/10.1145/..
 
?
9

Securify : Practical Security Analysis of Smart Contract:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,
Tsankov, Petar ; Dan, Andrei ; Drachsler-Cohen, Dana... - p. 67-82 , 2018
Link: https://dl.acm.org/doi/1..
 
?
10

Bayonet: probabilistic inference for networks:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Gehr, Timon ; Misailovic, Sasa ; Tsankov, Petar... - p. 586-602 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

DP-Finder : Finding Differential Privacy Violations by S..:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,
Bichsel, Benjamin ; Gehr, Timon ; Drachsler-Cohen, Dana.. - p. 508-524 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Inferring crypto API rules from code changes:

Paletov, Rumen ; Tsankov, Petar ; Raychev, Veselin.
ACM SIGPLAN Notices.  53 (2018)  4 - p. 450-464 , 2018
Link: https://doi.org/10.1145/..
 
?
13

Security Analysis of Smart Contracts in Datalog:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,
Tsankov, Petar - p. 316-322 , 2018
Link: https://doi.org/10.1007/..
 
?
14

Debin : Predicting Debug Information in Stripped Binarie:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,
He, Jingxuan ; Ivanov, Pesho ; Tsankov, Petar.. - p. 1667-1680 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Inferring crypto API rules from code changes:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Paletov, Rumen ; Tsankov, Petar ; Raychev, Veselin. - p. 450-464 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15