Hyunok Oh

According to our database, Hyunok Oh authored at least 87 papers between 1996 and 2024.

Collaborative distances:

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

2024

vCNN: Verifiable Convolutional Neural Network Based on zk-SNARKs.

Seunghwa Lee, Hankyung Ko, Jihye Kim, Hyunok Oh

IEEE Trans. Dependable Secur. Comput., 2024

zkVoting : Zero-knowledge proof based coercion-resistant and E2E verifiable e-voting system.

Seongho Park, Jaekyoung Choi, Jihye Kim, Hyunok Oh

IACR Cryptol. ePrint Arch., 2024

Hadamard Product Arguments and Their Applications.

Kyeongtae Lee, Donghwan Oh, Hankyung Ko, Jihye Kim, Hyunok Oh

IACR Cryptol. ePrint Arch., 2024

Lego-DLC: batching module for commit-carrying SNARK under Pedersen Engines.

Byeongjun Jang, Gweonho Jeong, Hyuktae Kwon, Hyunok Oh, Jihye Kim

IACR Cryptol. ePrint Arch., 2024

DUPLEX: Scalable Zero-Knowledge Lookup Arguments over RSA Group.

Semin Han, Geonho Yoon, Hyunok Oh, Jihye Kim

IACR Cryptol. ePrint Arch., 2024

A Hardware-Based Correct Execution Environment Supporting Virtual Memory.

Daehyeon Lee, Ohsuk Shin, Yeonghyeon Cha, Junghee Lee, Taisic Yun, Jihye Kim, Hyunok Oh, Chrysostomos Nicopoulos, Sang Su Lee

IEEE Access, 2024

GrAC: Graph-Based Anonymous Credentials from Identity Graphs on Blockchain.

Wenyi Tang, Shankha Shubhra Mukherjee, Seongho Park, Changhao Chenli, Hyunok Oh, Jihye Kim, Taeho Jung

Proceedings of the IEEE International Conference on Blockchain, 2024

zkLogis: Scalable, Privacy-Enhanced, and Traceable Logistics on Public Blockchain.

Jongho Kim, Junhee Lee, Hyunok Oh, Jihye Kim

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

2023

Azeroth: Auditable Zero-Knowledge Transactions in Smart Contracts.

Gweonho Jeong, Nuri Lee, Jihye Kim, Hyunok Oh

IEEE Access, 2023

Efficient Transparent Polynomial Commitments for zk-SNARKs.

Sungwook Kim, Sungju Kim, Yulim Shin, Sunmi Kim, Jihye Kim, Hyunok Oh

Proceedings of the Computer Security - ESORICS 2023, 2023

2021

Privacy-preserving Identity Management System.

Jeonghyuk Lee, Jaekyung Choi, Hyunok Oh, Jihye Kim

IACR Cryptol. ePrint Arch., 2021

Succinct Zero-Knowledge Batch Proofs for Set Accumulators.

Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh

IACR Cryptol. ePrint Arch., 2021

Forward-Secure Multi-User Aggregate Signatures Based on zk-SNARKs.

Jeonghyuk Lee, Jihye Kim, Hyunok Oh

IEEE Access, 2021

2020

Combinatorial Subset Difference - IoT-Friendly Subset Representation and Broadcast Encryption.

Jiwon Lee, Seunghwa Lee, Jihye Kim, Hyunok Oh

Sensors, 2020

vCNN: Verifiable Convolutional Neural Network.

Seunghwa Lee, Hankyung Ko, Jihye Kim, Hyunok Oh

IACR Cryptol. ePrint Arch., 2020

Efficient Verifiable Image Redacting based on zk-SNARKs.

Hankyung Ko, Ingeun Lee, Seunghwa Lee, Jihye Kim, Hyunok Oh

IACR Cryptol. ePrint Arch., 2020

Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment.

Junghee Lee, Chrysostomos Nicopoulos, Gweonho Jeong, Jihye Kim, Hyunok Oh

IEEE Access, 2020

Simulation-Extractable zk-SNARK With a Single Verification.

Jihye Kim, Jiwon Lee, Hyunok Oh

IEEE Access, 2020

2019

AuthCropper: Authenticated Image Cropper for Privacy Preserving Surveillance Systems.

Jihye Kim, Jiwon Lee, Hankyung Ko, Donghwan Oh, Semin Han, Gwonho Jeong, Hyunok Oh

ACM Trans. Embed. Comput. Syst., 2019

