• 대한수학회지
• /
• 제38권3호
• /
• pp.595-611
• /
• 2001

Let Q(n,1) be the set of even unimodular positive definite integral quadratic forms in n-variables. Then n is divisible by 8. For A[X] in Q(n,1), the theta series $\theta$(sub)A(z) = ∑(sub)X∈Z(sup)n e(sup)$\pi$izA[X] (Z∈h (※Equations, See Full-text) the complex upper half plane) is a modular form of weight n/2 for the congruence group Γ$_1$(8) = {$\delta$∈SL$_2$(Z)│$\delta$≡()mod 8} (※Equation, See Full-text). If n$\geq$24 and A[X], B{X} are tow quadratic forms in Q(n,1), the quotient $\theta$(sub)A(z)/$\theta$(sub)B(z) is a modular function for Γ$_1$(8). Since we identify the field of modular functions for Γ$_1$(8) with the function field K(X$_1$(8)) of the modular curve X$_1$(8) = Γ$_1$(8)＼h(sup)* (h(sup)* the extended plane of h) with genus 0, we can express it as a rational function of j(sub) 1,8 over C which is a field generator of K(X$_1$(8)) and defined by j(sub)1,8(z) = $\theta$$_3$(2z)/$\theta$$_3$(4z). Here, $\theta$$_3$ is the classical Jacobi theta series.

• 대한수학회지
• /
• 제35권4호
• /
• pp.903-931
• /
• 1998

Since the modular curves X(N) = $\Gamma$(N)\(equation omitted)＊ (N =1,2,3) have genus 0, we have field isomorphisms K(X(l))(equation omitted)C(J), K(X(2))(equation omitted)(λ) and K(X(3))(equation omitted)( $j_3$) where J, λ are the classical modular functions of level 1 and 2, and $j_3$ can be represented as the quotient of reduced Eisenstein series. When N = 4, we see from the genus formula that the curve X(4) is of genus 0 too. Thus the field K(X(4)) is a rational function field over C. We find such a field generator $j_4$(z) = x(z)/y(z) (x(z) = $\theta$$_3$((equation omitted)), y(z) = $\theta$$_4$((equation omitted)) Jacobi theta functions). We also investigate the structures of the spaces $M_{k}$($\Gamma$(4)), $S_{k}$($\Gamma$(4)), M(equation omitted)((equation omitted)(4)) and S(equation omitted)((equation omitted)(4)) in terms of x(z) and y(z). As its application, we apply the above results to quadratic forms.rms.

• ETRI Journal
• /
• 제41권6호
• /
• pp.863-872
• /
• 2019

Elliptic curve cryptography is a relatively lightweight public-key cryptography method for key generation and digital signature verification. Some lightweight curves (eg, Curve25519 and Curve Ed448) have been adopted by upcoming Transport Layer Security 1.3 (TLS 1.3) to replace the standardized NIST curves. However, the efficient implementation of Curve Ed448 on Internet of Things (IoT) devices remains underexplored. This study is focused on the optimization of the Curve Ed448 implementation on low-end IoT processors (ie, 8-bit AVR and 16-bit MSP processors). In particular, the three-level and two-level subtractive Karatsuba algorithms are adopted for multi-precision multiplication on AVR and MSP processors, respectively, and two-level Karatsuba routines are employed for multi-precision squaring. For modular reduction and finite field inversion, fast reduction and Fermat-based inversion operations are used to mitigate side-channel vulnerabilities. The scalar multiplication operation using the Montgomery ladder algorithm requires only 103 and 73 M clock cycles on AVR and MSP processors.

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

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

• 충청수학회지
• /
• 제27권2호
• /
• pp.205-210
• /
• 2014

The author with C. H. Kim and Y. Lee constructed infinite families of elliptic curves over cubic number fields K with prescribed torsion groups which occur infinitely often. In this paper, we examine the Galois structures of such cubic number fields K for the families of elliptic curves with cyclic torsion.

• Journal of Welding and Joining
• /
• 제26권6호
• /
• pp.59-66
• /
• 2008

Recently, automobile parts progress with modularization, which a great many allied products are modularized. Therefore, the purpose of this study is to develope modular housing for modularization of steering gear. Generally, steering gear housing is composed of valve housing and rack housing, it is important to combine two housings. However, housing having the pipe shape is very sensitive to welding distortion, and welding trajectory is very complicated. In order to solve this subject, cooperative control by using robots was constructed. Further, we developed the dedicated system to suit modular housing based on it, and applied laser welding to there. Moreover, welding speed was controlled in the rapid curve section so that the defect in trajectory of housing was reduced to obtain sound weldment. Accordingly, produced housing by this way is presented enough withstanding pressure to $100kg/cm^2$, and roundness and straightness are measured about 10/100 and 0.9/100 respectively.

