
Registered user since Wed 19 Nov 2014
Name: Petar Tsankov
Country: Switzerland
Affiliation: ETH Zurich
Personal website: http://www.ptsankov.com
Research interests: Security, Program Synthesis, Machine Learning, Probabilistic Programming
Contributions
PLDI 2018 | Bayonet: Probabilistic Inference for Networks Inferring Crypto API Rules from Code Changes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2018-profile
View general profile
View general profile