Publications

Research links

• https://dblp.uni-trier.de/pers/hd/o/Oh:Hyunok

• https://sciprofiles.com/profile/1055395

Journals

• 1. Kyeongtae Lee, Hankyung Ko, Donghwan Oh, Jihye Kim, Hyunok Oh, "Hadamard Product Arguments and Their Applications," IEEE Access 13: 79736-79756 (2025)

  2. Daehyeon Lee, Ohsuk Shin, Yeonghyeon Cha, Junghee Lee, Taisic Yun, Jihye Kim, Hyunok Oh, Chrysostomos Nicopoulos, Sang Su Lee, "A Hardware-Based Correct Execution Environment Supporting Virtual Memory", IEEE Access 12: 114008-114022(2024)

  3. Seunghwa Lee, Hankyung Ko, Jihye Kim, and Hyunok Oh, "vCNN: Verifiable Convolutional Neural Network based on zk-SNARKs", IEEE Transactions on Dependable and Secure Computing, 2024, DOI: 10.1109/TDSC.2023.3348760 

  4. Kwonho Jeong, Nuri Lee, Jihye Kim, and Hyunok Oh, "Azeroth: Auditable Zero-knowledge Transactions in Smart Contracts," in IEEE Access, 2023

  5. J. Lee, J. Kim and H. Oh, "Forward-secure Multi-user Aggregate Signatures based on zk-SNARKs," in IEEE Access, Jul., 2021, doi: 10.1109/ACCESS.2021.3093925.

  6. J. Lee, C. Nicopoulos, G. Jeong, J. Kim and H. Oh, "Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment," in IEEE Access, vol. 8, pp. 216689-216706, 2020, doi: 10.1109/ACCESS.2020.3041308.

  7. Lee, J.; Lee, S.; Kim, J.; Oh, H. Scalable Wildcarded Identity-Based Encryption with Full Security. Electronics 2020, 9, 1453.

  8. J. Kim, J. Lee and H. Oh, "Simulation-Extractable zk-SNARK With a Single Verification," in IEEE Access, vol. 8, pp. 156569-156581, 2020, doi: 10.1109/ACCESS.2020.3019980.

  9. Jiwon Lee, Jihye Kim, Hyunok Oh. 2020. "BESTIE: Broadcast Encryption Scheme for Tiny IoT Equipment." Electronics. 2020; 9, no. 9: 1389.

  10. Haywood Dadzie T, Lee J, Kim J, Oh H. NVM-Shelf: Secure Hybrid Encryption with Less Flip for Non-Volatile Memory. Electronics. 2020; 9(8):1304.

  11. Jiwon Lee, Seunghwa Lee, Jihye Kim, Hyunok Oh, "Combinatorial Subset Difference - IoT-Friendly Subset Representation and Broadcast Encryption," Sensors 20(11): 3140 (2020)

  12. Jihye Kim, Hyunok Oh, "FAS: Forward Secure Sequential Aggregate Signatures for Secure Logging", Volume 471, Pages 115-131, Information Sciences, January 2019

  13. Hyunok Oh, Jihye Kim, and Jisun Shin, "Forward-Secure ID based Digital Signature Scheme with Forward-Secure Private Key Generator", Volumes 454–455, Pages 96-109, Information Sciences, July 2018

  14. Junchul Choi, Hyunok Oh, and Soonhoi Ha, "A hybrid performance analysis technique for distributed real-time embedded systems", pp. 1-14, Real-Time Systems, Volume 54, Issue 3, pp 562–604, July 2018 

  15. Yong-Yeon Jo, SungWoo Cho, Duck-Ho Bae, Sang-Wook Kim, and Hyunok Oh, "High-performance data mining with intelligent SSD", Cluster Computing, 20(2), 1155-1166, June 2017 

  16. Hanwoong Jung, Hyunok Oh, Soonhoi Ha, "Multiprocessor Scheduling of a Multi-mode Dataflow Graph Considering Mode Transition Delay," ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 22 Issue 2, January 2017

  17. Duck-Ho Bae, Jin-Hyung Kim, Yong-Yeon Jo, Sang-Wook Kim, Hyunok Oh, and Chanik Park, "Intelligent SSD: A turbo for big data mining," Computer Scince and Information Systems, Vol. 13, No. 2, pp. 375-395, 2016 

  18. Sungchan Kim, Hyunok Oh, Chanik Park, Sangyeun Cho, Sang-Won Lee, Bongki Moon, "In-storage processing of database scans and joins," Information Sciences, Volume 327, Pages 183–200, 10 January 2016 

  19. Shin-haeng Kang, Hae-woo Park, Sungchan Kim, Hyunok Oh, Soonhoi Ha, "Optimal Checkpoint Selection with Dual-Modular Redundancy Hardening," IEEE Transactions on Computers, pp 2036-2048, 1 Jul. 2015. 

  20. Kwangil Choi, Hyunok Oh, "An energy aware buffer mapping technique on hybrid STT-MRAM memories with multiple retention time for stream applications," Design Automation for Embedded Systems, 26 Sep 2014 

  21. Hanwoong Jung, Chanhee Lee, Shin-haeng Kang, Sungchan Kim, Hyunok Oh, and Soonhoi Ha, "Dynamic Behavior Specification and Dynamic Mapping for Real-time Embedded Systems: HOPES Approach," ACM Transactions on Embedded Computing Systems, Volume 13 Issue 4s, Article No. 135:1-26, July 2014 

  22. Hyunok Oh and Jihye Kim, "An Efficient Non-Linear Cost Compression Algorithm for Multi Level Cell Memory", IEEE Transactions on Computers, Volume 63, Issue 4, Page 820-832, April 2014 

  23. Hyunok Oh and Jihye Kim, "Design Space Exploration using Answer Set Programming", Information-an international interdisciplinary journal, International Information Institute, vol 16, no 9(B), pp 7219-7227, Sep., 2013 

  24. Hyunok Oh and Jihye Kim, "Minimization of Both Buffer Memory Size and Buffer Memory Management Overhead for A Synchronous Dataflow Graph", Information-an international interdisciplinary journal, International Information Institute, vol 16, no 9(B), pp 7235-7247, Sep., 2013 

  25. Chanhee Lee, Sungchan Kim, Hyunok Oh, and Soonhoi Ha, "Failure-aware Task Scheduling of Synchronous Data Flow Graphs under Real-time Constraints," Journal of Signal Processing Systems, May 2013 

  26. Daeyoung Lee and Hyunok Oh, “A Lifetime Aware Buffer Assignment Method for Streaming Applications on DRAM/PRAM Hybrid Memory”, ACM Transactions on Embedded Computing Systems, Volume 12, Issue 1, article 36, 17 pages , March, 2013 

  27. Hyunok Oh, “Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow Model”, Journal of Signal Processing Systems, Volume 71, Issue 1, Page 75-88, 2013 

  28. Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, and Soonhoi Ha, "A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing," Journal of Parallel and Distributed Computing, Jan. 2012 

  29. Hae-woo Park, Hanwoong Jung, Hyunok Oh, and Soonhoi Ha, "Library Support in an Actor-Based Parallel Programming Platform," IEEE Transactions on Industrial Informatics, Vol.7, Issue 2, pp. 340-353, May. 2011 

  30. Clive Sanford and Hyunok Oh, “The Role of User Resistance in the Adoption of a Mobile Data Service”, CyberPsychology, Behavior, and Social Networking, Mary Ann Liebert – Vol 13, No 6, pp 663-672, Dec., 2010 

  31. Hae-woo Park, Hyunok Oh, and Soonhoi Ha, "Multiprocessor SoC design methods and tools", IEEE Signal Processing Magazine, Vol. 26, Issue 6 pp 72-79 November 2009 

  32. Minyoung Kim, Hyunok Oh, Nikil Dutt, Alex Nicolau, and Nalini Venkatasubramanian, "PBPAIR:An Energy-efficient Error-resilient Encoding Using Probability Based Power Aware Intra Refresh" , Mobile Computing and Communications Review - ACM SIGMOBILE vol 10, issue 3, pp 58-69, July 2006 

  33. Hyunok Oh and Soonhoi Ha , " Fractional Rate Dataflow Model for Memory Efficient Synthesis , Journal of VLSI Signal Processing, vol 37, no 1, pp 41-51, May 2004 

  34. Hyunok Oh and Soonhoi Ha , " Memory-optimized Software Synthesis from Dataflow Program Graphs with Large Size Data Samples , EURASIP Journal on Applied Signal Processing Special Issue on "Rapid Prototyping of DSP Systems" , Volume 2003, Number 6, pp.514-529, 1 May 2003 

  35. Hyunok Oh and Soonhoi Ha , " Fractional rate dataflow model and efficient code synthesis for multimedia applications , ACM SIGPLAN Notices Volume 37 , Issue 7 pp. 12-17, July 2002

