【プログラム(詳細版)】 (変更の可能性があります)
※論文冒頭の数字は、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分 閉会の挨拶
============================================================