32
Publications
990
Citations
18
H-Index
2010
Active since
Eunsuk Kang is an author at Carnegie Mellon University specializing in computer science, engineering, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringFormal VerificationFormal MethodsSoftware DesignInformation SecuritySoftware AnalysisVerificationData Security
Publications per year
2010–2023
32
32
Stealthy deception attacks for cyber-physical systems
Rômulo Meira Góes, Eunsuk Kang, R.H. Kwong et al. · 2017 · 92 citations
Engineering, Information Security, Discrete Event Systems +17
Digital Behavioral Twins for Safe Connected Cars
Ximing Chen, Eunsuk Kang, Shinichi Shiraishi et al. · 2018 · 73 citations
Artificial Intelligence, Vehicle Communication, Engineering +18
Model-based security analysis of a water treatment system
Eunsuk Kang, Sridhar Adepu, Daniel Jackson et al. · 2016 · 65 citations
Engineering, Information Security, Water Resource System +20
A formal approach for detection of security flaws in the android permission system
Hamid Bagheri, Eunsuk Kang, Sam Malek et al. · Formal Aspects of Computing · 2017 · 62 citations
Rows per page
1–5 of 32