default search action
Hyunok Oh
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
- [j29]Daehyeon Lee
, Ohsuk Shin
A Hardware-Based Correct Execution Environment Supporting Virtual Memory. IEEE Access 12: 114008-114022 (2024) - [j28]Seunghwa Lee
vCNN: Verifiable Convolutional Neural Network Based on zk-SNARKs. IEEE Trans. Dependable Secur. Comput. 21(4): 4254-4270 (2024) - 2023
- [j27]Gweonho Jeong
Azeroth: Auditable Zero-Knowledge Transactions in Smart Contracts. IEEE Access 11: 56463-56480 (2023) - 2021
- [j26]Jeonghyuk Lee
Forward-Secure Multi-User Aggregate Signatures Based on zk-SNARKs. IEEE Access 9: 97705-97717 (2021) - 2020
- [j25]Jihye Kim, Jiwon Lee
Simulation-Extractable zk-SNARK With a Single Verification. IEEE Access 8: 156569-156581 (2020) - [j24]Junghee Lee
Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment. IEEE Access 8: 216689-216706 (2020) - [j23]Jiwon Lee
Combinatorial Subset Difference - IoT-Friendly Subset Representation and Broadcast Encryption. Sensors 20(11): 3140 (2020) - 2019
- [j22]Jihye Kim, Hyunok Oh
FAS: Forward secure sequential aggregate signatures for secure logging. Inf. Sci. 471: 115-131 (2019) - [j21]Jihye Kim, Jiwon Lee, Hankyung Ko, Donghwan Oh
AuthCropper: Authenticated Image Cropper for Privacy Preserving Surveillance Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 62:1-62:17 (2019) - 2018
- [j20]Hyunok Oh
Forward-secure ID based digital signature scheme with forward-secure private key generator. Inf. Sci. 454-455: 96-109 (2018) - [j19]Junchul Choi, Hyunok Oh, Soonhoi Ha
A hybrid performance analysis technique for distributed real-time embedded systems. Real Time Syst. 54(3): 562-604 (2018) - 2017
- [j18]Yong-Yeon Jo, Sang-Wook Kim, Sungwoo Cho, Duck-Ho Bae, Hyunok Oh:
High-performance data mining with intelligent SSD. Clust. Comput. 20(2): 1155-1166 (2017) - [j17]Hanwoong Jung, Hyunok Oh, Soonhoi Ha:
Multiprocessor Scheduling of a Multi-Mode Dataflow Graph Considering Mode Transition Delay. ACM Trans. Design Autom. Electr. Syst. 22(2): 37:1-37:25 (2017) - 2016
- [j16]Duck-Ho Bae, Jin-Hyung Kim, Yong-Yeon Jo, Sang-Wook Kim, Hyunok Oh, Chanik Park:
Intelligent SSD: A turbo for big data mining. Comput. Sci. Inf. Syst. 13(2): 375-394 (2016) - [j15]Sungchan Kim, Hyunok Oh, Chanik Park, Sangyeun Cho, Sang-Won Lee, Bongki Moon:
In-storage processing of database scans and joins. Inf. Sci. 327: 183-200 (2016) - 2015
- [j14]Shin-Haeng Kang, Hae-woo Park, Sungchan Kim, Hyunok Oh, Soonhoi Ha:
Optimal Checkpoint Selection with Dual-Modular Redundancy Hardening. IEEE Trans. Computers 64(7): 2036-2048 (2015) - 2014
- [j13]Hyunok Oh, Jihye Kim:
An Efficient Non-Linear Cost Compression Algorithm for Multi Level Cell Memory. IEEE Trans. Computers 63(4): 820-832 (2014) - [j12]Hanwoong Jung, Chanhee Lee, Shin-Haeng Kang, Sungchan Kim, Hyunok Oh, Soonhoi Ha:
Dynamic Behavior Specification and Dynamic Mapping for Real-Time Embedded Systems: HOPES Approach. ACM Trans. Embed. Comput. Syst. 13(4s): 135:1-135:26 (2014) - 2013
- [j11]Kwangil Choi, Hyunok Oh:
An energy aware buffer mapping technique on hybrid STT-MRAM memories with multiple retention time for stream applications. Des. Autom. Embed. Syst. 17(3-4): 693-710 (2013) - [j10]Daeyoung Lee, Hyunok Oh:
A lifetime aware buffer assignment method for streaming applications on DRAM/PRAM hybrid memory. ACM Trans. Embed. Comput. Syst. 12(1s): 36:1-36:17 (2013) - [j9]Hyunok Oh:
Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow Model. J. Signal Process. Syst. 71(1): 75-88 (2013) - [j8]Chanhee Lee, Sungchan Kim, Hyunok Oh, Soonhoi Ha:
Failure-Aware Task Scheduling of Synchronous Data Flow Graphs Under Real-Time Constraints. J. Signal Process. Syst. 73(2): 201-212 (2013) - 2012
- [j7]Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha:
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. J. Parallel Distributed Comput. 72(4): 564-578 (2012) - 2011
- [j6]Hae-woo Park, Hanwoong Jung, Hyunok Oh, Soonhoi Ha:
Library Support in an Actor-Based Parallel Programming Platform. IEEE Trans. Ind. Informatics 7(2): 340-353 (2011) - 2010
- [j5]Clive Sanford, Hyunok Oh:
The Role of User Resistance in the Adoption of a Mobile Data Service. Cyberpsychology Behav. Soc. Netw. 13(6): 663-672 (2010) - 2009
- [j4]Hae-woo Park, Hyunok Oh, Soonhoi Ha:
Multiprocessor SoC design methods and tools. IEEE Signal Process. Mag. 26(6): 72-79 (2009) - 2006
- [j3]Minyoung Kim, Hyunok Oh, Nikil D. Dutt
PBPAIR: an energy-efficient error-resilient encoding using probability based power aware intra refresh. ACM SIGMOBILE Mob. Comput. Commun. Rev. 10(3): 58-69 (2006) - 2004
- [j2]Hyunok Oh, Soonhoi Ha:
Fractional Rate Dataflow Model for Efficient Code Synthesis. J. VLSI Signal Process. 37(1): 41-51 (2004) - 2003
- [j1]Hyunok Oh, Soonhoi Ha:
Memory-Optimized Software Synthesis from Dataflow Program Graphs with Large Size Data Samples. EURASIP J. Adv. Signal Process. 2003(6): 514-529 (2003)
Conference and Workshop Papers
- 2024
- [c45]Jongho Kim
zkLogis: Scalable, Privacy-Enhanced, and Traceable Logistics on Public Blockchain. AsiaCCS 2024 - [c44]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 - 2023
- [c43]Sungwook Kim
Efficient Transparent Polynomial Commitments for zk-SNARKs. ESORICS (3) 2023: 348-366 - 2022
- [c42]Matteo Campanelli
Succinct Zero-Knowledge Batch Proofs for Set Accumulators. CCS 2022: 455-469 - 2021
- [c41]Hankyung Ko, Ingeun Lee, Seunghwa Lee, Jihye Kim, Hyunok Oh:
Efficient Verifiable Image Redacting based on zk-SNARKs. AsiaCCS 2021: 213-226 - 2019
- [c40]Thomas Haywood Dadzie
SA-SPM: an efficient compiler for security aware scratchpad memory (invited paper). LCTES 2019: 57-69 - [c39]Jihye Kim
AILocker: authenticated image locker for video. SAC 2019: 1508-1511 - [c38]Hankyung Ko, Gweonho Jeong, Jongho Kim, Jihye Kim, Hyunok Oh:
Forward Secure Identity-Based Signature Scheme with RSA. SEC 2019: 314-327 - 2018
- [c37]Thomas Haywood Dadzie
Secure non-volatile memory with scratch pad memory using dual encryption mode: work-in-progress. CODES+ISSS 2018: 6 - [c36]Jihye Kim
Scalable Wildcarded Identity-Based Encryption. ESORICS (2) 2018: 269-287 - [c35]Jihye Kim
Combinatorial subset difference public key broadcast encryption scheme for secure multicast. SAC 2018: 1593-1600 - 2017
- [c34]Jihye Kim
PASS: Privacy aware secure signature scheme for surveillance systems. AVSS 2017: 1-6 - [c33]Hyesun Hong, Hyunok Oh, Soonhoi Ha:
Hierarchical Dataflow Modeling of Iterative Applications. DAC 2017: 39:1-39:6 - [c32]Thomas Haywood Dadzie
A fast profiler for compilation of multi-threaded applications on a hybrid memory system. NVMSA 2017: 1-6 - [c31]Jihye Kim
Forward-Secure Digital Signature Schemes with Optimal Computation and Storage of Signers. SEC 2017: 523-537 - 2016
- [c30]Yong-Yeon Jo, Sang-Wook Kim, Moonjun Chung, Hyunok Oh:
Data mining in intelligent SSD: Simulation-based evaluation. BigComp 2016: 123-128 - [c29]Hanwoong Jung, Hyunok Oh, Soonhoi Ha:
Multiprocessor Scheduling of an SDF Graph with Library Tasks Considering the Worst Case Contention Delay. ESTIMedia 2016: 84-93 - [c28]Yong-Yeon Jo, Sungwoo Cho, Sang-Wook Kim, Hyunok Oh:
Collaborative processing of data-intensive algorithms with CPU, intelligent SSD, and GPU. SAC 2016: 1865-1870 - 2015
- [c27]Russ Dill, Aviral Shrivastava
Optimization of multi-channel BCH error decoding for common cases. CASES 2015: 59-68 - [c26]Hyunok Oh, Muhammad Shafique
Message from the Chairs. ESTIMedia 2015: 1 - [c25]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. SAC 2015: 2060-2065 - 2013
- [c24]Duck-Ho Bae, Jin-Hyung Kim, Sang-Wook Kim, Hyunok Oh, Chanik Park:
Intelligent SSD: a turbo for big data mining. CIKM 2013: 1573-1576 - [c23]Jinwoo Kim, Hyunok Oh, Junchul Choi, Hyojin Ha, Soonhoi Ha:
A novel analytical method for worst case response time estimation of distributed embedded systems. DAC 2013: 129:1-129:10 - [c22]Sangyeun Cho, Chanik Park, Hyunok Oh, Sungchan Kim, Youngmin Yi, Gregory R. Ganger:
Active disk meets flash: a case for intelligent SSDs. ICS 2013: 91-102 - 2012
- [c21]Junchul Choi, Hyunok Oh, Sungchan Kim, Soonhoi Ha:
Executing synchronous dataflow graphs on a SPM-based multicore architecture. DAC 2012: 664-671 - [c20]Daeyoung Lee, Hyunok Oh:
A lifetime aware buffer assignment method for streaming applications on DRAM/PRAM hybrid memory (Extended abstract). ESTIMedia 2012: 1 - [c19]Jinwoo Kim, Hyunok Oh, Hyojin Ha, Shin-Haeng Kang, Junchul Choi, Soonhoi Ha:
An ILP-based Worst-case Performance Analysis Technique for Distributed Real-time Embedded Systems. RTSS 2012: 363-372 - 2011
- [c18]Tae-ho Shin, Hyunok Oh, Soonhoi Ha:
Minimizing buffer requirements for throughput constrained parallel execution of synchronous dataflow graph. ASP-DAC 2011: 165-170 - [c17]Jinwoo Kim, Tae-ho Shin, Soonhoi Ha, Hyunok Oh:
Resource minimized static mapping and dynamic scheduling of SDF graphs. ESTIMedia 2011: 83-92 - [c16]Soonhoi Ha, Hyunok Oh:
Software synthesis in the ESL methodology for multicore embedded systems. ICSAMOS 2011: 355-362 - [c15]Sungchan Kim, Hyunok Oh, Chanik Park, Sangyeun Cho, Sang-Won Lee:
Fast, Energy Efficient Scan inside Flash Memory. ADMS@VLDB 2011: 36-43 - 2010
- [c14]Chanhee Lee, Hokeun Kim, Hae-woo Park, Sungchan Kim, Hyunok Oh, Soonhoi Ha:
A task remapping technique for reliable multi-core embedded systems. CODES+ISSS 2010: 307-316 - [c13]Eunjin Jeong, Hae-woo Park, Soonhoi Ha, Hyunok Oh:
Task-level timed-functional simulation for multi-core embedded systems. ESTIMedia 2010: 61-70 - 2008
- [c12]Hyunok Oh:
Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior. ISQED 2008: 190-193 - 2006
- [c11]Hyunok Oh, Nikil D. Dutt
Memory optimal single appearance schedule with dynamic loop count for synchronous dataflow graphs. ASP-DAC 2006: 497-502 - 2005
- [c10]Hyunok Oh, Nikil D. Dutt
Single appearance schedule with dynamic loop count for minimum data buffer from synchronous dataflow graphs. CASES 2005: 157-165 - [c9]Hyunok Oh, Nikil D. Dutt
Shift buffering technique for automatic code synthesis from synchronous dataflow graphs. CODES+ISSS 2005: 51-56 - [c8]Minyoung Kim, Hyunok Oh, Nikil D. Dutt
Probability Based Power Aware Error Resilient Coding. ICDCS Workshops 2005: 307-313 - [c7]Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt
A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems. IPDPS 2005 - 2002
- [c6]Hyunok Oh, Soonhoi Ha:
Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints. CODES 2002: 133-138 - [c5]Hyunok Oh, Soonhoi Ha:
Efficient code synthesis from extended dataflow graphs for multimedia applications. DAC 2002: 275-280 - [c4]Hyunok Oh, Soonhoi Ha:
Fractional rate dataflow model and efficient code synthesis for multimedia applications. LCTES-SCOPES 2002: 12-17 - 2000
- [c3]Hyunok Oh, Soonhoi Ha:
Data memory minimization by sharing large size buffers. ASP-DAC 2000: 491-496 - 1999
- [c2]Hyunok Oh, Soonhoi Ha:
A hardware-software cosynthesis technique based on heterogeneous multiprocessor scheduling. CODES 1999: 183-187 - 1996
- [c1]Hyunok Oh, Soonhoi Ha:
A Static Scheduling Heuristic for Heterogeneous Processors. Euro-Par, Vol. II 1996: 573-577
Parts in Books or Collections
- 2013
- [p2]Soonhoi Ha, Hyunok Oh:
Decidable Dataflow Models for Signal Processing: Synchronous Dataflow and Its Extensions. Handbook of Signal Processing Systems 2013: 1083-1109 - 2010
- [p1]Soonhoi Ha, Hyunok Oh:
Decidable Signal Processing Dataflow Graphs: Synchronous and Cyclo-Static Dataflow Graphs. Handbook of Signal Processing Systems 2010: 851-874
Editorship
- 2016
- [e1]Muhammad Shafique, Sander Stuijk, Hyunok Oh, Todor P. Stefanov:
Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, ESTIMedia 2016, Pittsburgh, PA, USA, October 6-7, 2016. ACM 2016, ISBN 978-1-4503-4543-9 [contents]
Informal and Other Publications
- 2024
- [i20]Kyeongtae Lee, Donghwan Oh, Hankyung Ko, Jihye Kim, Hyunok Oh:
Hadamard Product Arguments and Their Applications. IACR Cryptol. ePrint Arch. 2024: 981 (2024) - [i19]Seongho Park, Jaekyoung Choi, Jihye Kim, Hyunok Oh:
zkVoting : Zero-knowledge proof based coercion-resistant and E2E verifiable e-voting system. IACR Cryptol. ePrint Arch. 2024: 1003 (2024) - [i18]Byeongjun Jang, Gweonho Jeong, Hyuktae Kwon, Hyunok Oh, Jihye Kim:
Lego-DLC: batching module for commit-carrying SNARK under Pedersen Engines. IACR Cryptol. ePrint Arch. 2024: 1405 (2024) - [i17]Semin Han, Geonho Yoon, Hyunok Oh, Jihye Kim:
DUPLEX: Scalable Zero-Knowledge Lookup Arguments over RSA Group. IACR Cryptol. ePrint Arch. 2024: 1509 (2024) - [i16]Seungwoo Kim, Semin Han, Seongho Park, Kyeongtae Lee, Jihye Kim, Hyunok Oh:
zkMarket : Privacy-preserving Digital Data Trade System via Blockchain. IACR Cryptol. ePrint Arch. 2024: 1775 (2024) - 2022
- [i15]Gweonho Jeong, Nuri Lee, Jihye Kim, Hyunok Oh:
Azeroth: Auditable Zero-knowledge Transactions in Smart Contracts. IACR Cryptol. ePrint Arch. 2022: 211 (2022) - 2021
- [i14]Jeonghyuk Lee, Jihye Kim, Hyunok Oh:
Forward-secure Multi-user Aggregate Signatures based on zk-SNARKs. IACR Cryptol. ePrint Arch. 2021: 567 (2021) - [i13]Jeonghyuk Lee, Jaekyung Choi, Hyunok Oh, Jihye Kim:
Privacy-preserving Identity Management System. IACR Cryptol. ePrint Arch. 2021: 1459 (2021) - [i12]Matteo Campanelli, Dario Fiore, Semin Han, Jihye Kim, Dimitris Kolonelos, Hyunok Oh:
Succinct Zero-Knowledge Batch Proofs for Set Accumulators. IACR Cryptol. ePrint Arch. 2021: 1672 (2021) - 2020
- [i11]Seunghwa Lee, Hankyung Ko, Jihye Kim, Hyunok Oh:
vCNN: Verifiable Convolutional Neural Network. IACR Cryptol. ePrint Arch. 2020: 584 (2020) - [i10]Hankyung Ko, Ingeun Lee, Seunghwa Lee, Jihye Kim, Hyunok Oh:
Efficient Verifiable Image Redacting based on zk-SNARKs. IACR Cryptol. ePrint Arch. 2020: 1579 (2020) - 2019
- [i9]Jihye Kim, Jiwon Lee, Hyunok Oh:
QAP-based Simulation-Extractable SNARK with a Single Verification. IACR Cryptol. ePrint Arch. 2019: 586 (2019) - [i8]Jeonghyuk Lee, Jungyeon Hwang, Jaekyung Choi, Hyunok Oh, Jihye Kim:
SIMS : Self Sovereign Identity Management System with Preserving Privacy in Blockchain. IACR Cryptol. ePrint Arch. 2019: 1241 (2019) - [i7]Jiwon Lee, Jaekyoung Choi, Jihye Kim, Hyunok Oh:
SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization. IACR Cryptol. ePrint Arch. 2019: 1270 (2019) - [i6]Jiwon Lee, Jihye Kim, Hyunok Oh:
BESTIE: Broadcast Encryption Scheme for Tiny IoT Equipments. IACR Cryptol. ePrint Arch. 2019: 1311 (2019) - [i5]Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh:
Scalable Wildcarded Identity-Based Encryption. IACR Cryptol. ePrint Arch. 2019: 1342 (2019) - 2018
- [i4]Jihye Kim, Jiwon Lee, Hankyung Ko, Donghwan Oh, Semin Han, Kwonho Jeong, Hyunok Oh:
AuthCropper: Authenticated Image Cropper for Privacy Preserving Surveillance Systems. IACR Cryptol. ePrint Arch. 2018: 1202 (2018) - 2017
- [i3]Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh:
Combinatorial Subset Difference Public Key Broadcast Encryption Scheme for Secure Multicast. IACR Cryptol. ePrint Arch. 2017: 408 (2017) - 2016
- [i2]Hanwoong Jung, Hyunok Oh, Soonhoi Ha:
Multiprocessor Scheduling of a Multi-mode Dataflow Graph Considering Mode Transition Delay. CoRR abs/1603.05775 (2016) - [i1]Junchul Choi, Hyunok Oh, Soonhoi Ha:
A Hybrid Performance Analysis Technique for Distributed Real-Time Embedded Systems. CoRR abs/1604.04951 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: