Scholar

Jin-Young Choi

Google Scholar ID: KwPeKQMAAAAJ

Professor of Computer Science, Korea University

Formal MethodsSecure Software Engineering

Google Scholar↗

Citations & Impact

All-time

Citations

1,338

H-index

19

i10-index

39

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Trust Boundary Semantic Gaps: A Multi-dimensional Analysis and Mitigation for Security-by-Design

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)