ご案内
(2013年6月28日追記)「PKC2013を勉強する会」は、60名以上の方にお越しいただき、盛況のうちに終えることができました。

PKC2013を勉強する会


【開催趣旨】

  暗号の研究、とりわけ公開鍵暗号の研究は、2000年代になって急速に進展しており、方
式設計のみならず、証明可能安全性、数論仮定、効率、実装、機能、応用など、さまざま
な観点からの議論が欠かせない状況になっています。
  国際暗号学会 IACR (International Association for Cryptology Research) は、暗号
の全般的な話題を扱う3つの国際会議 (CRYPTO, EUROCRYPT, ASIACRYPT) に加え、
 - PKC (International Conference on Practice and Theory of Public-Key Cryptography) 
      http://www.iacr.org/workshops/index.html#pkc
という公開鍵暗号に関連した話題にフォーカスした国際会議を主催することで、研究開発
を促進させています。

「PKC 2013 を勉強する会」は、このような公開鍵暗号研究の最先端に触れることを目的
として企画されました。講演者として、2013年3月に開催された PKC 2013 における
日本からの採録論文の著者をお招きし、研究成果を紹介頂きます。
また、招待講演以外の論文に関しては、PKC 2013 に参加した学生から、分担して
概要を紹介いただけることになっています。
さらには、PKC 2013 の General Chair である産業技術総合研究所の花岡悟一郎氏を

迎え、PKC のこれまでの歩みとこれからの未来をお話いただく予定です。
これら研究成果の理解を深め ることで、さらなる研究を促進させるとともに、
PKC 2014 への論文投稿・参加を奨励しています。
本ワークショップへのみなさまの参加をお待ちしています。


【開催情報】

・日時:2013年06月27日(木) 9時30分~18時30分 (9時10分開場)
・場所:インターネットイニシアティブ (IIJ)  本社 17階 大会議室1
        〒101-0051 東京都千代田区神田神保町1-105 神保町三井ビルディング
         http://www.iij.ad.jp/company/about/map/head-office.html
・参加費:無料
・定員:100名 (事前申込は不要ですが、満席の場合には先着順とさせていただきます)

・備考:講演は日本語または英語で行われます。当日は論文・発表スライドの配布予定はありませんので、
必要に応じて PKC 2013 予稿集を持参下さい。

主催:神保町暗号ワークシップ実行委員会

・共催:産業技術総合研究所 セキュアシステム研究部門 (RISEC)



【特別講演】

「History of PKC」 花岡悟一郎(産業技術総合研究所、PKC 2013 General Chair)

【招待講演】

Improved (Hierarchical) Inner-Product Encryption from Lattices
○Keita Xagawa (NTT, Japan)

Verifiably Encrypted Signatures with Short Keys based on the Decisional Linear Problem and Obfuscation for Encrypted VES
○Ryo Nishimaki (NTT, Japan), Keita Xagawa (NTT, Japan)

Tagged One-Time Signatures: Tight Security and Optimal Tag Size
○Masayuki Abe (NTT, Japan), Bernardo David (University of Brasilia, Brazil), Markulf Kohlweiss (Microsoft Research, USA), Ryo Nishimaki (NTT, Japan), Miyako Ohkubo (NICT, Japan)

Efficient Completely Context-Hiding Quotable and Linearly Homomorphic Signatures
○Nuttapong Attrapadung (AIST, Japan), Benoit Libert (Technicolor, France), Thomas Peters (Universite catholique de Louvain, Belgium)

Key Encapsulation Mechanisms from Extractable Hash Proof Systems, Revisited
○Takahiro Matsuda (AIST, Japan), Goichiro Hanaoka (AIST, Japan)

Chosen Ciphertext Secure Keyed-HomomorphicPublic-Key Encryption
○Keita Emura (NICT, Japan), Goichiro Hanaoka (AIST, Japan), Go Ohtake (Japan BroadcastingCorporation, Japan), Takahiro Matsuda (AIST, Japan), Shota Yamada (The University of Tokyo,Japan)

Revocable Identity-Based EncryptionRevisited: Security Model and Construction
Jae Hong Seo (NICT, Japan), ○Keita Emura (NICT, Japan)

