Hankyung Ko

Junghyuk Lee

Jiwon Lee

Thomas Ekow Haywood-Dadzie

Daeyoung Lee

Junehaan Kwon

Jinho Mok

Imwon Choi

Kwangil Choi

Seungri Kim

Seungpyo Cho

Donghyuk Kim

Jaeyoung Lee

This lab develops modern cryptographic protocols and researches cryptography-related topics such as zk-SNARK and blockchain. It also focuses on zero-knowledge proof (cryptography), blockchain privacy, and blockchain scalability (e.g., zk-rollup). The lab is looking for MS and Ph.D. applicants interested in these state-of-the-art technologies and offers full financial support.

(공지사항) 대학원생 및 (학부, 석사, 박사) 연구원을 모집하고 있습니다. 영지식 증명, 블록체인 프라이버시, 블록체인 확장성등 최신 기술에 대해서 관심이 있는 분은 연락바랍니다. 최신 암호 프로토콜을 개발한다. 암호학 관련, zk-SNARK, 블록체인에 대해서 연구한다.

Multiprocessor scheduling of a multi-mode dataflow graph considering mode transition delay

: Linear Prover, Logarithmic Verifier and Field-agnostic Multilinear Polynomial Commitment Scheme

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

Tangram: encryption-friendly SNARK framework under Pedersen committed engines

Efficient Attribute Based Digital Signature that Minimizes Operations on Secure Hardware

Toward Practical Fair Data Exchange: Eliminating In-Circuit Public-Key Operations

zkLogis: scalable, privacy-enhanced, and traceable logistics on public blockchain

Sims: Self sovereign identity management system with preserving privacy in blockchain

보안 하드웨어 연산 최소화를 통한 효율적인 속성 기반 전자서명 구현

A task remapping technique for reliable multi-core embedded systems

VECTIS: Efficient Batching Framework for Group-based CP-SNARKs

Multiprocessor SoC design methods and tools

Forward-secure Multi-user Aggregate Signatures with Constant Complexities using Recursive zk-SNARKs

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

Privacy-preserving identity management system

Library support in an actor-based parallel programming platform

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

Buffer optimal static scheduling with a throughput constraint for synchronous dataflow applications on multiprocessors

하이브리드 메모리 시스템 에너지 최적화를 위한 메모리 지정 할당 기법

Poster: Azeroth: Auditable Zero-knowledge Transaction in Smart Contracts

DUPLEX: Scalable Zero-Knowledge Lookup Arguments over RSA Group

Efficient verifiable image redacting based on zk-snarks

Work-in-Progress: Secure Non-volatile Memory with Scratch Pad Memory using Dual Encryption Mode

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

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

Executing synchronous dataflow graphs on a SPM-based multicore architecture

Succinct zero-knowledge batch proofs for set accumulators

Software synthesis in the ESL methodology for multicore embedded systems

Hadamard Product Arguments and Their Applications

하이브리드 SPM 을 위한 버퍼 공유를 활용한 새로운 버퍼 매핑 기법

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

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

Updatable crs simulationextractable zk-snarks with a single verification

Data Mining in Intelligent SSD: Simulator Based Evaluation

Worst-case Performance Analysis Based on Integer Linear Programming

Intelligent SSD 를 위한 효율적인 데이터 마이닝 알고리즘

최소 보안 연산을 가지는 전방향 보안 전자서명

Data mining in intelligent SSD: Simulation-based evaluation

Intelligent SSD: a turbo for big data mining

Signing-Enhanced Forward-Secure Signatures by Leveraging SNARKs

병렬 분산 메타-휴리스틱 프레임워크

Hierarchical dataflow modeling of iterative applications

Performance analysis of collaborative processing by scheduling algorithm

Aegis: Scalable Privacy-preserving CBDC Framework with Dynamic Proof of Liabilities

Proposal: commit-and-prove zero-knowledge proof systems and extensions

AILocker: authenticated image locker for video

검증 가능한 계산을 위한 zk-SNARK 에 대한 분석

Multiprocessor scheduling of an SDF graph with library tasks considering the worst case contention delay

Resource minimized static mapping and dynamic scheduling of SDF graphs

영지식 증명을 이용한 퍼블릭 블록체인 가족관계증명 시스템

Grac: graph-based anonymous credentials from identity graphs on blockchain

Forward-secure multi-user aggregate signatures based on zk-SNARKs

vcnn: Verifiable convolutional neural network based on zk-snarks

LightBEAT: Scalable Epochless Batched Threshold Encryption via Hierarchical Identity-Based Puncturing

PASS: privacy aware secure signature scheme for surveillance systems

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

vCNN: Verifiable Convolutional Neural Network.

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

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

zkMarket: Ensuring Fairness and Privacy in Decentralized Data Exchange

Optimal checkpoint selection with dual-modular redundancy hardening

Combinatorial subset difference public key broadcast encryption scheme for secure multicast

신원 기반 서명을 활용한 ECU 펌웨어 폐기 기법

Decidable signal processing dataflow graphs: Synchronous and cyclo-static dataflow graphs

zk-SNARK 에 기반한 탈중앙화 익명 거래 지원 기법 비교분석

Code optimization techniques to reduce energy consumption of multimedia applications in hybrid memory

Azeroth: Auditable zero-knowledge transactions in smart contracts

Simulation-extractable zk-SNARK with a single verification

AuthCropper: Authenticated image cropper for privacy preserving surveillance systems

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

SA-SPM: An efficient compiler for security aware scratchpad memory

Optimization of multi-channel BCH error decoding for common cases

Practical verifiable computation by using a hardware-based correct execution environment

Hanyang University Security and Privacy Lab (hyusnp)

교수님 소개

Hyunok Oh

연구실 소개

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

Toward Practical Fair Data Exchange: Eliminating In-Circuit Public-Key Operations

Signing-Enhanced Forward-Secure Signatures by Leveraging SNARKs

LightBEAT: Scalable Epochless Batched Threshold Encryption via Hierarchical Identity-Based Puncturing

연구실 보유 특허

대학별 입시끈

우리 연구실 모집

교수님 소개

Hyunok Oh

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

Toward Practical Fair Data Exchange: Eliminating In-Circuit Public-Key Operations

Signing-Enhanced Forward-Secure Signatures by Leveraging SNARKs

LightBEAT: Scalable Epochless Batched Threshold Encryption via Hierarchical Identity-Based Puncturing

연구실 보유 특허

최근 3년간 연구실적 높은 연구실

대학별 입시끈

우리 연구실 모집