10 citations · 32 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020
Automated Attacker Synthesis for Distributed Protocols
Max von Hippel, Cole Vick, Stavros Tripakis +1
Distributed protocols should be robust to both benign malfunction (e.g. packet loss or delay) and attacks (e.g. message replay) from internal or external adversaries. In this paper…
cs.LG2020
Metrics and methods for robustness evaluation of neural networks with generative models
Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis
Recent studies have shown that modern deep neural network classifiers are easy to fool, assuming that an adversary is able to slightly modify their inputs. Many papers have propose…