• 대한건축학회논문집:구조계
• /
• 제34권4호
• /
• pp.25-33
• /
• 2018

In regard to modular systems, new methods, as well as middle and high-story unit design ideas, are currently being studied. These studies need to focus on the enhanced stiffness and seismic performance of these connections, and see that the development of fully restrained moment connections can improve the seismic performance. For this reason, this study evaluates the performance of the connections of the ceiling bracket-typed modular system through repeated loading tests and analyses. In order to compare them with these modular units, new unit specimens with the bracket connection being different from that of the traditional modular unit specimens were designed, and the results of repeated loading tests were analyzed. In the traditional units, the structural performances of both welding connection and bolt connection were evaluated. In regard to the testing results, the initial stiffness of the hysteresis curve was compared with the theoretical initial stiffness, and the features of all specimens were also analyzed with regard to the maximum moment. In addition, the test results were examined with regard to the connection flexural strength of the steel special moment frame specified under the construction criteria KBC2016. The connections, which were proposed in the test results, were found to be fully restrained moment connections for designing strong column-weak beams and meeting the requirements of seismic performance of special moment frames.

• 한국정보통신학회논문지
• /
• 제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으로 구현되었다.

• 한국정보통신학회논문지
• /
• 제25권8호
• /
• pp.1095-1102
• /
• 2021

성능과 하드웨어 복잡도 사이에 높은 확장성과 유연성을 갖는 확장 가능형 ECC 구조를 제안한다. 구조적 확장성을 위해 유한체 연산을 32 비트 워드 단위로 병렬 처리하는 처리요소의 1차원 배열을 기반으로 모듈러 연산회로를 구현하였으며, 사용되는 처리요소의 개수를 1~8개 범위에서 결정하여 회로를 합성할 수 있도록 설계되었다. 이를 위해 워드 기반 몽고메리 곱셈과 몽고메리 역원 연산의 확장 가능형 알고리듬을 적용하였다. 180-nm CMOS 공정으로 확장 가능형 ECC 프로세서 (sECCP)를 구현한 결과, N_PE=1인 경우에 100 kGE와 8.8 kbit의 RAM으로 구현되었고, N_PE=8인 경우에는 203 kGE와 12.8 kbit의 RAM으로 구현되었다. sECCP가 100 MHz 클록으로 동작하는 경우, N_PE=1인 경우와 N_PE=8인 경우의 P256R 타원곡선 상의 점 스칼라 곱셈을 각각 초당 110회, 610회 연산할 수 있는 것으로 분석되었다.

• 전기전자학회논문지
• /
• 제25권4호
• /
• pp.625-633
• /
• 2021

몽고메리 모듈러 곱셈의 유연한 하드웨어 구현을 위한 확장 가능형 아키텍처를 기술한다. 처리요소 (processing element; PE)의 1차원 배열을 기반으로 하는 확장 가능형 모듈러 곱셈기 구조는 워드 병렬 연산을 수행하며, 사용되는 PE 개수 N_PE에 따라 연산 성능과 하드웨어 복잡도를 조정하여 구현할 수 있다. 제안된 아키텍처를 기반으로 SEC2에 정의된 8가지 필드 크기를 지원하는 확장 가능형 몽고메리 모듈러 곱셈기(scalable Montgomery modular multiplier; sMM) 코어를 설계했다. 180-nm CMOS 셀 라이브러리로 합성한 결과, sMM 코어는 N_PE=1 및 N_PE=8인 경우에 각각 38,317 등가게이트 (GEs) 및 139,390 GEs로 구현되었으며, 100 MHz 클록으로 동작할 때, N_PE=1인 경우에 57만회/초 및 N_PE=8인 경우에 350만회/초의 256-비트 모듈러 곱셈을 연산할 수 있는 것으로 평가되었다. sMM 코어는 응용분야에서 요구되는 연산성능과 하드웨어 리소스를 고려하여 사용할 PE 수를 결정함으로써 최적화된 구현이 가능하다는 장점을 가지며, ECC의 확장 가능한 하드웨어 설계에 IP (intellectual property)로 사용될 수 있다.