10 citations · 32 across the 26 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2021
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Lisa Oakley, Alina Oprea, Stavros Tripakis
Probabilistic model checking is a useful technique for specifying and verifying properties of stochastic systems including randomized protocols and reinforcement learning models. E…
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…