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 2025)

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).