• 정보보호학회논문지
• /
• 제29권3호
• /
• pp.515-518
• /
• 2019

타원곡선 상수배 연산은 사영좌표계를 기반으로 대부분 모듈러 곱셈으로 계산되므로 모듈러 곱셈의 효율성은 타원곡선암호의 성능에 크게 영향을 미친다. 본 논문에서는 FIPS 186-4의 224비트 소수체에서 효율적인 모듈러 곱셈 방법을 제안한다. 제안하는 방법은 Karatsuba 곱셈과 새로운 모듈러 감산을 수행한다. 제안하는 모듈러 곱셈은 기존방법에 비하여 25%정도 빠르며, 모듈러 감산만 비교하면 기존 방법보다 50% 연산으로 계산이 가능하다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2022년도 추계학술대회
• /
• pp.101-103
• /
• 2022

타원곡선 암호 (elliptic curve cryptography; ECC)는 효율적인 하드웨어 구현이 가능하면서 높은 보안 강도를 가져 오늘날 IoT 기기나 V2X 통신의 공개키 보안 하드웨어 구현에 폭넓게 사용되고 있다. 그러나 ECC 기반의 공개키 보안 시스템은 부채널 공격 (side channel attacks; SCA)에 대한 일부 보안 취약점을 갖는 것으로 알려지고 있어 ECC 프로세서 설계 시 보안공격에 대한 대응 방법의 적용이 필요하다. 본 논문에서는 부채널 공격 유형과 ECC 프로세서 설계에 적용할 수 있는 부채널 공격 대응 방안에 대해 알아본다.

• 대한수학회논문집
• /
• 제10권4호
• /
• pp.925-929
• /
• 1995

Consider the problem $-div($\mid$\bigtriangledown_u$\mid$^{p-2}\bigtriangledown_u) = $\mid$u$\mid$^{p^*-2}u + \lambda$\mid$u$\mid$^{q-2}u$ in B, u = 0 on $\partial B$; where $B \subset R^n$ is a ball, $\lambda < 0, 1 < p < n$ and $p^* = \frac{np}{n-p}$ is the critical Sobolev exponent. For given $\lambda > 0$, we show that there exists $k = k(\lambda) \in N$ such that any radial solutions to this problem have at most k noda curves when $p \leq q \leq p^* - 1$.

• 정보처리학회논문지D
• /
• 제9D권2호
• /
• pp.307-312
• /
• 2002

본 논문에서는 무선 PKI 환경에 적합한 은닉 서명을 제안한다. 제안하는 방식은 [5]에서 제안한 Gap problem을 이용한 시스템으로 이에 대한 예로는 타원곡선 기반의 Weil pairing을 이용한 서명 방식등이 될 수 있다. 특히 Weil pairing을 이용한 서명 방식은 작은 키 크기로 높은 안전성을 제공할 수 있으며, Diffie-Hellman 문제에 기반한 실용적인 은닉 서명으로는 최초의 방식이라고 할 수 있다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 추계학술대회
• /
• pp.247-249
• /
• 2017

NIST에서 표준으로 정의된 P-192, P-224, P-256, P-384 타원곡선 상의 스칼라 곱셈(scalar multiplication) 연산을 지원하는 Scalable 타원곡선 암호(Elliptic Curve Cryptography; ECC) 프로세서의 설계에 대해 기술한다. 투영(projective) 좌표계를 이용하여 하드웨어 자원 소모가 큰 나눗셈 연산을 제거하였으며, GF(p) 상의 덧셈, 뺄셈, 곱셈 등의 유한체 연산을 지원한다. 워드 기반 몽고메리 곱셈기를 이용하여 다양한 크기의 필드(field)에서 고정된 하드웨어 자원을 통하여 곱셈 연산을 수행하도록 하였으며, 필드의 크기에 따라 연산 사이클이 증가하거나 감소한다. 설계된 Scalable ECC 프로세서는 Verilog HDL로 모델링 되었으며, Modelsim을 이용한 기능검증을 하였다. Xilinx Virtex5 FPGA 디바이스 합성결과 5,376-비트 RAM과 970 슬라이스로 구현되었으며, 최대 55 MHz의 동작 주파수를 갖는다.

• Steel and Composite Structures
• /
• 제36권1호
• /
• pp.87-101
• /
• 2020

