| Comparative analysis of related notions of opacity in centralized and coordinated architectures YC Wu, S Lafortune Discrete Event Dynamic Systems 23 (3), 307-339, 2013 | 223 | 2013 |
| Detection and mitigation of classes of attacks in supervisory control systems LK Carvalho, YC Wu, R Kwong, S Lafortune Automatica 97, 121-133, 2018 | 176 | 2018 |
| Synthesis of insertion functions for enforcement of opacity security properties YC Wu, S Lafortune Automatica 50 (5), 1336-1348, 2014 | 142 | 2014 |
| Enforcement of opacity by public and private insertion functions Y Ji, YC Wu, S Lafortune Automatica 93, 369-378, 2018 | 80 | 2018 |
| Synthesis of obfuscation policies to ensure privacy and utility YC Wu, V Raman, BC Rawlings, S Lafortune, SA Seshia Journal of Automated Reasoning 60, 107-131, 2018 | 62 | 2018 |
| Detection and prevention of actuator enablement attacks in supervisory control systems LK Carvalho, YC Wu, R Kwong, S Lafortune 2016 13th International workshop on discrete event systems (WODES), 298-305, 2016 | 59 | 2016 |
| Synthesis of optimal insertion functions for opacity enforcement YC Wu, S Lafortune IEEE Transactions on Automatic Control 61 (3), 571-584, 2015 | 46 | 2015 |
| Ensuring privacy in location-based services: An approach based on opacity enforcement YC Wu, KA Sankararaman, S Lafortune IFAC Proceedings Volumes 47 (2), 33-38, 2014 | 45 | 2014 |
| Enforcement of opacity properties using insertion functions YC Wu, S Lafortune 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6722-6728, 2012 | 27 | 2012 |
| Obfuscator synthesis for privacy and utility YC Wu, V Raman, S Lafortune, SA Seshia NASA Formal Methods Symposium, 133-149, 2016 | 22 | 2016 |
| Synthesis of opacity-enforcing insertion functions that can be publicly known YC Wu, S Lafortune 2015 54th IEEE Conference on Decision and Control (CDC), 3506-3513, 2015 | 15 | 2015 |
| Verification and Enforcement of Opacity Security Properties in Discrete Event Systems YC Wu University of Michigan, 2014 | 10 | 2014 |
| Enhancing opacity of stochastic discrete event systems using insertion functions YC Wu, G Lederman, S Lafortune 2016 American Control Conference (ACC), 2053-2060, 2016 | 7 | 2016 |
| Detection and Mitigation of Classes of Attacks in Supervisory Control Systems L Kawakami Carvalho, YC Wu, R Kwong, S Lafortune arXiv e-prints, arXiv: 1807.04889, 2018 | | 2018 |
Stéphane LafortuneProfessor of Electrical Engineering and Computer Science, University of Michigan, USAVerified email at umich.edu