FAS: Forward secure sequential aggregate signatures for secure logging.

Jihye Kim, Hyunok Oh

Inf. Sci., 2019

BESTIE: Broadcast Encryption Scheme for Tiny IoT Equipments.

Jiwon Lee, Jihye Kim, Hyunok Oh

IACR Cryptol. ePrint Arch., 2019

SIMS : Self Sovereign Identity Management System with Preserving Privacy in Blockchain.

Jeonghyuk Lee, Jungyeon Hwang, Jaekyung Choi, Hyunok Oh, Jihye Kim

IACR Cryptol. ePrint Arch., 2019

SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization.

Jiwon Lee, Jaekyoung Choi, Jihye Kim, Hyunok Oh

IACR Cryptol. ePrint Arch., 2019

QAP-based Simulation-Extractable SNARK with a Single Verification.

Jihye Kim, Jiwon Lee, Hyunok Oh

IACR Cryptol. ePrint Arch., 2019

Scalable Wildcarded Identity-Based Encryption.

Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh

IACR Cryptol. ePrint Arch., 2019

Forward Secure Identity-Based Signature Scheme with RSA.

Hankyung Ko, Gweonho Jeong, Jongho Kim, Jihye Kim, Hyunok Oh

Proceedings of the ICT Systems Security and Privacy Protection, 2019

AILocker: authenticated image locker for video.

Jihye Kim, Hankyung Ko, Hyunok Oh

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

SA-SPM: an efficient compiler for security aware scratchpad memory (invited paper).

Thomas Haywood Dadzie, Jiwon Lee, Jihye Kim, Hyunok Oh

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

2018

A hybrid performance analysis technique for distributed real-time embedded systems.

Junchul Choi, Hyunok Oh, Soonhoi Ha

Real Time Syst., 2018

Forward-secure ID based digital signature scheme with forward-secure private key generator.

Hyunok Oh, Jihye Kim, Ji Sun Shin

Inf. Sci., 2018

AuthCropper: Authenticated Image Cropper for Privacy Preserving Surveillance Systems.

Jihye Kim, Jiwon Lee, Hankyung Ko, Donghwan Oh, Semin Han, Kwonho Jeong, Hyunok Oh

IACR Cryptol. ePrint Arch., 2018

Secure non-volatile memory with scratch pad memory using dual encryption mode: work-in-progress.

Thomas Haywood Dadzie, Jihye Kim, Hyunok Oh

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

Multiprocessor Scheduling of a Multi-Mode Dataflow Graph Considering Mode Transition Delay.

Hanwoong Jung, Hyunok Oh, Soonhoi Ha

ACM Trans. Design Autom. Electr. Syst., 2017

Combinatorial Subset Difference Public Key Broadcast Encryption Scheme for Secure Multicast.

Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh

IACR Cryptol. ePrint Arch., 2017

High-performance data mining with intelligent SSD.

Yong-Yeon Jo, Sang-Wook Kim, Sungwoo Cho, Duck-Ho Bae, Hyunok Oh

Clust. Comput., 2017

Forward-Secure Digital Signature Schemes with Optimal Computation and Storage of Signers.

Jihye Kim, Hyunok Oh

Proceedings of the ICT Systems Security and Privacy Protection, 2017

A fast profiler for compilation of multi-threaded applications on a hybrid memory system.

Thomas Haywood Dadzie, SeungPyo Cho, Hyunok Oh

Proceedings of the IEEE 6th Non-Volatile Memory Systems and Applications Symposium, 2017

Hierarchical Dataflow Modeling of Iterative Applications.

Hyesun Hong, Hyunok Oh, Soonhoi Ha

Proceedings of the 54th Annual Design Automation Conference, 2017

PASS: Privacy aware secure signature scheme for surveillance systems.

Jihye Kim, Seunghwa Lee, Jungjun Yoon, Hankyung Ko, Seungri Kim, Hyunok Oh

Proceedings of the 14th IEEE International Conference on Advanced Video and Signal Based Surveillance, 2017

2016

In-storage processing of database scans and joins.

Sungchan Kim, Hyunok Oh, Chanik Park, Sangyeun Cho, Sang-Won Lee, Bongki Moon

Inf. Sci., 2016

Intelligent SSD: A turbo for big data mining.

Duck-Ho Bae, Jin-Hyung Kim, Yong-Yeon Jo, Sang-Wook Kim, Hyunok Oh, Chanik Park