A multi-scale epoxy/CNT/fiberglass annular sector plate is studied in this paper in the view of determining nonlinear forced vibration characteristics. A 3D Mori-Tanaka model is employed for evaluating multi-scale material properties. Thus, all of glass fibers are assumed to have uni-direction alignment and CNTs have random diffusion. The geometry of annular sector plate can be described based on the open angle and the value of inner/outer radius. In order to solve governing equations and derive exact forced vibration curves for the multi-scale annular sector, Jacobi elliptic functions are used. Obtained results demonstrate the significance of CNT distribution, geometric nonlinearity, applied force, fiberglass volume, open angle and fiber directions on forced vibration characteristics of multi-scale annular sector plates.

• 정보보호학회논문지
• /
• 제29권3호
• /
• pp.511-514
• /
• 2019

타원곡선암호시스템(ECC)은 같은 보안강도일 때 상대적으로 작은 키 길이를 가지며, 암호시스템의 효율성은 기존의 공개키 암호시스템과 같이 유한체 연산에 의존한다. 타원곡선 암호시스템의 경우 주로 이진체 또는 소수체에서 고려되며 유한체 연산에서 모듈러 곱셈 연산이 효율성에 가장 큰 영향을 미친다. 본 논문은 NIST P256에서 효율적인 모듈러 감산 방법을 제안한다. 제안하는 방법을 소프트웨어로 구현하면 결과 기존 대비 대략 25% 빨라진다.

• 정보보호학회논문지
• /
• 제10권1호
• /
• pp.77-87
• /
• 2000

타원곡선 이산대수 문제에 기초한 공개키 암호시스템에서 타원곡선 멱승은 반드시 필요한 연산이며 연산들 중에서 가장 복잡도가 크다. 따라서 효율적인 암호시스템 구현을 위해서는 타원곡선 멱승연산을 효율적으로 구현하는 것이 중요하다. 본 논문에서는 복합 좌표계(mixed coordinate system)를 이용한 멱승 방법을 GF(pm)상에서 정의되는 타원 곡선을 적용하여 최적의 효율성을 갖는 타원곡선 멱승 구현법을 제안한다. 또한 ‘곱셈을 이용한 역원 연산 알고리즘(IM; Inversion with Multiplication)’을 이용하여 더욱 효율적인 구현이 가능함을 보인다.

• 대한수학회지
• /
• 제60권5호
• /
• pp.1087-1107
• /
• 2023

Let E be an elliptic curve defined over ℚ of conductor N, c the Manin constant of E, and m the product of Tamagawa numbers of E at prime divisors of N. Let K be an imaginary quadratic field where all prime divisors of N split in K, P_K the Heegner point in E(K), and III(E/K) the Shafarevich-Tate group of E over K. Let 2u_K be the number of roots of unity contained in K. Gross and Zagier conjectured that if P_K has infinite order in E(K), then the integer c · m · u_K · |III(E/K)| $\frac{1}{2}$ is divisible by |E(ℚ)_tor|. In this paper, we prove that this conjecture is true if E(ℚ)_tor ≅ ℤ/2ℤ or ℤ/4ℤ except for two explicit families of curves. Further, we show these exceptions can be removed under Stein-Watkins conjecture.

• 한국정보통신학회논문지
• /
• 제23권12호
• /
• pp.1609-1617
• /
• 2019

ECC (Elliptic Curve Cryptography)와 RSA를 기반으로 하는 다양한 공개키 암호 프로토콜 구현을 지원하는 하드웨어 가속기 설계에 관해 기술한다. NIST 표준으로 정의된 소수체 상의 5가지 타원곡선과 3가지 키길이의 RSA를 지원하며 또한, 4가지 타원곡선 점 연산과 6가지 모듈러 연산을 지원하도록 설계되어 ECC와 RSA 기반 다양한 공개키 암호 프로토콜의 하드웨어 구현에 응용될 수 있다. 저면적 구현을 위해 내부 유한체 연산회로는 32 비트의 데이터 패스로 설계되었으며, 워드 기반 몽고메리 곱셈 알고리듬, 타원곡선 점 연산을 위해서는 자코비안 좌표계, 그리고 모듈러 곱의 역원 연산을 위해서는 페르마 소정리를 적용하였다. 설계된 하드웨어 가속기를 FPGA 디바이스에 구현하여 EC-DH 키교환 프로토콜과 RSA 암호·복호 둥작을 구현하여 하드웨어 동작을 검증하였다. 180-nm CMOS 표준 셀 라이브러리로 합성한 결과, 50 MHz 클록 주파수에서 20,800 등가게이트와 28 kbit의 RAM으로 구현되었으며, Virtex-5 FPGA 디바이스에서 1,503 슬라이스와 2개의 BRAM으로 구현되었다.