Petar Tsankov
3 papers
· 2018–2021
· 2 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(7)
Conferences
NSDI (2)
NIPS (1)
Top co-authors
Keywords
adversarial attack
(1)
adversarial defense
(1)
network verification
(1)
bug detection
(1)
network configuration synthesis
(1)
bgp routing
(1)
ospf protocol
(1)
routing policy
(1)
network configuration
(1)
configuration testing
(1)
search space
(1)
ensemble attack
(1)
adaptive attack
(1)
configuration synthesis
(1)
counter-example guided inductive synthesis
(1)
link-state protocol
(1)
grammar based fuzzing
(1)
combinatorial testing
(1)
automated attack discovery
(1)