12 research outputs found
Study on design automation of successive approximation register ADC
학위논문(석사) - 한국과학기술원 : 전기및전자공학부, 2015.8,[vi, 48 p. :]본 논문은 SAR ADC의 설계 자동화에 대해서 연구한 논문이다. ADC에 들어갈 모든 block들을 디지털 cell로 구현하기 위해서 적절한 switching method, 즉 split cap + monotonic switching에 대해 소개하였고, 3-input NAND gate로 구현한 comparator의 문제점을 보완하기 위해서 clock gating block을 추가하고 power gating cell을 이용한 comparator를 제시하였다. 그리고 comparator에서의 문제점인 offset과 noise 문제를 해결하기 위한 technique들을 소개하였다. 또한, tapless inverter로 구현한 CMOS switch와 power gating cell을 이용한 bootstrapping switch를 소개하였다. 마지막으로 SKILL language를 이용하여 sandwich 구조의 unit capacitor를 가진 capacitor array를 자동으로 생성하였다.
첫 번째 chip인 12-bit 100KS/s ADC의 측정 결과로 digital cell로 구현한 IP의 가능성을 볼 수 있었고, 10-bit 20MS/s SAR ADC design을 통해 offset calibration의 function을 확인할 수 있었다. 마지막으로 11-bit 60MS/s SAR ADC design을 통해 standard cell로 만들어진 switch와 bottom plate sampling의 가능성을 알 수 있었고 이는 design을 더 높은 해상도, 빠른 속도로 만들기 위한 확장 가능성을 볼 수 있었다.한국과학기술원 :전기및전자공학부
PLWE 문제의 함수값 공격 분석
학위논문 (박사)-- 서울대학교 대학원 : 자연과학대학 수리과학부, 2018. 8. 김명환.Ring-learning with errors(RLWE) 문제는 LWE 문제의 변형으로 일반적인 유클리드 공간과 정수 격자 위에서 정의되는 LWE 문제와 달리 수체와 그 정수환 위에서 정의되는 문제이다. LWE 문제는 전통적인 격자 문제로 환원이 가능하며 따라서 그 어려움을 보장 받고 있다. RLWE 문제 또한 원분체 위에서 정의된 경우 그 원분체 위에서의 격자 문제로 환원이 가능하나 그 어려움이 증명되었다고는 할 수 없다. RLWE 문제는 LWE 기반 암호의 비효율성을 해결하기 위한 방안으로 다양한 분야에서 사용되고 있다. Poly-LWE(PLWE) 문제는 RLWE 문제와 유사하나 오차 분포를 어떻게 선택하느냐에 차이가 있으며, 특정한 원분체의 경우 이 두 문제는 동등하다.
한 편으로 다른 여러 수체 위에서 정의된 RLWE 및 PLWE 문제는 어려울 것인가에 대한 물음이 자연스럽게 생길 수 있으며 최근 몇 년 사이에 Eisentr{\"a}ger 등과 Elias 등에 의해 특정한 경우의 수체에 대하여 RLWE, PLWE 문제의 공격이 가능함이 알려지게 되었다. 한편 Castryck 등은 이러한 공격을 함수값 공격이라 부르고, 앞에서 제시된 수체의 경우 PLWE 문제에서 RLWE 문제로 변환할 때 함수값 공격보다 더 간단한 공격이 존재함을 보였다. 이후 Chen 등은 Castryck 등의 공격에 약하지 않으면서 함수값 공격이 가능한 다른 약한 수체들을 제시하였다.
본 연구는 함수값 공격을 분석하고, 그 공격에 취약한 수체들이 추가로 존재하는지 알아보고자 시작되었다. 우선 분석을 통하여 Elias 등이 제시한 공격성공 조건에 대해 오류를 찾아내었다. PLWE 문제는 그 몫환을 정의하는 다항식의 동반행렬과 계수 벡터를 이용하여 나타낼 수 있으며, 몫환의 원소가 특정한 일차식을 인수로 가질 때 이를 이용하여 쌍대격자 공격을 적용할 수 있다. 우리는 이러한 관찰로부터 함수값 공격과 유사한 다른 방법을 찾았다. 함수값 공격은 쌍대격자 공격과 유사성을 갖고 있으며, 이로부터 함수값 공격은 쌍대격자 공격의 응용으로 볼 수 있다. 또한 이러한 접근을 통해 기존의 함수값 공격 알고리즘을 약간 수정하였으며 위에서 지적한 함수값 공격의 성공 조건을 다시 구할 수 있었다. 그 공격복잡도는 기존의 것과 크게 다르지 않다.Abstract i
1 Introduction 1
1.1 Previous Works . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Our Result . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Preliminaries 5
2.1 Basic Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Lattices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3 Number Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4 Canonical Embeddings . . . . . . . . . . . . . . . . . . . . . . . 9
2.5 Smoothing Parameter . . . . . . . . . . . . . . . . . . . . . . . 10
3 Lattice Problems and Algorithms 16
3.1 Lattice Problems . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2 LLL Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3 Nearest Plane Algorithm . . . . . . . . . . . . . . . . . . . . . . 20
4 LWE and its Variants 24
4.1 Learning with Errors Problem . . . . . . . . . . . . . . . . . . . 25
4.2 RLWE and PLWE . . . . . . . . . . . . . . . . . . . . . . . . . 26
5 Attacks on PLWE problems 29
5.1 LWE Attacks . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
5.2 Analysis of Evaluation Attack . . . . . . . . . . . . . . . . . . . 31
5.3 Another Approach and Improved Results . . . . . . . . . . . . 35
5.4 PLWE with other conditions . . . . . . . . . . . . . . . . . . . 48
6 Short Vectors in Principal Ideal 51
7 Conclusion 54
Bibliography 55
Abstract (in Korean) 60Docto
ANALOG TO DIGITAL CONVERTER AND ANALOG TO DIGITAL CONVERTING METHOD WITH SKIPPING RESET
일 실시예에 따른 아날로그 디지털 변환기가 제공된다. 아날로그 디지털 변환기는 리셋 동작을 스킵하고, 제2 비트 그룹에 대응하는 커패시터 셀의 이전 사이클에서의 연결을 유지하면서, 제1 비트 그룹에 대응하는 커패시터 셀의 연결을 조정하여 아날로그 신호에 대응하는 디지털 신호를 출력할 수 있다
Mutant Uracil DNA Glycosylase with increased thermal sensitivity
본원은 야생형대비 열민감성이 증가된 돌연변이 UDG를 개시한다. 본원에 따른 돌연변이 UDG는 높은 열민감성으로 PCR 반응의 저해 효과가 없어 PCR/qPCR PreMIX의 개발은 물론, 특히 낮은 melting 및 amplification step 이 필요한 실험에 보다 적합한 UDG 적용 PCR 진단 키트 개발을 가능하게 한다
