Jin-Young Choi

Most-cited papers

Risk management-based security evaluation model for telemedicine systems
Dong-won Kim, Jin-Young Choi, Keun-hee Han
2020BMC Medical Informatics and Decision Making64 citations Open access
Semantic Scholar
Enhanced password-based simple three-party key exchange protocol
Hyun Seok Kim, Jin-Young Choi
2009Computers & electrical engineering64 citations
Semantic Scholar
Detecting SQL injection attacks using query result size
Young-Su Jang, Jin-Young Choi
2014Computers & security43 citations
Semantic Scholar
Formal Modeling and Verification of SDN-OpenFlow
M. Kang, E. Kang, Dae-Yon Hwang, Beomin Kim +3 more
20132013 IEEE Sixth International Conference on Software Testing, Verification and Validation25 citations
Semantic Scholar
Medical Device Safety Management Using Cybersecurity Risk Analysis
Dong-won Kim, Jin-Young Choi, Keun-hee Han
2020IEEE Access23 citations Open access
Semantic Scholar
Improved User Authentication Scheme with User Anonymity for Wireless Communications
M. Kang, H. Rhee, Jin-Young Choi
2011IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences22 citations
Semantic Scholar
Timed and Resource-Oriented Statecharts for Embedded Software
Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
2010IEEE Transactions on Industrial Informatics22 citations
Semantic Scholar
Verification for NFV-enabled network services
M. Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack +2 more
2015Information and Communication Technology Convergence21 citations
Semantic Scholar
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking
Hyun-Seok Kim, Jeong-Hyun Oh, Jin-Young Choi
2006Annual International Computer Software and Applications Conference12 citations
Semantic Scholar
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System
Hyun-Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim
2006International Conference on Computer and Information Technology11 citations
Semantic Scholar
A Verification Method of SDN Firewall Applications
M. Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak +2 more
2016IEICE transactions on communications10 citations
Semantic Scholar
A Secure Communication Protocol for Low-Cost RFID System
Jung-Hyun Oh, Hyun-Seok Kim, Jin-Young Choi
2007International Conference on Computer and Information Technology10 citations
Semantic Scholar
Formal Modeling of Smart Contract-based Trading System
W. Park, Hyuk Lee, Jin-Young Choi
2021International Conference on Advanced Communication Technology8 citations
Semantic Scholar
Optimizing the resource requirements of hierarchical scheduling systems
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar +4 more
2016SIGBED8 citations
Semantic Scholar
Cryptanalysis of Secure Key Exchange Protocol between STB and Smart Card in IPTV Broadcasting
Song-Hee Lee, Nam-Sup Park, Soo-kyun Kim, Jin-Young Choi
2009International Symposium on Algorithms8 citations
Semantic Scholar
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
Spyros A. Reveliotis, E. Roszkowska, Jin-Young Choi
2007Proceedings 2007 IEEE International Conference on Robotics and Automation8 citations
Semantic Scholar
Analysis of the RFID Security Protocol for Secure Smart Home Network
Hyunsung Kim, Jung-Hyun Oh, Jin-Young Choi
2006International Conference on Hybrid Information Technology8 citations
Semantic Scholar
Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation
Young-Su Jang, Jin-Young Choi
2018IEICE Trans. Inf. Syst.7 citations Open access
Semantic Scholar
Analysis of software weakness detection of CBMC based on CWE
Minjae Byun, Yongjun Lee, Jin-Young Choi
2020International Conference on Advanced Communication Technology6 citations
Semantic Scholar
Formal Specification Framework for Software-Defined Networks (SDN)
M. Shin, M. Kang, Jin-Young Choi, Ki-Hyuk Nam
20136 citations
Semantic Scholar
Formal synthesis of application and platform behaviors of embedded software systems
Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee +1 more
2015Journal of Software and Systems Modeling5 citations
Semantic Scholar
The Research on Vulnerability Analysis in OpenADR for Smart Grid
Mijeong Park, M. Kang, Jin-Young Choi
2014Designing Augmented Reality Environments5 citations
Semantic Scholar
Monitoring Translation Lookahead Buffers to Detect Code Injection Attacks
Y. Ahn, Yongsuk Lee, Jin-Young Choi, Gyungho Lee +1 more
2014Computer5 citations
Semantic Scholar
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project
Hyun-seok Min, S. Chung, Jin-Young Choi
2013Journal of universal computer science (Online)5 citations
Semantic Scholar
Formal Verification of Cryptographic Protocol for Secure RFID System
Hyun-Seok Kim, Jung-Hyun Oh, Ju-Bae Kim, Yeon-Oh Jeong +1 more
20082008 Fourth International Conference on Networked Computing and Advanced Information Management5 citations
Semantic Scholar
Secure Handover Protocol for Mobile WiMAX Networks
Song-Hee Lee, Nam-Sup Park, Jin-Young Choi
2008IEICE Trans. Inf. Syst.5 citations Open access
Semantic Scholar
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
Junkil Park, Insup Lee, O. Sokolsky, Dae-Yon Hwang +3 more
2017J. Log. Algebraic Methods Program.4 citations Open access
Semantic Scholar
Hierarchical System Schedulability Analysis Framework Using UPPAAL
S. Ahn, Dae-Yon Hwang, M. Kang, Jin-Young Choi
2016IEICE Trans. Inf. Syst.4 citations Open access
Semantic Scholar
Formal modeling and verification for SDN firewall application using pACSR
M. Kang, Jin-Young Choi, Hee-Hwan Kwak, Inhye Kang +2 more
20154 citations
Semantic Scholar
Nuclear-related Software analysis based on secure coding
Darrell Jung, Jin-Young Choi, Song-Hee Lee
2013Conference on Information Security and Cryptology4 citations Open access
Semantic Scholar
Saturating counter design for meta predictor in hybrid branch prediction
Y. Ahn, Dae-Yon Hwang, Yong-Suk Lee, Jin-Young Choi +1 more
20094 citations
Semantic Scholar
Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
S. Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee +1 more
20084 citations
Semantic Scholar
Embedded System Modeling Based on Resource-Oriented Model
Jin Hyun Kim, Jin-Young Choi
2007European Conference on the Engineering of Computer-Based Systems4 citations
Semantic Scholar
A Light-weight Security Protocol for RFID System
Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi
2007IFIP International Conference on Personal Wireless Communications4 citations Open access
Semantic Scholar
Formal Security Policy Model for a Common Criteria Evaluation
Junkil Park, Jin-Young Choi
2007International Conference on Advanced Communication Technology4 citations
Semantic Scholar
Formal Verification of Security Model Using SPR Tool
Il-Gon Kim, M. Kang, Jin-Young Choi, P. D. Zegzhda +3 more
2006Computers and artificial intelligence4 citations
Semantic Scholar
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems
Hyuk Lee, Jin-Young Choi
2018IEEE Access3 citations Open access
Semantic Scholar
Process Algebraic Specification of Software Defined Networks
M. Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam +1 more
20122012 Fourth International Conference on Computational Intelligence, Communication Systems and Networks3 citations
Semantic Scholar
A Process Algebraic Framework for Modeling Resource Demand and Supply
A. Philippou, Insup Lee, O. Sokolsky, Jin-Young Choi
2010International Conference on Formal Modeling and Analysis of Timed Systems3 citations
Semantic Scholar
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
2010Journal of universal computer science (Online)3 citations Open access
Semantic Scholar
Formal Embedded Operating System Model Based on Resource-Based Design Framework
Jin-Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Kim +1 more
2007International Conference on Quality Software3 citations
Semantic Scholar
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing
Hyun-Seok Kim, Jin-Young Choi
2007International Conference on Database and Expert Systems Applications3 citations
Semantic Scholar
Secure Authentication Protocol for Drones in LTE Networks
Dayoung Kang, Gyuhong Lee, Jin-Young Choi
2021Advances in Security, Networks, and Internet of Things2 citations
Semantic Scholar
Is a False Positive really False Positive?
Hong-Jun Choi, Hyuk Lee, Jin-Young Choi
2021International Conference on Advanced Communication Technology2 citations
Semantic Scholar
Static Equivalence Checking for OpenFlow Networks
Hyuk Lee, Jin-Young Choi
2021Electronics2 citations Open access
Semantic Scholar
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems
Joonun Jang, Jin-Young Choi
2017Journal of Communications2 citations
Semantic Scholar
Security analysis of smart card based password authentication schemes
Hyunsung Kim, Suk Seo, Jin-Young Choi
2010Isis2 citations
Semantic Scholar
FMIPv6 based Secure Binding Update Authentication in Wireless Vehicular Networks
Song-Hee Lee, Jin-Young Choi, Nam-Sup Park
2009International Symposium on Wireless Pervasive Computing2 citations
Semantic Scholar
Ensuring Sound Numerical Simulation of Hybrid Automata
Y. Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi
2009Journal of Computing Science and Engineering2 citations Open access
Semantic Scholar
Resource-Oriented Design Framework for Embedded System Components
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi
2008International Workshop on Formal Aspects of Component Software2 citations Open access
Semantic Scholar