|University of California, Berkeley|| |
|545S Cory Hall|| |
| ycwu [at] umich [dot] edu|| |
| yichin.wu [at] berkeley [dot] edu|| |
I am a postdoctoral researcher at the TerraSwarm Research Center, working with Prof. Stéphane Lafortune at the University of Michigan and collaborating with Prof. Edward Lee and Prof. Sanjit Seshia at UC Berkeley. I am working at Berkeley most of the time.
I earned my Ph.D. degree in August 2014 in EECS Systems Laboratory (EE:S) at the University of Michigan, where I was working in the Discrete Event Systems (DES) group supervised by Prof. Stéphane Lafortune. After my graduation, I joined the TerraSwarm Research Center.
My research interest lies at the intersection of network security, formal verification, and control synthesis.
Specifically, my research focuses on a privacy notion called "opacity" that is formulated with automata models.
Opacity means the impossibility for an outside attacker to derive the true value of the secret in a given system.
My work explores algorithmic methods for designing and controlling systems that guarantee the desired opacity specifications.
Links to my CV and Research Statement.
- VEiP (Verification and Enforcement using Insertion for oPacity) (New!)
Open-source tool for verifying opacity and synthesizing opacity-enforcing insertion functions.
- Y.-C. Wu and S. Lafortune, "Optimal Synthesis of Insertion Functions for Opacity Enforcement", To appear in Transactions on Automatic Control, 2015.
- Y.-C. Wu and S. Lafortune, "Synthesis of Insertion Functions for Enforcement of Opacity Security Properties", Automatica, 50(5):1336-1348, 2014.
- Y.-C. Wu and S. Lafortune, "Comparative Analysis of Related Notions of Opacity in Centralized and Coordinated Architectures", Journal of Discrete Event Dynamic Systems, p1-33, 2013
- Y.-C. Wu, K. A. Sankararaman, and S. Lafortune, "Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement", Proc. of the 14th International Workshop of Discrete Event Systems, pages 33-38, 2014.
- Y.-C. Wu and S. Lafortune, "Enforcement of Opacity Properties Using Insertion Functions", Conference on Decision and Control, p.6722-6728, Dec. 2012.
- EECS 501 Probability and Random Processes, University of Michigan
Fall 2010, Winter 2011, Fall 2011
- EECS 460 Control Systems Design and Analysis, University of Michigan
- I was co-hosting EECS Grad Girls social gathering events starting from Oct. 2012 until I graduated in Aug. 2014.
- I have been participating in many intramural sports games: indoor volleyball, sand volleyball, wallyball, basketball, soccer, and softball. I led my volleyball team to the championsihp in 2010 and my sand volleyball team to the second place in 2009.