Comput. Sci. Inf. Syst., 2016

Collaborative processing of data-intensive algorithms with CPU, intelligent SSD, and GPU.

Yong-Yeon Jo, Sungwoo Cho, Sang-Wook Kim, Hyunok Oh

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Multiprocessor Scheduling of an SDF Graph with Library Tasks Considering the Worst Case Contention Delay.

Hanwoong Jung, Hyunok Oh, Soonhoi Ha

Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016

Data mining in intelligent SSD: Simulation-based evaluation.

Yong-Yeon Jo, Sang-Wook Kim, Moonjun Chung, Hyunok Oh

Proceedings of the 2016 International Conference on Big Data and Smart Computing, 2016

2015

Optimal Checkpoint Selection with Dual-Modular Redundancy Hardening.

Shin-Haeng Kang, Hae-woo Park, Sungchan Kim, Hyunok Oh, Soonhoi Ha

IEEE Trans. Computers, 2015

On running data-intensive algorithms with intelligent SSD and host CPU: a collaborative approach.

Yong-Yeon Jo, Sungwoo Cho, Sang-Wook Kim, Duck-Ho Bae, Hyunok Oh

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Message from the Chairs.

Hyunok Oh, Muhammad Shafique, Todor P. Stefanov, Maurizio Palesi

Proceedings of the 13th IEEE Symposium on Embedded Systems For Real-time Multimedia, 2015

Optimization of multi-channel BCH error decoding for common cases.

Russ Dill, Aviral Shrivastava, Hyunok Oh

Proceedings of the 2015 International Conference on Compilers, 2015

2014

Dynamic Behavior Specification and Dynamic Mapping for Real-Time Embedded Systems: HOPES Approach.

Hanwoong Jung, Chanhee Lee, Shin-Haeng Kang, Sungchan Kim, Hyunok Oh, Soonhoi Ha

ACM Trans. Embed. Comput. Syst., 2014

An Efficient Non-Linear Cost Compression Algorithm for Multi Level Cell Memory.

Hyunok Oh, Jihye Kim

IEEE Trans. Computers, 2014

2013

Decidable Dataflow Models for Signal Processing: Synchronous Dataflow and Its Extensions.

Soonhoi Ha, Hyunok Oh

Proceedings of the Handbook of Signal Processing Systems, 2013

Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow Model.

Hyunok Oh

J. Signal Process. Syst., 2013

Failure-Aware Task Scheduling of Synchronous Data Flow Graphs Under Real-Time Constraints.

Chanhee Lee, Sungchan Kim, Hyunok Oh, Soonhoi Ha

J. Signal Process. Syst., 2013

A lifetime aware buffer assignment method for streaming applications on DRAM/PRAM hybrid memory.

Daeyoung Lee, Hyunok Oh

ACM Trans. Embed. Comput. Syst., 2013

An energy aware buffer mapping technique on hybrid STT-MRAM memories with multiple retention time for stream applications.

Kwangil Choi, Hyunok Oh

Des. Autom. Embed. Syst., 2013

Active disk meets flash: a case for intelligent SSDs.

Sangyeun Cho, Chanik Park, Hyunok Oh, Sungchan Kim, Youngmin Yi, Gregory R. Ganger

Proceedings of the International Conference on Supercomputing, 2013

A novel analytical method for worst case response time estimation of distributed embedded systems.

Jinwoo Kim, Hyunok Oh, Junchul Choi, Hyojin Ha, Soonhoi Ha

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Intelligent SSD: a turbo for big data mining.

Duck-Ho Bae, Jin-Hyung Kim, Sang-Wook Kim, Hyunok Oh, Chanik Park

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing.

Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha

J. Parallel Distributed Comput., 2012

An ILP-based Worst-case Performance Analysis Technique for Distributed Real-time Embedded Systems.

Jinwoo Kim, Hyunok Oh, Hyojin Ha, Shin-Haeng Kang, Junchul Choi, Soonhoi Ha

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

A lifetime aware buffer assignment method for streaming applications on DRAM/PRAM hybrid memory (Extended abstract).

Daeyoung Lee, Hyunok Oh

Proceedings of the IEEE 10th Symposium on Embedded Systems for Real-time Multimedia, 2012

Executing synchronous dataflow graphs on a SPM-based multicore architecture.

Junchul Choi, Hyunok Oh, Sungchan Kim, Soonhoi Ha

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Library Support in an Actor-Based Parallel Programming Platform.