Decentralized Attribute-Based Signatures
Tatsuaki Okamoto (NTT, Japan), ○Katsuyuki Takashima (Mitsubishi Electric, Japan)

Recovering RSA Secret Keys from Noisy Key Bits with Erasures and Errors
○Noboru Kunihiro (The University of Tokyo, Japan), Naoyuki Shinohara (NICT, Japan), Tetsuya Izu (Fujitsu Laboratories, Japan)

【プログラム(簡略版)】 (変更の可能性があります)

09時30分~09時45分  PKC 2013 開催報告:國廣 昇(東京大学)

09時45分~10時05分  論文紹介1:山川 高志(東京大学)
10時05分~10時35分  招待講演1:江村 恵太(NICT)
(休み時間 10分)

10時45分~11時05分  論文紹介2:山田 翔太(東京大学)

11時05分~11時35分  招待講演2:高島 克幸(三菱電機)

11時35分~12時05分  招待講演3:草川 恵太(NTT)

(休み時間 55分)
13時00分~13時40分  特別講演: 花岡 悟一郎(産業技術総合研究所、PKC 2013 General Chair)

13時40分~14時00分  論文紹介3:大畑 幸矢(東京大学)

14時00分~14時30分  招待講演4:國廣 昇(東京大学)

(休み時間 15分)

14時45分~15時05分  論文紹介4:坂井 祐介(電気通信大学)
15時05分~15時35分  招待講演5:江村 恵太(NICT)

15時35分~16時05分  招待講演6:阿部 正幸(NTT)

16時05分~16時35分  招待講演7:西巻 陵(NTT)

(休み時間 15分)

16時50分~17時10分  論文紹介5:矢内 直人(筑波大学)

17時10分~17時40分  招待講演8:Nuttapong Attrapadung(産業技術総合研究所)

17時40分~18時10分  招待講演9:松田 隆宏(産業技術総合研究所)

18時10分~18時20分  閉会の挨拶


【プログラム(詳細版)】 (変更の可能性があります)

