Bokdeuk Jeong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Detecting Inconsistencies in Arm CCA's Formally Verified Specification. | Changho Choi, Xiang Cheng, Bokdeuk Jeong, Taesoo Kim |
| 2023 | SP | 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 |
| 2009 | MOBICOM | 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 |