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
1932013
Detection and mitigation of classes of attacks in supervisory control systems
LK Carvalho, YC Wu, R Kwong, S Lafortune
Automatica 97, 121-133, 2018
1422018
Synthesis of insertion functions for enforcement of opacity security properties
YC Wu, S Lafortune
Automatica 50 (5), 1336-1348, 2014
1192014
Enforcement of opacity by public and private insertion functions
Y Ji, YC Wu, S Lafortune
Automatica 93, 369-378, 2018
612018
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
522016
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
492018
Synthesis of optimal insertion functions for opacity enforcement
YC Wu, S Lafortune
IEEE Transactions on Automatic Control 61 (3), 571-584, 2015
412015
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
412014
Enforcement of opacity properties using insertion functions
YC Wu, S Lafortune
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6722-6728, 2012
242012
Obfuscator synthesis for privacy and utility
YC Wu, V Raman, S Lafortune, SA Seshia
NASA Formal Methods Symposium, 133-149, 2016
202016
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
122015
Verification and Enforcement of Opacity Security Properties in Discrete Event Systems
YC Wu
University of Michigan, 2014
102014
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
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
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–15