※論文冒頭の数字は、PKC2013予稿集における該論文の掲載ページです。
============================================================
09時30分~09時45分  開会の挨拶&PKC 2013 開催報告:國廣 昇(東京大学)
============================================================
09時45分~10時05分  論文紹介1:山川 高志(東京大学)
----------------------------------------------------------------------------------------------------
P014: Feasibility and Infeasibility of Adaptively Secure Fully Homomorphic Encryption
Jonathan Katz (University of Maryland, USA)
Aishwarya Thiruvengadam (University of Maryland, USA)
Hong-Sheng Zhou (University of Maryland, USA)
----------------------------------------------------------------------------------------------------
P073: Efficient, Adaptively Secure, and Composable Oblivious Transfer with a Single, Global CRS
Seung Geol Choi (Columbia University)
Jonathan Katz (University of Maryland)
Hoeteck Wee (George Washington University)
Hong-Sheng Zhou (University of Maryland)
----------------------------------------------------------------------------------------------------
P292: Tighter Reductions for Forward-Secure Signature Schemes
Michel Abdalla (ENS, Paris, France)
Fabrice Ben Hamouda (ENS, Paris, France)
David Pointcheval (ENS, Paris, France)
----------------------------------------------------------------------------------------------------
P443: New Constructions and Applications of Trapdoor DDH Groups
Yannick Seurin (ANSSI, Paris, France)
============================================================
10時05分~10時35分  招待講演1:江村 恵太(NICT)
----------------------------------------------------------------------------------------------------
P032: Chosen Ciphertext Secure Keyed-Homomorphic Public-Key Encryption
Keita Emura (NICT, Japan)
Goichiro Hanaoka (AIST, Japan)
Go Ohtake (Japan Broadcasting Corporation, Japan)
Takahiro Matsuda (AIST, Japan)
Shota Yamada (The University of Tokyo, Japan)
============================================================
(休み時間 10分)
============================================================
10時45分~11時05分  論文紹介2:山田 翔太(東京大学)
----------------------------------------------------------------------------------------------------
P001: Packed Ciphertexts in LWE-based Homomorphic Encryption
Zvika Brakerski (Stanford University, USA)
Craig Gentry (IBM Research, USA)
Shai Halevi (IBM Research, USA)
----------------------------------------------------------------------------------------------------
P107: Improved Zero-knowledge Proofs of Knowledge for the ISIS Problem, and Applications
San Ling (Nanyang Technological University, Singapore)
Khoa Nguyen (Nanyang Technological University, Singapore)
Damien Stehle (ENS, Lyon, France)
Huaxiong Wang (Nanyang Technological University, Singapore)
----------------------------------------------------------------------------------------------------
P162: Attribute-Based Encryption with Fast Decryption
Susan Hohenberger (Johns Hopkins University, USA)
Brent Waters (University of Texas at Austin, USA)
----------------------------------------------------------------------------------------------------
P369: Sender Equivocable Encryption Schemes Secure against Chosen-Ciphertext Attacks Revisited
Zhengan Huang (Shanghai Jiao Tong University, China)
Shengli Liu (Shanghai Jiao Tong University, China)
Baodong Qin (Shanghai Jiao Tong University, China and Southwest University of Science and Technology, China)
============================================================
11時05分~11時35分  招待講演2:高島 克幸(三菱電機)
----------------------------------------------------------------------------------------------------
P125: Decentralized Attribute-Based Signatures
Tatsuaki Okamoto (NTT, Japan)
Katsuyuki Takashima (Mitsubishi Electric, Japan)
============================================================
11時35分~12時05分  招待講演3:草川 恵太(NTT)
----------------------------------------------------------------------------------------------------
P235: Improved (Hierarchical) Inner-Product Encryption from Lattices
Keita Xagawa (NTT, Japan)
============================================================
(休み時間 55分)
============================================================
13時00分~13時40分  特別講演:花岡 悟一郎(産業技術総合研究所, PKC 2013 General Chair)
----------------------------------------------------------------------------------------------------
History of PKC
============================================================
13時40分~14時00分  論文紹介3::大畑 幸矢(東京大学)
----------------------------------------------------------------------------------------------------
P055: Vector Commitments and their Applications
Dario Catalano (Università di Catania, Italy)
Dario Fiore (MPI-SWS, Germany)
----------------------------------------------------------------------------------------------------
P089: Cryptography Using CAPTCHA Puzzles
Abishek Kumarasubramanian (UCLA, USA)
Rafail Ostrovsky (UCLA, USA)
Omkant Pandey (The University of Texas at Austin, USA)
Akshay Wadia (UCLA, USA)
----------------------------------------------------------------------------------------------------
P198: Combined Attack on CRT-RSA -- Why Public Verification Must Not Be Public
Guillaume Barbu (Oberthur Technologies, France)
Alberto Battistello (Oberthur Technologies, France)
Guillaume Dabosville (Oberthur Technologies, France)
Christophe Giraud (Oberthur Technologies, France)
Guénaël Renault (Université Paris 6 / LIP6, France)
Soline Renner (Oberthur Technologies and Université Bordeaux 1 / IMB, France)
Rina Zeitoun (Oberthur Technologies and Université Paris 6 / LIP6, France)
============================================================
14時00分~14時30分  招待講演4:國廣 昇(東京大学)
----------------------------------------------------------------------------------------------------
P180: Recovering RSA Secret Keys from Noisy Key Bits with Erasures and Errors
Noboru Kunihiro (The University of Tokyo, Japan)
Naoyuki Shinohara (NICT, Japan)
Tetsuya Izu (Fujitsu Laboratories, Japan)
============================================================
(休み時間 15分)
============================================================
14時45分~15時05分  論文紹介4:坂井 祐介(電気通信大学)
----------------------------------------------------------------------------------------------------
P143: On the Semantic Security of Functional Encryption Schemes
Manuel Barbosa (HASLab - INESC TEC and Universidade do Minho, Portugal)
Pooya Farshim (Darmstadt University of Technology, Germany)
----------------------------------------------------------------------------------------------------
P272: Efficient UC-Secure Authenticated Key-Exchange for Algebraic Languages
Fabrice Ben Hamouda (ENS, Paris, France)
Olivier Blazy (Ruhr-Universität Bochum, Germany)
Céline Chevalier (University of Paris II, France)
David Pointcheval (ENS, Paris, France)
Damien Vergnaud (ENS, Paris, France)
----------------------------------------------------------------------------------------------------
P352: Robust Encryption, Revisited
Pooya Farshim (Darmstadt University of Technology, Germany)
Benoit Libert (Technicolor, France)
Kenneth G. Paterson (Royal Holloway, University of London, UK)
Elizabeth A. Quaglia (ENS, France)
----------------------------------------------------------------------------------------------------
P497: On the Connection between Leakage Tolerance and Adaptive Security
Jesper Buus Nielsen (Aarhus University, Denmark)
Daniele Venturi (Aarhus University, Denmark)
Angela Zottarel (Aarhus University, Denmark)
============================================================
15時05分~15時35分  招待講演5:江村 恵太(NICT)
----------------------------------------------------------------------------------------------------
P216: Revocable Identity-Based Encryption Revisited: Security Model and Construction
Jae Hong Seo (NICT, Japan)
Keita Emura (NICT, Japan)
============================================================
15時35分~16時05分  招待講演6:阿部 正幸(NTT)
----------------------------------------------------------------------------------------------------
P312: Tagged One-Time Signatures: Tight Security and Optimal Tag Size
Masayuki Abe (NTT, Japan)
Bernardo David (University of Brasilia, Brazil)
Markulf Kohlweiss (Microsoft Research, USA)
Ryo Nishimaki (NTT, Japan)
Miyako Ohkubo (NICT, Japan)
============================================================
16時05分~16時35分  招待講演7:西巻 (NTT)
----------------------------------------------------------------------------------------------------
P405: Verifiably Encrypted Signatures with Short Keys based on the Decisional Linear Problem and Obfuscation for Encrypted VES
Ryo Nishimaki (NTT, Japan)
Keita Xagawa (NTT, Japan)
============================================================
(休み時間 15分)
============================================================
16時50分~17時10分  論文紹介5:矢内 直人(筑波大学)
----------------------------------------------------------------------------------------------------
P254: Non-Interactive Key Exchange
Eduarda S.V. Freire (Royal Holloway, University of London, UK)
Dennis Hofheinz (Karlsruhe Institute of Technology, Germany)
Eike Kiltz (Ruhr-Universität Bochum, Germany)
Kenneth G. Paterson (Royal Holloway, University of London, UK)
----------------------------------------------------------------------------------------------------
P423: Sequential Aggregate Signatures with Short Public Keys: Design, Analysis and Implementation Studies
Kwangsu Lee (Columbia University, USA)
Dong Hoon Lee (Korea University, Korea)
Moti Yung (Google Inc. and Columbia University, USA)
----------------------------------------------------------------------------------------------------
P461: Rate-Limited Secure Function Evaluation
Özgür Dagdelen (Technische Universität Darmstadt, Germany)
Payman Mohassel (University of Calgary, Canada)
Daniele Venturi (Aarhus University, Denmark)
----------------------------------------------------------------------------------------------------
P479: Verifiable Elections That Scale for Free
Melissa Chase (MSR Redmond, USA)
Markulf Kohlweiss (MSR Cambridge, USA)
Anna Lysyanskaya (Brown University, USA)
Sarah Meiklejohn (UC San Diego, USA)
============================================================
17時10分~17時40分  招待講演8:Nuttapong Attrapadung(産業技術総合研究所)
----------------------------------------------------------------------------------------------------
P386: Efficient Completely Context-Hiding Quotable and Linearly Homomorphic Signatures
Nuttapong Attrapadung (AIST, Japan)
Benoit Libert (Technicolor, France)
Thomas Peters (Universite catholique de Louvain, Belgium)
============================================================
17時40分~18時10分  招待講演9:松田 隆宏(産業技術総合研究所)
----------------------------------------------------------------------------------------------------
P332: Key Encapsulation Mechanisms from Extractable Hash Proof Systems, Revisited
Takahiro Matsuda (AIST, Japan)
Goichiro Hanaoka (AIST, Japan)
============================================================
18時10分~18時20分  閉会の挨拶
============================================================

【神保町暗号ワークショップ実行委員会】

國廣 昇 (東京大学) 実行委員長

須賀 祐治 (IIJ)
花岡 悟一郎(産業技術総合研究所)
松田 隆宏(産業技術総合研究所)
伊豆 哲也 (富士通研究所)
カウンタ
4 4 6 6