Hae-woo Park, Hanwoong Jung, Hyunok Oh, Soonhoi Ha

IEEE Trans. Ind. Informatics, 2011

Fast, Energy Efficient Scan inside Flash Memory.

Sungchan Kim, Hyunok Oh, Chanik Park, Sangyeun Cho, Sang-Won Lee

Proceedings of the International Workshop on Accelerating Data Management Systems Using Modern Processor and Storage Architectures, 2011

Software synthesis in the ESL methodology for multicore embedded systems.

Soonhoi Ha, Hyunok Oh

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Resource minimized static mapping and dynamic scheduling of SDF graphs.

Jinwoo Kim, Tae-ho Shin, Soonhoi Ha, Hyunok Oh

Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011

Minimizing buffer requirements for throughput constrained parallel execution of synchronous dataflow graph.

Tae-ho Shin, Hyunok Oh, Soonhoi Ha

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010

The Role of User Resistance in the Adoption of a Mobile Data Service.

Clive Sanford, Hyunok Oh

Cyberpsychology Behav. Soc. Netw., 2010

Task-level timed-functional simulation for multi-core embedded systems.

Eunjin Jeong, Hae-woo Park, Soonhoi Ha, Hyunok Oh

Proceedings of the 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia, 2010

A task remapping technique for reliable multi-core embedded systems.

Chanhee Lee, Hokeun Kim, Hae-woo Park, Sungchan Kim, Hyunok Oh, Soonhoi Ha

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

Decidable Signal Processing Dataflow Graphs: Synchronous and Cyclo-Static Dataflow Graphs.

Soonhoi Ha, Hyunok Oh

Proceedings of the Handbook of Signal Processing Systems, 2010

2009

Multiprocessor SoC design methods and tools.

Hae-woo Park, Hyunok Oh, Soonhoi Ha

IEEE Signal Process. Mag., 2009

2008

Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior.

Hyunok Oh

Proceedings of the 9th International Symposium on Quality of Electronic Design (ISQED 2008), 2008

2006

PBPAIR: an energy-efficient error-resilient encoding using probability based power aware intra refresh.

Minyoung Kim, Hyunok Oh, Nikil D. Dutt, Alex Nicolau, Nalini Venkatasubramanian

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2006

Memory optimal single appearance schedule with dynamic loop count for synchronous dataflow graphs.

Hyunok Oh, Nikil D. Dutt, Soonhoi Ha

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems.

Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Rajesh Gupta, Alexandru Nicolau, Sandeep K. Shukla, Nalini Venkatasubramanian

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Probability Based Power Aware Error Resilient Coding.

Minyoung Kim, Hyunok Oh, Nikil D. Dutt, Alexandru Nicolau, Nalini Venkatasubramanian

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

Shift buffering technique for automatic code synthesis from synchronous dataflow graphs.

Hyunok Oh, Nikil D. Dutt, Soonhoi Ha

Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

Single appearance schedule with dynamic loop count for minimum data buffer from synchronous dataflow graphs.

Hyunok Oh, Nikil D. Dutt, Soonhoi Ha

Proceedings of the 2005 International Conference on Compilers, 2005

2004

Fractional Rate Dataflow Model for Efficient Code Synthesis.

Hyunok Oh, Soonhoi Ha

J. VLSI Signal Process., 2004

2003

Memory-Optimized Software Synthesis from Dataflow Program Graphs with Large Size Data Samples.

Hyunok Oh, Soonhoi Ha

EURASIP J. Adv. Signal Process., 2003

2002

Fractional rate dataflow model and efficient code synthesis for multimedia applications.

Hyunok Oh, Soonhoi Ha

Proceedings of the 2002 Joint Conference on Languages, 2002

Efficient code synthesis from extended dataflow graphs for multimedia applications.

Hyunok Oh, Soonhoi Ha

Proceedings of the 39th Design Automation Conference, 2002

Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints.

Hyunok Oh, Soonhoi Ha

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2000

Data memory minimization by sharing large size buffers.

Hyunok Oh, Soonhoi Ha

Proceedings of ASP-DAC 2000, 2000

1999

A hardware-software cosynthesis technique based on heterogeneous multiprocessor scheduling.

Hyunok Oh, Soonhoi Ha

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1996

A Static Scheduling Heuristic for Heterogeneous Processors.

Hyunok Oh, Soonhoi Ha

Proceedings of the Euro-Par '96 Parallel Processing, 1996