Page 40 - profile2014.indd

計算理論和演算法研究在探討計算問題本
身的極限和效用，為電腦科學之基石。

計算理論與演算法實驗室

Lab

研究人員
楊柏因 Bo-Yin Yang 機器學習理論：在日常生活中，我們時常必須不斷在未知的環境中作決定，並
Research Fellow 為此付出代價。這可被抽象化為所謂的線上決策問題，而我們希望能為此問題
王大為 Da-Wei Wang 設計出好的線上演算法，可以從過去的歷史中學習，而能在未來做出好的決定。
Research Fellow 對此問題，我們刻畫出一些自然而常見的環境條件，並在這些條件下設計出更
呂及人 Chi-Jen Lu 有效率的線上演算法。此外，我們也為此問題在機器學習、賽局理論、複雜度
Research Fellow 理論等研究領域中找到新的應用。
李德財 Der-Tsai Lee
Distinguished Research Fellow 一、密碼學：
高明達 Ming-Tat Ko
Research Fellow 理論密碼學：理論密碼學致力於了解各種密碼學任務的可行性與極限。最近在
徐讚昇 Tsan-sheng Hsu 密碼學有非常快速的進展，實現了許多甚至是過去無法想像的密碼學元件。我
Research Fellow 們參與了這項發展，並提出創新的程式混淆定義與功能加密系統的構造。另外，
廖純中 Churn-Jung Liau 基於在網路上爆炸性成長的海量資料我們指出大規模多方安全計算的新需求，
Research Fellow 並提出新的構造滿足這些新的需求。我們也對以密碼學的角度來研究資訊領域
劉進興 Jing-Sin Liu 以外的課題感興趣, 希望能引進新的視角去研究這些課題。
Associate Research Fellow
鐘楷閔 Kai-Min Chung 量子密碼學：量子密碼學的主要目的之一是利用量子力學來實現古典框架下無
Assistant Research Fellow 法達成的密碼學任務。我們對於所謂的【設備無關量子密碼學】架構特別感興
趣。此架構假設唯一的量子功能是來自於不可信的，甚至可能是敵人所準備的
量子設備。此架構可說是最強的安全目標，因其對量子操作的信任假設最低。
我們在這個方向上探索可被達成的任務，例如設備無關量子密鑰分配(device-
independent quantum key distribution; DI-QKD)、物理系統亂 數抽取器
(physical randomness extractors; PRE)。

特殊硬體密碼學：包括微控制器晶片 (microcontroller, 即智慧卡的主要組件)，
可即時重新程式化的電路陣列 (Field Programmable Gate Array, FPGA) 上面的
密碼學演算法。利用計算機的顯示晶片來做橢圓曲線的計算，可在破密上獲得
破紀錄的速度。我們也做出低電流低耗能可以在 RFID 上執行的數位簽章演算

40 研究群 Research Laboratories