Model Checking for Adversarial Robustness

[back to lisaoakley.github.io]

Publications and Presentations

[Conference Paper] Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Lisa Oakley, Alina Oprea, and Stavros Tripakis
35th IEEE Computer Security Foundations Symposium (to appear, 2022)
[paper] [video] [code]

[Poster] Model Checking Adversarial Robustness in Stochastic Systems
Lisa Oakley, Alina Oprea, and Stavros Tripakis
CRA Grad Cohort for Women Poster Session (2022)
[poster]

[Workshop Paper] Adversarial Robustness of AI Agents Acting in Probabilistic Environments
Lisa Oakley, Alina Oprea, and Stavros Tripakis
Workshop on Foundations of Computer Security (2020)
[paper] [video]

Code

DTMC Robustness with Model Checking Code [code]