Conferences

• 1. Seongho Park, Seungwoo Kim, Semin Han, Kyeongtae Lee, Jihye Kim, and Hyunok Oh, "zkMarket: Ensuring Fairness and Privacy in Decentralized Data Exchange", SRDS 2025

  2. Semin Han, Geonho Yoon, Jihye Kim, and Hyunok Oh, "DUPLEX: Scalable Zero-Knowledge Lookup Arguments over RSA Group", ASIACCS 2025

  3. Jiwon Lee, Jaekyung Choi, Jihye Kim, and Hyunok Oh, "SAVER: SNARK-compatible Verifiable Encryption", Financial Cryptography 2024

  4. Jongho Kim, Junhee Lee, Jihye Kim, and Hyunok Oh, "zkLogis: Scalable, Privacy-Enhanced, and Traceable Logistics on Public Blockchain", ASIACCS 2024

  5.  Wenyi Tang, Shankha Shubhra Mukherjee, Seongho Park, Changhao Chenli, Hyunok Oh, Jihye Kim, Taeho Jung, "GrAC: Graph-Based Anonymous Credentials from Identity Graphs on Blockchain", Blockchain 2024: 113-122

  6. Sungwook Kim, Seongju Kim, Yurim Shin, Sunmi Kim, Jihye Kim and Hyunok Oh, "Efficient Transparent Polynomial Commitments for zk-SNARKs", ESORICS 2023

  7. Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, and Hyunok Oh, "Succinct Zero-Knowledge Batch Proofs for Set Accumulators",  ACM CCS 2022

  8. Hankyung Ko, Ingeun Lee, Seunghwa Lee, Jihye Kim, Hyunok Oh, "Efficient Verifiable Image Redacting based on zk-SNARKs", ACM ASIACCS 2021

  9. Jihye Kim, Jiwon Lee, Hankyung Ko, Donghwan Oh, Semin Han, Gwonho Jeong and Hyunok Oh, "Authcropper: Authenticated Image Cropper for Privacy Preserving Surveillance Systems", International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) New York, NY, Oct. 13 - 18, 2019, (ACM Trans. Embed. Comput. Syst., Vol. 18, No. 5s, Article 62, Publication date: October 2019)

  10. Thomas Haywood Dadzie, Jiwon Lee, Jihye Kim, and Hyunok Oh, "SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited Paper)", LCTES 2019 Languages, Compilers, Tools and Theory of Embedded Systems, Phoenix, Arizona, United States, June 23, 2019 

  11. Hankyung Ko, Gweonho Jeong, Jongho Kim, Jihye Kim and Hyunok Oh, "Forward Secure Identity-based Signature Scheme with RSA", the 34th IFIP International Information Security and Privacy Conference (IFIP SEC 2019), Lisbon, Portugal, June 25-27, 2019 

  12. Jihye Kim, Hankyung Ko, Hyunok Oh, "AILocker: Authenticated Image Locker for Video", The 34th ACM/SIGAPP Symposium On Applied Computing (SAC), Limassol, Cyprus, April 8-12, 2019

  13. Thomas Ekow Haywood-Dadzie, Jihye Kim, Hyunok Oh, "Secure Non-volatile Memory with Scratch Pad Memory using Dual Encryption Mode," International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Torino, Italy, Sep. 30- Oct. 2 2018 (WIP)

  14. Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh, "Scalable Wildcarded Identity-Based Encryption," The 23rd European Symposium on Research in Computer Security (ESORICS), Barcelona, Spain, September 3-7 2018

  15. Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh, "Combinatorial Subset Difference Public Key Broadcast Encryption Scheme for Secure Multicast," The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Pau, France, April 9 - 13, 2018

  16. Jihye Kim, Seunghwa Lee, Jungjun Yoon, Hankyung Ko, Seungri Kim, Hyunok Oh, "PASS: Privacy Aware Secure Signature Scheme for Surveillance Systems," 14th IEEE International Conference on Advanced Video and Signal based Surveillance (AVSS), Aug 29, 2017 - Sep 1 , 2017, Lecce, Italia

  17. Thomas Haywood Dadzie, SeungPyo Cho, Hyunok Oh, "A fast profiler for compilation of multi-threaded applications on a hybrid memory system", 2017 IEEE 6th Non-Volatile Memory Systems and Applications Symposium (NVMSA), Aug, 2017 

  18. Hyesun Hong, Hyunok Oh, and Soonhoi Ha, "Hierarchical Dataflow Modeling of Iterative Applications: Deep Neural Network as a Case Study," Design Automation Conference (DAC), Austin, TX, June 2017

  19. Jihye Kim, Hyunok Oh, "Forward-Secure Digital Signature Schemes with Optimal Computation and Storage of Signers", the 32nd IFIP International Information Security and Privacy Conference (IFIP SEC 2017), Rome, Italy, May 2017

  20. Hanwoong Jung, Hyunok Oh and Soonhoi Ha, "Multiprocessor Scheduling of an SDF Graph with Library Tasks Considering the Worst Case Contention Delay," ESTIMEDIA 2016(ESWEEK 2016), PA, 2016

  21. Yong-Yeon Jo, SungWoo Cho, Sang-Wook Kim, and Hyunok Oh, "Collaborative Processing of Data-Intensive Algorithms with CPU, Intelligent SSD, and GPU," In Proc. of the ACM Symp. on Applied Computing (ACM SAC 2016), pp. 1865-1870, Pisa, Italy April 4-8, 2016. 

  22. Yong-Yoen Jo, Moonjun Chung, Sang-Wook Kim, Hyunok Oh, “Data Mining in Intelligent SSD: Simulation-Based Evaluation,” In Proc. Int’l Conf. on Big Data and Smart Computing, BigComp, pp. 123-128, Hong Kong, China, January 18-20, 2016. 

  23. Russel Dill, Aviral Shrivastava, Hyunok Oh, "Optimization of Multi-Channel BCH Error Decoding for Common Cases", CASES, Amsterdam, October 2015. 

  24. Yong-Yeon Jo, SungWoo Cho, Sang-Wook Kim, Duck-Ho Bae, Hyunok Oh, "On Running Data-Intensive Algorithms with Intelligent SSD and Host CPU: A Collaborative Approach," The ACM/SIGAPP Simposium on On Applied Computing, Spain, April 2015. 

  25. Duck-Ho Bae, Jin-Hyung Kim, Sang-Wook Kim, Hyunok Oh, and Chanik Park, "Intelligent SSD: A Turbo for Big Data Mining", ACM International Conference on Information and Knowledge Management (CIKM) ’13 San Francisco, CA, USA, Oct. 2013. 

  26. Kwangil Choi and Hyunok Oh, "An Energy Aware Buffer Mapping Technique on Multiple Retention Time STT-MRAMs for Stream Applications", Memory Architecture and Organization Workshop 2013 in ESWeek 2013, Montreal, Canada, Oct. 2013. 

  27. Sangyeun Cho, Chanik Park, Hyunok Oh, Sungchan Kim, Youngmin Yi and Greg Ganger, "Active Disk Meets Flash: A Case for Intelligent SSDs", ICS 2013 (International Conference on Supercomputing), Eugene, OR, June 2013. 

  28. Jinwoo Kim, Hyunok Oh, Hyojin Ha, Junchul Choi and Soonhoi Ha, "A Novel Analytical Method for Worst Case Response Time Estimation of Distributed Embedded Systems", DAC 2013 (Design Automation Conference), Austin, TX, June 2013. 

  29. Jinwoo Kim, Hyunok Oh, Hyojin Ha, Shin-haeng Kang, Junchul Choi and Soonhoi Ha, “An ILP-based Worst-case Performance Analysis Technique for Distributed Real-time Embedded Systems”, RTSS 2012 (The 33rd IEEE Real-Time Systems Symposium), San Juan, Puerto Rico, Dec 2012. 

  30. Daeyoung Lee, Hyunok Oh, “A Lifetime Aware Buffer Assignment Method for Streaming Applications on DRAM/PRAM Hybrid Memory”, ESTIMEDIA 2012(ESWEEK 2012), Finland, Oct 2012. 

  31. Junchul Choi, Hyunok Oh, Sungchan Kim, Soonhoi Ha, “Executing Synchronous Dataflow Graphs on an SPM based Multi-core Architecture”, DAC 2012 (Design Automation Conference), San Francisco, June 2012. 

  32. Jinwoo Kim, Hyojin Ha, Sungchan Kim, Hyunok Oh, Soonhoi Ha, “Worst-case Performance Analysis based on Integer Linear Programming”, MBDEFP 2011 (ESWEEK 2011), Taipei, Oct 2011. 

  33. Jinwoo Kim, Taeho Shin, Soonhoi Ha and Hyunok Oh, “Resource Minimized Static Mapping and Dynamic Scheduling of SDF Graphs”, ESTIMEDIA 2011(ESWEEK 2011), Taipei, Oct 2011. 

  34. Sungchan Kim, Hyunok Oh, Chanik Park, Sangyeun Cho and Sang-Won Lee, “Fast, Energy Efficient Scan inside Flash Memory”, ADMS 2011 Second International Workshop on Accelerating Data Management Systems Using Modern Processor and Storage Architectures, Seattle, WA, Sep 2, 2011 

  35. Soonhoi Ha, and Hyunok Oh, “Software Synthesis in the ESL Methodology for Multicore Embedded Systems”, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, Jul 18-21, 2011 

  36. Tae-ho Shin, Hyunok Oh, and Soonhoi Ha, “Minimizing Buffer Requirements for Throughput Constrained Parallel Execution of Synchronous Dataflow Graph”, ASPDAC 2011, Yokohama, Japan, Jan. 25-28, 2011 

  37. Chanhee Lee, Hokeun Kim, Hae-woo Park, Sungchan Kim, Hyunok Oh, and Soonhoi Ha, “A Task Remapping Technique for Reliable Multi-core Embedded Systems”, CODES+ISSS 2010, Arizona, USA, Oct., 2010 

  38. EunJin Jeong, Hae-woo Park, Soonhoi Ha and Hyunok Oh, “Task-level Timed-functional Simulation for Multi-core Embedded Systems”, ESTIMEDIA 2010, Arizona, USA, Oct., 2010 

  39. Tae-ho Shin, Hyunok Oh, and Soonhoi Ha, “Buffer Optimal Static Scheduling with a throughput Constraint for Synchronous Dataflow Applications on Multiprocessors”, ISOCC 2010, Inchoen, Korea, Nov., 2010 

  40. H. Oh, "Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior" , International Symposium on Quality Electronic Design (isqed 2008), pp 190-193, Mar. 2008, San Jose, CA, USA 

  41. H. Oh, N. Dutt, S. Ha, "Memory Optimal Single Appearance Schedule with Dynamic Loop Count for Synchronous Dataflow Graphs" , 11th Asia and South Pacific Design Automation Conference, ASP-DAC 2006, Jan. 24-27, 2006, Yokohama, Japan 

  42. H. Oh, N. Dutt, S. Ha, "Single Appearance Schedule with Dynamic Loop Count for Minimum Data Buffer from Synchronous Dataflow Graphs" , International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2005, Sept. 24-27, 2005, San Francisco, CA, USA 

  43. H. Oh, N. Dutt, S. Ha, "Shift Buffering Technique for Automatic Code Synthesis from Synchronous Dataflow Graphs", International Conference on Hardware - Software Codesign and System Synthesis, CODES+ISSS 2005, Sept. 19-21, 2005, New York Metropolitan area, USA 

  44. M. Kim, H. Oh, N. Dutt, A. Nicolau, N. Venkatasubramanian, "Probability Based Power Aware Error Resilient Coding", Workshop on Services and Infrastructure for the Ubiquitous and Mobile Internet, ICDCS 2005 Jun. 2005, Colubus, Ohio,USA 

  45. Mohapatra, Cornea, Oh, Lee, Kim, Dutt, Gupta, Nicolau, Shukla,Venkatasubramanian, "A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems", Workshop on NSF Next Generation Software Program, IPDPS 2005 

  46. Hyunok Oh and Soonhoi Ha , " Fractional Rate Dataflow Model and Efficient Code Synthesis for Multimedia Applications ", Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02) , Berlin, Germany, June 19-21, 2002. 

  47. Hyunok Oh and Soonhoi Ha , " Efficient Code Synthesis from Extended Dataflow Graphs for Multimedia Applications ", 39th Design Automation Conference(DAC'02) , New Orleans, Louisiana, USA June 10-14, 2002. 

  48. Hyunok Oh and Soonhoi Ha , " Hardware-Software Cosynthesis of Multi-Mode Multi-Task Embedded Systems with Real-Time Constraints ", Tenth International Symposium on Hardware/Software Codesign (CODES 2002) , Estes Park, Colorado, USA May 6-8, 2002. 

  49. Hyunok Oh and Soonhoi Ha , "DATA MEMORY MINIMIZATION BY SHARING LARGE SIZE BUFFERS" ,ASP-DAC 2000 , Tokyo, Japan, Jan., 2000. 

  50. Hyunok Oh and Soonhoi Ha , "Partition Framework for Less Restricted Partitioning Problems" , 6th International Conference on VLSI and CAD , Seoul, Korea, Oct., 1999. 

  51. Hyunok Oh and Soonhoi Ha , "A Hardware-Software Cosynthesis Technique Based on Heterogeneous Multiprocessor Scheduling" , 7th International Workshop on Hardware/Software CO-Design , Rome, Italy, May, 1999. 

  52. Hyunok Oh and Soonhoi Ha , "A Static Scheduling Heuristic for Heterogeneous Processors" , Euro-Par'96 , Lyon, France, August, 1996.

국내 저널

1. 정권호, 오동환, 오현옥. (2022). 영지식 증명 이해와 블록체인 활용. 전자공학회지, 49(12), 57-65.

2. 이정혁, 김지혜, 오현옥, "전방향 안전서명을 사용하는 빠른 블록체인 합의 알고리즘", 정보과학회논문지, pp. 397-404, 2019년 5월 

3. 윤정준, 이정혁, 김지혜, 오현옥, "보안 하드웨어 연산 최소화를 통한 효율적인 속성 기반 전자서명 구현", 정보과학회논문지 44(4), 2017.4, 344-351

4. Thomas Haywood Dadzie, Seungpyo Cho, and Hyunok Oh, "Code Optimization Techniques to Reduce Energy Consumption of Multimedia Applications in Hybrid Memory", IEIE Transactions on Smart Processing & Computing , VOL 05 NO. 04 PP. 0274 ~ 0282 (2016. 08)

5. 이대영, 오현옥, "하이브리드 SPM을 위한 버퍼 공유를 활용한 새로운 버퍼 매핑 기법," 대한임베디드공학회 논문집, 2016년 8월호 2016권 4호 , pp 209 - 218

6. 김성찬.이찬희.오현옥.하순회 , “실시간 제약성을 갖는 멀티프로세서 임베디드 시스템의 프로세서 결함을 고려한 스케줄 기법”, 정보과학회지, 제 30권 제 2호, pp 49-58, 2012년 2월 

7. Hyunok Oh and Soonhoi Ha , "BILI-하드웨어/소프트웨어 분할 휴리스틱" , 대한전자공학회논문지 , 제37권, SD편, 제9호, pp732-743, 2000년 9월 . 

8. 오현옥 & 하순회 , 이질 프로세서를 위한 정적인 스케줄링 휴리스틱 (A Static Scheduling Heuristic for Heterogeneous Processors , 한국 정보 과학회지 vol. 25, no. 12, pp. 1339-1347, Dec., 1998

국내 학회

1. 손지수, 조수연, 오현옥, 김지혜, "zk-SNARK를 이용한 프라이버시 보장 온체인 블록체인 연구", 한국정보과학회 2019 한국컴퓨터종합학술대회 논문집, 2019.06, 1,978 - 1,980 

2. 김동혁, 김지혜, 오현옥, "전방향 안전 서명을 보장하는 Proof of Elapsed Time", 한국정보과학회 동계학술대회, pp. 950 - 952, 2018. 12. (한국컴퓨터종합학술대회 우수논문상)

3. 이정혁, 김예지, 조수연, 오현옥, 김지혜, "전방향 안전서명을 사용하는 빠른 블록체인", 한국정보과학회 하계학술대회, 2018 (한국컴퓨터종합학술대회 우수논문상)

4. 최재경, 이인근, 김종호, 이승화, 김지혜, 오현옥, "검증 가능한 계산을 위한 zk-SNARK에 대한 분석", 한국정보과학회 하계학술대회, 2018

5. 오동환, 한세민, 정권호, 오현옥, 김지혜, "신원 기반 서명을 활용한 ECU 펌웨어 폐기 기법", 한국정보과학회 하계학술대회, 2018 

6. 김승리, 이정혁, 구슬예, 오현옥, 김지혜, "블록체인 기반 에너지 거래 모델 연구", 한국정보보호학회 동계학술대회, 2018

7. 윤정준, 김지혜, 오현옥, "블록체인 기술 동향 및 응용", 한국정보보호학회 하계학술대회, 2017

8. 이정혁, 김지혜, 오현옥, "이더리움의 분석 및 응용기법", 한국정보보호학회 하계학술대회, 2017

9. 김승리, 김지혜, 오현옥, 이승화, "전자 암호 화폐의 프라이버시 이슈와 동향", 한국정보보호학회 하계학술대회, 2017 

10. 윤정준, 이정혁, 김지혜, 오현옥, "최소 보안 연산을 가지는 전방향 보안 전자서명", 한국정보과학회 2016 한국컴퓨터종합학술대회, 제주 ICC, 2016년 6월 29일~ 7월 1일. (2016 한국컴퓨터종합학술대회 우수논문상)

11. 최임원, 최광일, 오현옥, "하이브리드 메모리 시스템 에너지 최적화를 위한 메모리 지정 할당 기법", 한국정보과학회 2015년 동계학술발표회 논문집 

12. 진 동규, 조 성우, 조용연, 김 상욱, 오현옥, "스케줄링 알고리즘에 따른 협업 시스템의 성능 분석," 한국 정보처리학회 2014 추계학술 발표대회, pp. ~, 부산외국어대학교, 2014년 11월 7-8일 

13. 조 성우, 조 용연, 배 덕호, 김 상욱, 오 현옥, "Intelligent SSD에서 이질 스케줄링 알고리즘 적용을 통한 프로그램 성능 향상 방안," 2013 한국정보과학회 추계학술발표회 pp. 292-293, 제주대학교, 2013년 11월 15-16일. 

14. 정진훤, 김현우, 박희진, 오현옥, 백은옥, "하둡을 이용한 MODa의 병렬화 및 최적화," 한국정보과학회, 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, 655-657, 11월 2013 

15. 정진훤, 김현우, 박희진, 오현옥, 백은옥, "Target-decoy 검색 방법을 사용할 때 Threshold 값을 구하는 빠른 알고리즘," 한국정보과학회, 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, 1351-1353, 11월 2013 

16. 김 진형, 배 덕호, 김 상욱, 오 현옥, 박 찬익, "Intelligent SSD를 위한 효율적인 데이터 마이닝 알고리즘," 한국컴퓨터종합학술대회, Vol. 39, No. 1(C), pp. 178-179, 제주 휘닉스 아일랜드, 2012년 6월 27~29일. 

17. 김진우, 오현옥, 하순회, "병렬 분산 메타-휴리스틱 프레임워크," 한국컴퓨터종합학술대회, Vol. 29, Jun. 2011. 

18. 김진우, 박해우, 하순회, 오현옥, “RVC(Reconfigurable Video Coding) 알고리즘의 액터 기반 명세와 소프트웨어 생성 기술”, 제23회 영상처리 및 이해에 관한 워크샵, 제주, 2011년 2월 18일 

19. Seongnam Kwon, Hyunok Oh, Soonhoi Ha, "Simulation-driven Software Performance Estimation for Fast Design Space Exploration," SOC Design Conference, Seoul, Korea Nov. 2003 

20. 권성남,오현옥,하순회, " 시스템 레벨 설계를 위한 소프트웨어 기능 블록의 시뮬레이션 기반 성능 예측 방법,"정보과학회 학술발표회, 10월, 2002. 

국제 표준화 (영지식 증명, zkproof.org)

• • "Succinct Zero-Knowledge Batch Proofs for Set Accumulators" - Hyunok Oh, 5th ZKProof standard workshop, Tel Aviv, 15-17 Nov. 2022

  • Proposal: Commit-and-Prove Zero-Knowledge Proof Systems and Extensions – Daniel Benarroch, Matteo Campanelli, Dario Fiore, Jihye Kim, Jiwon Lee, Hyunok Oh and Anaïs Querol, 4th ZKProof standard workshop, 19 - 29 April 2021

  • SNARK-Friendly, Additively-Homomorphic, and Verifiable Encryption and Decryption with Rerandomization – Jiwon Lee, Jaekyoung Choi, Jihye Kim, and Hyunok Oh, 3rd ZKProof standard workshop, April 20 - May 21, 2020

Thesis

• Hyunok Oh, “Efficient Cosynthesis from Extended Dataflow Graphs for Multimedia Applications”, 2003

Books

• Soonhoi Ha and Hyunok Oh, “Decidable Signal Processing Dataflow Graphs: Synchronous and Cyclo­Static Dataflow Graphs” in 2nd Handbook of Signal Processing Systems, Sep 1, 2013

• Soonhoi Ha and Hyunok Oh, “Decidable Signal Processing Dataflow Graphs: Synchronous and Cyclo­Static Dataflow Graphs” in Handbook of Signal Processing Systems, Sep 1, 2010 

(Refereed) Poster

• H. Oh, “Efficient Cosynthesis from Extended Dataflow Graphs for Multimedia Applications,” 7th SIGDA Ph.D. Forum at Design Automation Conference(DAC), San Diego, CA USA, June 8 2004

Talks

• • 오현옥, "Zero Knowlege Proof 기술동향과 블록체인에서의 응용 방향", 2018 블록체인 기술협의회 세미나, 11. 22. 2018

  • Hyunok Oh, "Taking Control Over Personal Data", a panel discussion, Provenance Summit Seoul 2018, 11. 20. 2018

  • Hyunok Oh, "Blockchain & Privacy with ZK Snarks", Provenance Summit Seoul 2018, 11. 20. 2018

  • 오현옥, "블록체인 환경에서의 개인정보보호 전략과 침해사례 및 대책", 블록체인 산업실태와 기술혁신 및 적용전략과 응용·실증사례 세미나, 8. 16. 2018

  • 오현옥, "블록체인과 프라이버시 보호 방안", 데이터베이스소사이어티 2018년 여름학교, 7. 26. 2018

  • 오현옥, "‘블록체인과 개인정보 보호 방안" , KISA, 제8회 블록체인 테크비즈 컨퍼런스, 서울, 7. 10 2018

  • 오현옥, "‘블록체인과 프라이버시 보호" , KISA, 제7회 블록체인 테크비즈 컨퍼런스, 서울, 5. 30 2018

  • Hyunok Oh, “An Optimal Buffer Assignment for Streaming Applications on Hybrid Memory with Volatile and Non-volatile RAM”, NVRAMOS, Jeju, Korea, Oct 2012 

  • Hyunok Oh, “New Multicore System: Intelligent SSDs”, International Workshop on Power and Reliability in Multi-core Embedded Systems (PRIME), Seoul, Korea, Aug 2012 

  • Hyunok Oh, “Energy Optimal Bit Encoding for flash memory”, NVRAMOS, Jeju, Korea, Nov 2011 

  • Hyunok Oh, “System Design Methodolgy”, 2011 Junior Faculty Workshop, Seoul National University, Jan 13, 2011 

  • Hyunok Oh, “Buffer Optimal Static Scheduling with a throughput Constraint for Synchronous Dataflow Applications on Multiprocessors”, Arizona State University, Oct 29, 2010 

기고글

• 오현옥, "익명/효율/신뢰성 보장 미래 대변혁 이끌 블록체인 기술", HYPER 2021 Autumn

• 오현옥 "[신문 읽어주는 교수님] NFT 시장의 대두", 한양뉴스포털 2021.09.14 

• 오현옥,"영지식 증명 연구 동향", IITP 주간 기술 동향 2020. 7. 1

• 오현옥, "블록체인과 개인정보보호 정책과 이슈", KISA report [2018년 Vol.07]

• Youtube channel 

  • 영지식 증명 채널

News

• • Googling or naver search using "지크립토" and "zkrypto"

  • "블록체인 투표 시대 가능할까?",  SBS D Forum, 2022.06.29

  • 오현옥, "지크립토, 블록체인 프라이버시 문제 해결한다", 디지털 미디어, 2021.03.22

  • 오현옥, "비밀투표 보장하는 블록체인 선거 시스템 만든다", 동아사이언스, 6. 11. 2018

Patent 

1. Hyunok Oh, Jiwon Lee, Jihye Kim, "ADDITIVELY-HOMOMORPHIC METHOD AND APPARATUS SPECIALIZED FOR NON-INTERACTIVE ZERO-KNOWLEDGE PROOF", 등록일 2022.09.06 미국

2. Hyunok Oh, Jiwon Lee, Jihye Kim, "Electronic voting system and method based on homogeneous cryptography", 등록결정일 2022.11.08, 미국

3. Hyunok Oh, Hankyung Ko, Jihye Kim, Seunghwa Lee, "METHOD FOR VERIFYING CONVOLUTIONAL NEURAL NETWORK MODEL AND DEVICE THEREOF",  출원중

4. 오현옥, 이지원, 김지혜, "비상호적 영지식 증명에 특화된 동형 암호화 방법 및 그 장치", 등록번호 10-2470262, 등록일 2022년 11월 21일

5. 오현옥, 고한경, 김지혜, 이승화, "검증 가능 CNN 알고리즘 및 그 장치", 출원중

6. 오현옥, 이지원, 김지혜, "동형 암호 기술 기반 전자 투표 시스템 및 그 방법", 출원중

7. 오현옥, "ECU의 저장정보 복호화 방법", 출원중

8. 오현옥, 이정혁, 황정연, 김승현, 김수형, "블록체인 기반 개인정보 관리 장치 및 방법", 출원중

9. OH, Hyun-Ok, HWANG, Jung-Yeon, KIM, Seung-Hyun, KIM, Soo-Hyung, LEE, Jeong-Hyuk, "BLOCKCHAIN-BASED PERSONAL INFORMATION MANAGEMENT APPARATUS AND METHOD", 출원중

10. 오현옥, 고한경, 정권호, 김지혜, "아이디 기반 키 발급을 지원하는 포워드 시큐어 전자 서명 방법 및 그 장치", 10-2283160, 등록일 2021.07.23

11. 오현옥, 이지원, 한세민, 오동환, 정권호, 김지혜, "순차 결합을 지원하는 전방향 안전 서명 방법 및 그 장치", 등록번호 10-2307483, 등록일 2021.09.24

12. 오현옥, 이지원, 김지혜, "증명 변형 방지 비상호적 영지식 증명 방법 및 장치", 등록번호 10-2268548, 등록일 2021.06.17

13. 오현옥, 이지원, 한세민, 오동환, 정권호, 김지혜, "CRS 기반의 영지식 증명 방법 및 이를 수행하는 단말 장치", 10-2283161, 등록일 2021.07.23

14. 오현옥, 고한경, 김지혜, "객체 인식 기반 영상 인증 방법 및 그 장치", 등록번호 10-2101557, 등록일, 2020.04.09

15. 오현옥, 이정혁, 김지혜, "비밀선거가 보장된 블록 체인 기반의 전자 투표를 수행하는 단말 장치 및 서버화, 전자 투표 방법", 등록번호 10-2144614, 등록일 2020.08.07

16. 오현옥, 이지원, 고한경, 김지혜, "영상 절삭 지원 인증 방법, 복호화 방법 및 그 장치", 10-2016844, 등록일 2019.8.26

17. 오현옥, 김지혜, 이승화, 고한경, 김승리, 윤정준, "영상 인증 방법 및 그 장치", 등록번호 10-1979102, 등록일 2019.5.10

18. 오현옥, 김지혜, "부분집합 차 기반 브로드캐스트 암호화 및 복호화 방법", 등록번호 10-1967521 등록일 2019.04.03

19. 오현옥, 이지원, "와일드카드를 허용하는 계층 구조적 아이디 기반 암호화 기법", 등록번호 10-1951545, 등록일 2019.02.18

20. 오현옥, "최소 보안 연산을 가지는 포워드 시큐어 전자 서명 시스템 및 방법", 등록번호 10-1882578-00-00, 등록일 2018.07.20

21. 오현옥, 이지원, "간소화된 헤더를 생성할 수 있는 브로드캐스트 암호화 방법 및 복호화 방법", 등록일 2018.05.02, 등록번호 10-1856349

22. 오현옥,이지원,토마스 에코우, "비휘발성 메모리의 접근 패턴을 이용하는 하이브리드 메모리 암호화 방법 및 장치", 등록일 2017.07.06, 등록번호 10-1757560

23. 오현옥, "빠른 서명 생성이 가능한 포워드 시큐어 전자 서명 방법 및 이를 사용하는 포워드 시큐어 전자 서명 생성 장치", 등록일 2017.06.16, 등록번호 10-1750208

24. 김지혜, 오현옥, "시큐어로깅을 위한 포워드시큐어 압축 서명 장치 및 방법", 등록일 2017.02.01, 등록번호 10-1703880

25. 하순회, 오현옥, 최준철, "최악 응답 시간 분석 방법 및 컴퓨터 프로그램", 등록일 2016/5/10, 등록번호 10-1621280

26. 오현옥, 김지혜, "인증을 이용하여 보안을 강화하는 비휘발성 메모리 칩 및 이를 이용한 데이터 보안 방법", 등록일 2016/2/11, 등록번호 10-1617089

27. 오현옥, 조승표, 정현식, 장유원, 박성민, 안신우, "메모리 구조를 고려한 외부 퀵 정렬 알고리즘 수행 방법 및 장치", 등록일 2015/11/25, 등록번호 10-1573618

28. 오현옥, “N 스크린 서비스를 위한 트랜스코딩 방법 및 장치”, 등록일 2014/12/02, 등록번호 10-1470404

29. 하순회, 김진우, 최준철, 하효진, 오현옥, "하나 이상의 실행 유닛에 대한 성능 분석 방법, 성능 분석 장치 및 성능 분석 방법을 수행하는 프로그램을 기록한 컴퓨터 판독 가능 기록매체", 등록일 2014/04/02, 등록번호 10-1383225 

30. 오현옥, “비용 최적 데이터 압축 방법 및 시스템”, 등록일 2012/08/07, 등록번호 10-1173777