Technical Program

Wednesday, May 16, 2012

10:30Registration and Coffee Break

Invited Talk I
[Chair: Tanja Lange]

11:30 Hardware Architectures for the Cryptographic Tate Pairing
Jean-Luc Beuchat (University of Tsukuba, Japan)


12:30Lunch Break

Session I: Algorithms for Pairing Computation
[Chair: Michael Naehrig]

14:00On Efficient Pairings on Elliptic Curves over Extension Fields
Xusheng Zhang, Kunpeng Wang, and Dongdai Lin
(State Key Laboratory of Information Security, Chinese Academy of Sciences, Beijing, China)
Factor-4 and 6 (De)compression for Values of Pairings using Trace Maps
Tomoko Yonemura, Taichi Isogai, Hirofumi Muratani, and Yoshikazu Hanatani
(Toshiba Corporation, Japan)
An Improved Twisted Ate Pairing Over Brezing-Weng Elliptic Curves with k=18
Shan Chen, Kunpeng Wang, and Dongdai Lin
(State Key Laboratory of Information Security, China)


15:30Coffee Break

Session II: Security Models for Encryption
[Chair: Benoit Libert]

16:00Controlled Joining on Encrypted Relational Database using Pairing
Jun Furukawa and Toshiyuki Isshiki
(NEC Corporation, Japan)
Stronger Security Model for Public Key Encryption with Equality Test
Yao Lu, Rui Zhang, and Dongdai Lin
(State Key Laboratory Of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, China)

Invited Session: Hot Topics in Pairings
[Chair: Michel Abdalla]

17:00Revocable group signatures from the NNL subset cover framework
Benoit Libert (Université Catholique de Louvain, Belgium)
Adaptively Attribute-Hiding (Hierarchical) Inner Product Encryption
Katsuyuki Takashima (Mitsubishi Electric Corporation, Japan)


19:00Reception in Brewery Päffgen

Thursday, May 17, 2012

Invited Talk II
[Chair: Paulo Barreto]

09:30 Discrete Logarithm in Pairing Groups
Jung-Hee Cheon (Seoul National University, Korea)


10:30Coffee Break

Session III: Functional Encryption
[Chair: Sylvain Duquesne]

11:00Forward-Secure Hierarchical Predicate Encryption
Juan Gonzalez Nieto, Mark Manulis, and Dongdong Sun
(Queensland University of Technology, Australia and University of Surrey, UK)
Fully Secure Hidden Vector Encryption
Angelo De Caro, Vincenzo Iovino, and Giuseppe Persiano
(Université  di Salerno, Italy)
Compact IBE and Signatures via Asymmetric Pairings Jie Chen, Hede Huang, Hoon Wei Lim, San Ling, Huaxiong Wang, and Hoeteck Wee
(Nanyang Technological University, Singapore and George Washington University, USA)


12:30Lunch Break

Session IV: Implementations in Hardware and Software
[Chair: Peter Schwabe]

14:00Core Based Architecture to Speed up Optimal Ate Pairing on FPGA Platform
Santosh Ghosh, Ingrid Verbauwhede, and Dipanwita Roychowdhury
(COSIC/ESAT, K.U. Leuven, Belgium)
Faster Pairing Coprocessor Architecture
Gavin Xiaoxu Yao, Junfeng Fan, Ray C.C. Cheung, and Ingrid Verbauwhede
(EE, City University of Hong Kong, Hong Kong and ESAT/SCD-COSIC, Katholieke Universiteit Leuven, Belgium)
Implementing Pairings at the 192-Bit Security Level
D. Aranha, L. Fuentes-Castaneda, E. Knapp, A. Menezes, and F. Rodriguez-Henriquez
(University of Brasilia, Brasil and CINVESTAV-IPN, Mexico and University of Waterloo, Canada)


15:30Coffee Break

Industry Track
[Chair: Mike Scott]

16:00Improved Broadcast Encryption Scheme with Constant Ciphertext
Renaud Dubois, Aurore Guillevic, and Marine Sengelin Le Breton
(Thales Communications and Security and Ecole Normale Superieure de Paris, France)
Affine Pairings on ARM
Tolga Acar, Kristin Lauter, Michael Naehrig, and Daniel Shumow
(Microsoft Research, USA and Technische Universiteit Eindhoven, Netherlands)
On the Implementation of a Pairing-based Cryptographic Protocol in a Constrained Device
Sébastien Canard, Nicolas Desmoulinsi, Julien Devigne, and Jacques Traoré
(Orange Labs, France)

Invited Talk III
[Chair: Tatsuaki Okamoto]

17:00 New Trapdoor Projection Maps for Composite-Order Bilinear Groups
Hovav Shacham (University of California, San Diego, USA)


19:30Conference Dinner in Ludwig im Museum

Friday, May 18, 2012

Invited Talk IV
[Chair: Katsuyuki Takashima]

09:30 Structure-preserving cryptography
Dennis Hofheinz (Karlsruher Institut für Technologie, Germany)


10:30Coffee Break

Session V: Properties of Pairings
[Chair: Jung-Hee Cheon]

11:00The Tate-Lichtenbaum Pairing on a Hyperelliptic Curve via Hyperelliptic Nets
Yukihiro Uchida and Shigenori Uchiyama
(Department of Mathematics and Information Sciences, Tokyo Metropolitan University, Japan)
Genus 2 Hyperelliptic Curve Families with Explicit Jacobian Order Evaluation and Pairing-Friendly Constructions
Aurore Guillevic and Damien Vergnaud
(Thales Communications Security S.A. and Ecole Normale Superieure de Paris, France)
Tate Pairing Computation on Jacobi's Elliptic Curves
Emmanuel Fouotsa and Sylvain Duquesne
(Université de Yaoundé, Cameroon and Université de Rennes 1, France)


12:30Lunch Break

Session VI: Signature Schemes and Applications
[Chair: Dennis Hofheinz]

14:00Group Signatures with Message-Dependent Opening
Yusuke Sakai, Keita Emura, Goichiro Hanaoka, Yutaka Kawai, Takahiro Matsuda, and Kazumasa Omote
(University Electro-Communications, JAIST, AIST, and University of Tokyo, Japan)
Short Pairing-Efficient Threshold-Attribute-Based Signature
Martin Gagné and Shivaramakrisnan Narayan and Reihaneh Safavi-Naini
(Université Joseph Fourier, France and University of Calgary, Canada)
Divisible E-Cash in the Standard Model
Malika Izabachene and Benoit Libert
(ENS Cachan, France, and Universite catholique de Louvain, Belgium)


15:30Coffee Break