About us
We are Cryptology & Algorithm Lab and our leader is Professor Jae Hong Seo. Our main research interests are in cryptography especially zero-knowledge proof. Besides cryptography, we’re interested in artificial intelligence using deep learning such as face recognition and speaker recognition.
Annual News
-
(Feb 27, 2025) The following project supported by Korea Institute of Information Security & Cryptology (KIISC) has started.
-
Adversarial Attacks and Security Analysis on Commercial Face Recognition APIs
-
(Feb 10, 2025) Ph.D. Heewon Chung, a former postdoctoral researcher from our lab, has been appointed as an Assistant Professor in the Department of Software Engineering at Jeonbuk National University (전북대학교 소프트웨어공학과) in South Korea.
-
(Jan 1, 2025) The following paper has been accepted for publication at Pattern Recognition.
-
Sunpill Kim, Hoyong Shin, and Jae Hong Seo
Deep Face Template Protection in the Wild
We share information with each other through various seminars/studies that support research capabilities every summer/winter vacation to enhance research and inquiry skills. Each season, the main topic changes and the schedule also changes accordingly. External personnel are also free to participate, and you can attend by filling out the form from above link.
23 Summer
IVC
Seminar Schedule - IVC |
Date |
Time |
Place |
Presenter |
Topic |
Material |
Blog Post |
6/27 |
01:00PM |
701 |
Hyeonbum Lee |
Nova : Recursive Zero Knowledge Arguments from Folding Schemes(DOI) |
|
|
7/6 |
7/11 |
07:00PM |
702 |
Hyunjung Son |
SuperNova: Proving universal machine executions without universal circuits(DOI) |
|
|
7/18 |
01:00PM |
701 |
Seongae Baek |
Customizable constraint systems for succinct arguments(DOI) |
|
|
7/25 |
8/1 |
01:00PM |
751 |
Hyeonbum Lee |
Hypernova : Recursive arguments for customizable constraint systems(DOI) |
|
|
8/8 |
702 |
8/14 |
01:00PM |
701 |
Hyunjung Son |
Protostar : Generic Efficient Accumulation/Folding for Special-sound Protocols(DOI) |
|
|
TBD |
|
|
Deep Learning
Seminar Schedule - Deep Learning Paper |
Date |
Time |
Place |
Presenter |
Topic |
Material |
Blog Post |
7/12 |
10:00AM |
702 |
Bora Jeong |
DeepFool: A simple and accurate method to fool deep neural networks (CVPR'16)(DOI) |
|
|
Seunghun Paik |
Adversarial Examples Are Not Bugs, They Are Features (NIPS'19 Spotlight)(DOI) |
|
|
7/19 |
10:00AM |
702 |
Chanwoo Hwang |
Adversarial Patch (arXiv'17)(DOI) |
|
|
Dongsoo Kim |
Efficient Decision-based Black-box Adversarial Attacks on Face Recognition (CVPR'19)(DOI) |
|
|
7/26 |
10:00AM |
702 |
Minsu Kim |
Universal adversarial perturbations (CVPR'17)(DOI) |
|
|
8/2 |
10:00AM |
702 |
Bora Jeong |
Iris Recognition |
(LINK) |
(LINK) |
Seunghun Paik |
Understanding Adversarial Examples |
(LINK) |
(LINK) |
8/9 |
10:00AM |
702 |
Chanwoo Hwang |
What is Dataset Distillation? |
(LINK) |
(LINK) |
8/16 |
10:00AM |
702 |
Dongsoo Kim |
Predictive Coding |
|
|
8/30 |
10:00AM |
TBA |
Hyeonkyu Kim |
Recurrent Neural Network |
|
|
9/1 |
03:00PM |
TBA |
Minsu Kim |
Fuzzy Extractor |
|
|
ZKP Basic
Seminar Schedule - ZKP Basic |
Date |
Time |
Place |
Presenter |
Topic |
Material |
Blog Post |
7/07 |
02:00PM |
702 |
Junhee Cho |
proofs, interactive proofs, schwarz-zippel lemma, multilinear extension |
|
|
7/14 |
10:00AM |
702 |
Yunki Kim |
sumcheck protocol |
|
|
7/21 |
02:00PM |
702 |
Seongae Baek |
application of sum-check protocol |
|
|
7/28 |
02:00PM |
702 |
Seongae Baek |
GKR protocol |
|
|
8/04 |
02:00PM |
702 |
Junhee Cho Yunki Kim |
non-interactive proofs, random oracle model, fiat-shamir heuristic
argument of knowledge, knowledge soundness |
|
|
8/10 |
02:00PM |
702 |
Yunki Kim |
zero-knowledge, sigma protocol |
|
|
22-23 Winter
Deep Learning
Computational Number Theory & Algebra
Seminar Schedule - Computational Number Theory & Algebra |
Book : A computational Introductiobn to Numver Theory and Algebra second Edition |
Date |
Time |
Place |
Topic |
1/5 |
01:00PM |
702 |
Chap. 1 ~ 4, Review on Number Theory and Integer Arithmetics |
1/12 |
01:00PM |
702 |
Chap. 8 ~ 9, Probabilistic Distributions and Algorithms on  |
1/19 |
01:00PM |
702 |
Chap. 10 ~ 12, More Probabilistic Algorithms on (e.g. Miller-Rabin Test) |
1/26 |
01:00PM |
702 |
Chap. 6,7,13,14, Groups, Rings, Modules, and Vector Spaces |
2/2 |
01:00PM |
702 |
Chap. 16, More on Rings (e.g. Field Extension, PID, UFD, ...) |
2/9 |
01:00PM |
702 |
Chap. 17 ~ 18, Polynomial Arithmetics, and Linearly Generated Sequences |
2/16 |
01:00PM |
702 |
Chap. 19 ~ 20, Finite Fields, Algorithms for Finite Fields (e.g. Cantor-Zassenhaus Algorithm) |
2/23 |
01:00PM |
702 |
Chap. 15, 21, Dixon’s Method, Index Calculus Method, and AKS Algorithm |
Algorithm
Seminar Schedule - Algorithm |
Every Wednesday at 1pm |
Zero Knowledge Proof
Seminar Schedule - Zero Knowledge Proof |
TBD |
Note that the contents of the seminar will be shared through the following blog post.
For any inquires, you can reach us via email: webmaster.cnalab@gmail.com