I am interested in finding better ways to design
software systems that are safe, secure, and reliable to use. I am
especially interested in leveraging rigorous modeling and analysis
techniques to detect and address potential flaws in early
development stages.
Interests. Software design, assurance, modeling,
verification, safety, security, and cyber-physical systems.
Applications. Some of the systems that I've recently worked on
include intelligent vehicles, a water treatment plant, a medical device, IoT
and mobile platforms, and web applications.
News
08/2018: I will be co-teaching 17-651:
Models of Software Systems with David Garlan this fall.
Publications
-
Property-Driven Runtime Resolution of Feature Interactions.
Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, and Shinichi Shiraishi.
International Conference on Runtime Verification (RV), 2018.
-
Quotient for Assume-Guarantee Contracts.
Inigo Incer, Alberto Sangiovanni-Vincentelli, Chung-Wei Lin, and Eunsuk Kang.
International Conference on Formal Methods and Models for System Design (MEMOCODE), 2018.
-
Runtime Monitoring for Safety of Intelligent Vehicles.
Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, and Shinichi Shiraishi.
Design Automation Conference (DAC), 2018 (invited paper).
-
Digital Behavioral Twins for Safe Connected Cars.
Ximing Chen, Zhihao Jiang, Eunsuk Kang, Shinichi Shiraishi, and Victor M. Preciado.
International Conference on Model-Driven Engineering Languages and Systems (MODELS), 2018.
-
Platform-Independent QoS Parameters and Primitive APIs for Automotive Software.
BaekGyu Kim, Chung-Wei Lin, Eunsuk Kang, Nobuyuki Tomatsu, and Shinichi Shiraishi.
International Conference on Intelligent Transportation Systems (ITSC), 2018.
-
Stealthy Deception Attacks for Cyber-Physical Systems.
Rômulo Meira Goés, Eunsuk Kang, Raymond Kwong, and Stéphane Lafortune.
IEEE Conference on Decision and Control (CDC), 2017.
-
An Architectural Mechanism for Resilient IoT Services.
Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman.
ACM Workshop on the Internet of Safe Things (SafeThings), 2017.
-
A Toolkit for Construction of Authorization Service Infrastructure for
the Internet of Things.
Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman.
ACM/IEEE International Conference on Internet-of-Things
Design and Implementation (IoTDI), 2017.
Best Paper Award
-
Multi-Representational Security Analysis.
Eunsuk Kang, Aleksandar Milicevic, and Daniel Jackson.
Symposium on the Foundations of Software Engineering (FSE), 2016.
ACM SIGSOFT Distinguished Paper Award
-
Designing Minimal Effective Normative Systems with the Help of
Lightweight Formal Methods.
Jianye Hao, Eunsuk Kang, Sun Jun, and Daniel Jackson.
Symposium on the Foundations of Software Engineering (FSE), 2016.
-
Design Space Exploration for Security.
Eunsuk Kang.
IEEE Conference on Cybersecurity Development (SecDev), 2016.
-
Model-Based Security Analysis of a Water Treatment System.
Eunsuk Kang, Sridhar Adepu, Daniel Jackson, and Aditya P. Mathur.
ICSE Workshop on Smart Cyber-Physical Systems, 2016.
-
Alloy*: A Higher-order Relational Constraint Solver
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang and Daniel Jackson.
International Conference on Software Engineering
(ICSE), 2015.
ACM SIGSOFT Distinguished Paper Award
-
Detection of Design Flaws in the Android Permission
Protocol through Bounded Verification.
Hamid Bagheri, Eunsuk Kang, Sam Malek, and Daniel Jackson.
International Symposium on Formal Methods
(FM), 2015.
-
Adaptive Defending Strategy for Smart Grid Attacks
Jianye Hao, Eunsuk Kang, Daniel Jackson, and Jun Sun.
Workshop on Smart Energy Grid Security, CCS, 2014.
-
A Model-Based Framework for Security Configuration Analysis
Eunsuk Kang and Daniel Jackson.
Manuscript, 2012.
-
A Lightweight Code Analysis and Its Role in Evaluation of a
Dependability Case
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang and Daniel Jackson.
International Conference on Software Engineering
(ICSE), 2011.
-
Dependability Arguments with Trusted Bases (slides)
Eunsuk Kang and Daniel Jackson.
International Conference on Requirements Engineering
(RE), 2010.
-
Separation of Concerns for Dependable Software Design (slides)
Daniel Jackson and Eunsuk Kang.
FSE Workshop on the Future of Software Engineering
Research, 2010.
-
Components, Platforms, and Possibilities: Towards Generic Automation
for MDA
Ethan Jackson, Eunsuk Kang, Dirk Seifert, Markus Dahlweid, and Thomas Santen.
International Conference on Embedded Software
(EMSOFT), 2010.
-
Patterns for Dependable Systems with Trusted Bases
Eunsuk Kang and Daniel Jackson.
Pattern Languages of Programs Conference (PLOP), 2010.
-
An Approach for Effective Design Space Exploration
Eunsuk Kang, Ethan Jackson, and Wolfram Schulte.
Monterey Workshop on Software Systems, 2010.
-
Property-Part Diagrams: A Dependence Notation for Software
systems
Daniel Jackson and Eunsuk Kang.
Software
Design and Requirements: The Work of Michael
Jackson, 2010.
- A Framework for Dependability Analysis of Software Systems with Trusted Bases
Eunsuk Kang.
Master's thesis, MIT, January 2010.
-
Formal Modeling and
Analysis of a Flash Filesystem (slides)
Eunsuk Kang and Daniel Jackson.
International Conference on ASM, B, and Z (ABZ), 2008.
An extended version in the International Journal of Software
and Informatics, Vol. 3, No. 2, 2009.
-
Improving the Usability of HOL through Controlled Automation Tactics (slides)
Eunsuk Kang and Mark Aagaard.
International Conference on Theorem Proving in Higher Order Logics
(TPHOLs), 2007.
Bio
Prior to joining CMU, I spent a year working on
connected vehicles at Toyota ITC, and was a postdoctoral scholar on
the NSF ExCAPE program with Stéphane
Lafortune and Stavros Tripakis. I
received a PhD in Computer Science at MIT, working with Daniel Jackson. Before
coming to MIT, I studied software engineering at the University of Waterloo, where I
spent several terms as a member of WatForm.
My academic genealogy
