• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.1
• /
• pp.43-54
• /
• 2002

McEliece introduced a public-key cryptosystem based on Algebraic codes, specially binary classical Goppa which have a good decoding algorithm and vast number of inequivalent codes with given parameters. And the advantage of this system low cost of their encryption and decryption procedures compared with other public-key systems specially RSA, ECC based on DLP(discrete logarithm problem). But in [1], they resent new attack based on probabilistic algorithm to find minimum weight codeword, so for a sufficient security level, much larger parameter size [2048, 1608,81]is required. Then the big size of public key make McEliece PKC more inefficient. So in this paper, we will propose New Type PKC using q-ary Hyperelliptic code so that with smaller parameter(1 over 3) but still work factor as hi인 as McEliece PKC and faster encryption, decryption can be maintained.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.1
• /
• pp.97-102
• /
• 2015

In this work, we study some arithmetic properties of an intermediate modular curve $X_{\Delta}(21)$.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.3
• /
• pp.443-449
• /
• 2015

In this paper we propose a method of computing the number of points on the reduction of non-hyperelliptic modular curves of genus greater than or equal to 3 over finite fields.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.1
• /
• pp.9-16
• /
• 2014

Let $\mathbb{A}=\mathbb{F}_q[T]$ be a polynomial ring over $\mathbb{F}_q$. In this paper we determine an asymptotic mean value of quadratic Dirich-let L-functions L(s, ${\chi}_{{\gamma}D}$) at the central point s=$\frac{1}{2}$, where D runs over all monic square-free polynomials of even degree in $\mathbb{A}$ and ${\gamma}$ is a generator of $\mathbb{F}_q^*$.

• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.611-621
• /
• 2005

This paper introduces an ID based authenticated two pass key agreement protocol of Smart[4] which used the Weil pairing. We propose other an ID based authenticated two pass key agreement protocol which using the Tate Pairing. We will compare protocol of Smart with this protocol.

• Journal of the Korean Mathematical Society
• /
• v.44 no.6
• /
• pp.1339-1350
• /
• 2007

Here we consider bihyperelliptic curves, i.e., double covers of hyperelliptic curves. By applying the theory of quadruple covers, among other things we prove that the bihyperelliptic locus in the moduli space of smooth curves is irreducible and unirational $g{\geq}4{\gamma}+2{\geq}10$.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.789-802
• /
• 2009

We show that computation of a sequence of Richelot isogenies from specified supersingular Jacobians of genus-2 curves over $\mathbb{F}_p$ can be executed in $\mathbb{F}_{p2}$ or $\mathbb{F}_{p4}$ . Based on this, we describe a practical algorithm for computing a Richelot isogeny sequence.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1851-1857
• /
• 2017

We study relations between two descriptions of closed orientable 3-manifolds: as branched coverings and as Heegaard splittings. An explicit relation is presented for a class of 3-manifolds which are branched cyclic coverings of connected sums of lens spaces, where the branching set is an axis of a hyperelliptic involution of a Heegaard surface.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.634-642
• /
• 2003

We give explicit formulae for composition of genus two. The previous work described in［4］only contains the formulae for common cases. In this paper, we give formulae for all cases of two divisors as input. Furthermore, the formulae contains the .form of rational functions such that related to the implementation of the Tate pairing.

• Journal of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.359-369
• /
• 2000

Let X be an integral Gorenstein projective curve with g:=pa(X) $\geq$ 3. Call $G^r_d$ (X,**) the set of all pairs (L,V) with L$\epsilon$Pic(X), deg(L) = d, V $\subseteq$ H^0$(X,L), dim(V) =r+1 and V spanning L. Assume the existence of integers d, r with 1 $\leq$ r$\leq$ d $\leq$ g-1 such that there exists an irreducible component, , of $G^r_d$(X,**) with dim($\Gamma$) $\geq$ d - 2r and such that the general L$\geq$$\Gamma$ is spanned at every point of Sing(X). Here we prove that dim( ) = d-2r and X is hyperelliptic.