Seeded Ising Model for Human Iris Templates and Secure Distributed Iris Recognition

Let be a cyclic group with generator . The discrete logarithm problem with auxiliary inputs (DLPwAI) is asked to find with auxiliary inputs , ,…, . In Eurocrypt 2006, an algorithm is proposed to solve DLPwAI in when . In this paper, we reduc...

완전동형암호는 암호화된 상태에서 모든 계산을 지원하는 이상적인 암호로서 암호학계의 성배(holy grail)로 불리며 1978년 이후 오랫동안 미해결 문제로 알려져 있었다. 2009년 Gentry에 의해 처음 만들어진 후 많은 연구를 거쳐 실용화를 앞두고 있으며 2011...

동형암호(Homomorphic Encryption)는 암호화된 상태에서 복호화없이 계산을 수행하는 암호로서 1978년 제안된 이후 오랜 연구를 거쳐 최근 실용화를 앞두고 있다. 본 강연에서는 우선 동형암호의 개념과 최근 연구결과 그리고 이의 기계학습에의 응용을 소개한...

The mean curvature flow is an evolution of hypersurfaces satisfying a geometric heat equation. The flow naturally develops singularities and changes the topology of the hypersurfaces at singularities, Therefore, one can study topological pr...

We derive a general solution of the heat equation through two modied separation methods. The obtained solution is expressed as linearly combined kernel solutions in terms of Hermite polynomials, which appears to provide an explanation of non...

Fermat´s last theorem

Fano varieties are fundamental objects in algebraic geometry. These can be considered as the unique output of the -K -minimal model program on the varieties with effective anticanonical divisors. Thus the initial models should encode the in...

영상초기에 음향문제로 소리가 들리지 않습니다. 영상 3분 17초 부터 나오기 시작합니다.

초록: SNU-abstract.pdf

The spaces admitting a rational parameterization are called rational. In particular plane conics, including circles, are rational. We will explain a few interesting applications of the rational parameterization of a circle. Also several exam...

Trisection of an angle and duplication of a cube are among the famous problems of Greeks. Although they were proven later to be impossible in general, Greeks already knew that one can trisect an angle and duplicate a cube by supplimenting se...

둘레가 같은 평면의 영역중에서 넓이가 최대인 것은 원이라는 것이 등주부등식이다. 이와 똑 같은 등주부등식이 극소곡면에 대해서도 성립할 것이라는 예상이 90년 전에 제기되었다. 이 예상의 역사와 현주소에 대해서 알아보기로 하자.

Coulomb Gases are point processes consisting of particles whose pair interaction is governed by the Coulomb potential. There is also an external potential which confines the particles to a region. Wigner introduced this toy model for the Gi...

In this talk, I will report a recent progress for the modeling of collective behaviors of complex systems, in particular ocking and synchronization. Flocking and synchro-nization are ubiquitous in our daily life, for example, ocking of birds...

I will tell two interrelated stories illustrating fruitful interactions between combinatorics and Hodge theory. The first is that of Lorentzian polynomials, based on my joint work with Petter Brändén. They link continuous convex...

본격적인 강연은 1:56 부터 시작됩니다. 강연파일은 아래 첨부를 참고하시기 바랍니다. Lorentzian polynomials.pdf

I will give a broad introduction to how to mechanize mathematics (or proof), which will be mainly about the proof assistant Coq. Mechanizing mathematics consists of (i) defining a set theory, (2) developing a tool that allows writing definit...