CIS 2019 預告 | 格密碼專家 Yilei Chen 確認入營授課

由 熱鏈中的人 於 12 月 14, 2019

由 PlatON 承辦的第二屆密碼創新冬令營——CIS 2019 將在上海盛大啓幕。這是 PlatON 繼 CIS 2018 後承辦的第二次冬令營活動，特邀全球密碼學頂尖學者入營，並新設“青年學者論壇”，對基於格（Lattice）的密碼學展開深入探討。

“圖靈獎”獲得者、中國科學院院士、清華大學交叉信息研究院院長姚期智先生出任本次冬令營的榮譽主席，中國科學院院士、清華大學王小云教授與青年長江學者、上海交通大學鬱昱教授任聯合主席，PlatON 創始人兼 CEO 孫立林先生任執行主席。

本次 CIS 2019 還邀請到 Elette Boyle (IDC Herzliya)、Yilei Chen (Visa Research)、Vadim Lyubashevsky (IBM Research)、Phong Q. Nguyen (INRIA)、Chris Peikert (University of Michigan)、Ron Steinfeld (Monash University) 和 Hoeteck Wee (École Normale Supérieure) 共 7 位全球頂尖的格密碼研究領域的專家入營授課，分享密碼學領域前沿觀點。

CIS 2019 授課專家

Yilei Chen （陳一鐳博士）

陳一鐳博士於 2018 年加入 Visa 研究院並擔任安全研究員一職。同年 3 月，他在波士頓大學獲得博士學位，導師爲 Ran Canetti 教授和 Leonid Reyzin 教授。陳一鐳博士的研究方向爲密碼學以及密碼學協議分析，並在格密碼、多線性映射和程序混淆等細分領域有獨特見解和突出成果。在攻讀博士期間，他曾在特拉維夫大學、奧地利科技學院、IBM 以及巴黎高等師範學校等多所著名高校和企業進行訪學。

陳一鐳博士與 Ran Canettie 教授的合作論文“Constraint-hiding Constrained PRFs for NC1 from LWE”發表於 Eurocrypt’17。該論文主要是關於約束僞隨機函數的研究。此基礎上，他提出了一種新的功能，即約束祕鑰 (constrained key) 隱藏了關於約束的具體描述。這種新的密碼學原語可適配和應用在可檢索加密、可檢測水印等技術上。當前滿足約束隱藏的約束僞隨機函數構造，均依賴於很強的困難假設。爲了尋找弱困難假設以及獲得更好的安全性，本論文在學習容錯假設 (LWE) 基礎上，利用多線性映射和基於格的僞隨機函數，構造出了新的滿足約束隱藏的約束隨機函數。陳一鐳博士的另一個知名成果是發表在 Eurocrypt’18 的論文“Fiat-Shamir and Correlation Intractability from Strong KDM Encryption”。該論文針對相關性難解 (correlaton intractable, “CI”) 的哈希函數進行了深入研究。論文采用帶有自然結構特性的對稱加密算法，提出了一種簡潔的相關性難解的哈希函數構造，滿足任意稀疏的相關性。該 CI 哈希函數方案可以保證即使在與密鑰無關的消息設定 (key-independent messages) 下，任意的多項式時間的攻擊算法只能以可忽略的概率完成密鑰恢復攻擊。他的合作論文“Approximate Trapdoors for Lattices and Smaller Hash-and-Sign Signatures”發表於 Asiacrypt’19 上。該論文針對格上的門限函數進行了深入研究，並提出了一種更寬鬆的定義，稱之爲近似門限 (approximate trapdoor), 將 Ajtai 的單向函數從“精確”的定義要求轉換成“近似”的定義要求。爲此，構造了一種近似門限方案的組件，在 Ring-LWE 和 Ring-SIS 的困難假設和隨機預言機模型下，可以結合當前的各類優化技術，對”hash-and-sign”模式下的簽名方案的性能提升巨大。陳一鐳博士近期的另一個重要成果是發表於 Crypto’19 的論文“Continuous Space-Bounded Non-malleable Codes from Stronger Proofs-of-Space”。該論文表明，非交互式空間證明 (NIPoS) 是一種證明系統，證明者可以向驗證者證明他有足夠多的內存 / 空間，並且證明過程是非交互式的且必須儘可能地高效。該工作首先構造了非延展性編碼，可以抵抗任意多項式次數的帶有內存 / 空間限制的篡改攻擊。藉助上述的非延展性編碼技術強大的抗篡改能力，陳一鐳博士引入了一種更強的非交互式空間證明定義，稱爲證明可抽取的非交互式空間證明 (Proof extractable NIPoS)，並且提出了兩種方法來實現這個新的證明系統。

更多關於 CIS 2019 精彩內容，

敬請關注公衆號後續更新！