Implicit Invariant Sets for High-Dimensional Switched Affine Systems. - Andrew Wintenberg; Necmiye Ozay (CDC, 2020)

Enforcement of K-Step Opacity with Edit Functions. - Andrew Wintenberg; Matthew Blischke; Stéphane Lafortune; Necmiye Ozay (CDC, 2021)

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. - Sahar Mohajerani; Robi Malik; Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay (Autom., 2021)

Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. - Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay (ACC, 2022)

A Dynamic Obfuscation Framework for Security and Utility. - Andrew Wintenberg; Matthew Blischke; Stéphane Lafortune; Necmiye Ozay (ICCPS, 2022)

A general language-based framework for specifying and verifying notions of opacity. - Andrew Wintenberg; Matthew Blischke; Stéphane Lafortune; Necmiye Ozay (Discret. Event Dyn. Syst., 2022)

Opacity From Observers With a Bounded Memory. - Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay (IEEE Control. Syst. Lett., 2023)

Gray-box runtime enforcement of hyperproperties. - Tzu-Han Hsu; Ana Oliveira da Costa; Andrew Wintenberg; Ezio Bartocci; Borzoo Bonakdarpour (Acta Informatica, 2025)

Integrating Obfuscation and Control for Privacy. - Andrew Wintenberg; Necmiye Ozay; Stéphane Lafortune (IEEE Trans. Autom. Control., 2025)