Oakley, L. ., Oprea, A. ., & Tripakis, S. . (2022). Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. In (pp. 380–395). Haifa, Israel: IEEE. http://doi.org/10.1109/CSF54842.2022.9919660 (Original work published 2024)

Oakley, L. ., Oprea, A. ., & Tripakis, S. . (2022). Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. In 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (pp. 380–395).

Ho, S. ., Reddy, A. ., Venkatesan, S. ., Izmailov, R. ., Chadha, R. ., & Oprea, A. . (2022). Data Sanitization Approach to Mitigate Clean-Label Attacks Against Malware Detection Systems. In MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM) (pp. 993–998).