\documentclass[12pt,a4paper]{article}
\begin{document}
\CJKencfamily{Bg5}{kai}
\CJKnospace
\begin{center} 
  {\LARGE \mbox{行政院國家科學委員會專題研究計畫\ 期中報告 (1/3)}} \\[1ex]
  {\Large \bf 圖形介面卡(或其他高度平行結構)用於破密攻擊}\\
  {\Large \bf Cryptanalysis on Graphic Cards\\
    or other Highly Parallel Architectures}
  \\[3ex]
\end{center}
\begin{description}
\larger
\item[計畫類別:] 一般研究計畫 (國際合作計畫, 優秀年輕學者研究計劃)
\item[計畫編號:] \texttt{100-2628-E-001-004-MY3}~~~~
\item[執行期限:] 2012 年\ 8 月\ 1 日至\ 2013 年\ 7 月\ 31 日
\item[報告種類:] 精簡報告
\item[處理方式:] 二年後可公開查詢   
\item[計畫主持人:] 楊柏因
\item[執行機構:] 中央研究院資訊科學研究所
\item[報告日期:] 中華民國101年5月31日
\item[附件:] 參加研討會報告與論文
\end{description}

\section*{中文摘要}
在本計畫中我們進行平行結構上做破密攻擊, 這是我們的專長之一, 之前也曾針
對離散對數和RSA的攻擊獲得優異的結果, 因而在密碼學界已小有名氣。本項國際
合作計畫預計延續此一研究, 並將目標延伸到後量子密碼學的破密攻擊。後量子
密碼學的破密攻擊是我們和國際合作伙伴：德國的Buchmann院士所領導的CASED安
全技術研究中心(設於Darmstadt科技大學)研究團隊的共同興趣。後量子密碼學探
討的是『量子電腦的問世將不會給其致命打擊的的公鑰密碼學』。後量子密碼系
統的問題之一是：我們對它們的安全性估計比較沒有把握。我們相信後量子密碼
系統的安全性並不會因為量子電腦的問世而減低, 但是會不會用正常(不用量
子)的電腦就可以破了呢？我們就是企圖回答這個問題。

我們主要的工作證明使用平行架構確實可以加速攻擊多變量系統。我們建造一個
高度平行的XL 攻擊以解多變量非線性方程組, 比之前最受好評的 F4/F5 演算法
更快, 本演算法在有高速連結的多核心或多機器群組可以達到相當大的規模, 並
將捐給自由軟體 SAGE。

我們在多變量密碼學的重要攻擊手段：解多變元高次方程組上的研究成功的登上
了最大的密碼會議之一的 CHES 2012, 算是差可告慰。 同時我們還有一些其他的結果。
\\[2ex]
\textbf{關鍵字:} 圖形介面卡, 平行化, 破密攻擊, 後量子密碼學\\[5ex]

\subsection*{Abstract}
In this project we conducted cryptanalytic studies on parallel
architectures.  This is our specialty. We also made attacks on
discrete logarithms and RSA earlier and made a name in the crypto
community.  This is a continuation of the study extending to the
cryptanalysis of post-quantum public-key cryptography, which is a
common research interest for us and for our long-term research
partners, the CASED (Center for Advanced Security rEsearch, Darmstadt)
team at TU Darmstadt headed by Academician Johannes Buchmann (of the
National Academy of Sciences of Germany).

Post-Quantum Cryptography studies public-key cryptographic schemes
which will not be dealt a fatal blow when large quantum computers
appear.  However, no one knows whether any of these can be made
practically safe under conventional attacks.  We seek to address this
question.

In our major result we showed that multivariate cryptography can be
assisted by highly parallel structures. We build a highly parallel XL
solver which can be better than the best F4 and F5 algorithms
previously considered champions.  The program scales well to many
cores or machines with high speed interconnect, and will be donated to
open source project SAGE.

Our recent works were selected to CHES 2012, which is
one of the biggest and most important conferences in cryptography, and
something to be proud of.  We have also some more minor results.\medskip


\noindent \textbf{Keywords:}GPU, parallelization, cryptanalysis, 
post-quantum cryptography
\tableofcontents



\end{document}