Follow
Yi-Chin Wu
Title
Cited by
Cited by
Year
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
1632013
Detection and mitigation of classes of attacks in supervisory control systems
LK Carvalho, YC Wu, R Kwong, S Lafortune
Automatica 97, 121-133, 2018
1112018
Synthesis of insertion functions for enforcement of opacity security properties
YC Wu, S Lafortune
Automatica 50 (5), 1336-1348, 2014
1022014
Enforcement of opacity by public and private insertion functions
Y Ji, YC Wu, S Lafortune
Automatica 93, 369-378, 2018
512018
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
402018
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
402016
Synthesis of optimal insertion functions for opacity enforcement
YC Wu, S Lafortune
IEEE Transactions on Automatic Control 61 (3), 571-584, 2015
372015
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
352014
Enforcement of opacity properties using insertion functions
YC Wu, S Lafortune
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6722-6728, 2012
212012
Obfuscator synthesis for privacy and utility
YC Wu, V Raman, S Lafortune, SA Seshia
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
162016
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
112015
Enhancing opacity of stochastic discrete event systems using insertion functions
YC Wu, G Lederman, S Lafortune
2016 American Control Conference (ACC), 2053-2060, 2016
72016
Verification and Enforcement of Opacity Security Properties in Discrete Event Systems
YC Wu
University of Michigan, 2014
52014
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
Published: 22 July 2017
YC Wu, V Raman, BC Rawlings, S Lafortune, SA Seshia
Journal of Automated Reasoning 60, 107-131, 2018
2018
My doctoral research involves three aspects: verification, enforcement, and optimal control for opacity.
YC Wu
The system can't perform the operation now. Try again later.
Articles 1–16