Concepedia

Sungdeok Cha

SC

Statistics

Publications

27

Citations

792

H-Index

19

Active since

2001

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Korea University

Konkuk University

Korea Atomic Energy Research Institute

Konkuk University Medical Center

Sungdeok Cha is an author at Korea Advanced Institute of Science and Technology specializing in computer science, computing, and formal methods.

Publications per year

2001–2019

27

Publications

27

SAD: web session anomaly detection based on parameter estimation

Sang‐Hyun Cho, Sungdeok Cha · Computers & Security · 2004 · 70 citations

Computing, Computer Science, Computer Security +13

Data-driven context-sensitivity for points-to analysis

Sehun Jeong, Minseok Jeon, Sungdeok Cha et al. · Proceedings of the ACM on Programming Languages · 2017 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +16

Empirical evaluation of SVM-based masquerade detection using UNIX commands

HanSung Kim, Sungdeok Cha · Computers & Security · 2004 · 62 citations

Computing, Computer Science, Computer Systems +9

Formal Modeling and Verification of Safety-Critical Software

Junbeom Yoo, Eunkyoung Jee, Sungdeok Cha · IEEE Software · 2009 · 55 citations

Engineering, Nuclear Engineering, Systems Engineering +14

A formal software requirements specification method for digital nuclear plant protection systems

Junbeom Yoo, Tai-Hyo Kim, Sungdeok Cha et al. · Journal of Systems and Software · 2003 · 46 citations

Engineering, Nuclear Engineering, Systems Engineering +14

1–5 of 27