Bokdeuk Jeong

According to our database, Bokdeuk Jeong authored at least 7 papers between 2008 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Detecting Inconsistencies in Arm CCA's Formally Verified Specification.

Changho Choi, Xiang Cheng, Bokdeuk Jeong, Taesoo Kim

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2023

UTopia: Automatic Generation of Fuzz Driver using Unit Tests.

Bokdeuk Jeong, Joonun Jang, Hayoon Yi, Jiin Moon, Junsik Kim, Intae Jeon, Taesoo Kim, WooChul Shim, Yong Ho Hwang

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2012

Seamless windowing for a future CE device running multiple operating systems.

Bokdeuk Jeong, Sung-Min Lee

Proceedings of the IEEE International Conference on Consumer Electronics, 2012

2009

Fine-grained I/O access control of the mobile devices based on the Xen architecture.

Sung-Min Lee, Sang-Bum Suh, Bokdeuk Jeong, Sangdok Mo, Brian Myungjune Jung, Jung-Hyun Yoo, Jae-Min Ryu, Dong-Hyuk Lee

Proceedings of the 15th Annual International Conference on Mobile Computing and Networking, 2009

A Virtual Window System for CE Devices Based on System Virtualization.

Sung-Min Lee, Sang-Bum Suh, Sangdok Mo, Alexander G. Trofimov, Bokdeuk Jeong

Proceedings of the 6th IEEE Consumer Communications and Networking Conference, 2009

2008

Demonstration of the Secure VMM for Beyond 3G Mobile Terminal.

Sang-Bum Suh, Sung-Min Lee, Sangdok Mo, Bokdeuk Jeong, Joo Young Hwang, Chan-Ju Park, Sung-Kwan Heo, Jung-Hyun Yoo, Jae-Min Ryu, Chul-Ryun Kim, Seong-Yeol Park, Jae-Ra Lee, Il-Pyung Park, Hosoo Lee

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

A Multi-Layer Mandatory Access Control Mechanism for Mobile Devices Based on Virtualization.

Sung-Min Lee, Sang-Bum Suh, Bokdeuk Jeong, Sangdok Mo

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008