Jong Hyun Park

Available identifiers

zbMath Open park.jonghyunMaRDI QIDQ971576

List of research outcomes

Publication	Date of Publication	Type
See-in-the-middle attacks on blockciphers ARIA and DEFAULT	2023-08-21	Paper
Improved see-in-the-middle attacks on AES	2022-12-07	Paper
Adaptive Cooperation of Prefetching and Warp Scheduling on GPUs	2019-08-13	Paper
Mechanizing metatheory without typing contexts	2015-07-02	Paper
A theorem prover for Boolean BI	2014-11-27	Paper
Methods to Detect Road Features for Video-Based In-Vehicle Navigation Systems	2010-05-26	Paper
Color image segmentation using adaptive mean shift and statistical model-based methods	2010-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3619205	2009-04-03	Paper
Computational and Information Science	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4448204	2004-02-17	Paper

Research outcomes over time

This page was built for person: Jong Hyun Park