Technical Program

December 12, 2009
9:20 – 10:00	Registration
10:00 – 10:10	Welcoming Remarks
Session 1 – Cryptographic Protocol and Schemes; Chair: Mark Manulis
10:10 – 10:35	Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima
	Vladimir Kolesnikov, Ahmad-Reza Sadeghi and Thomas Schneider
10:35 – 11:00	Multi Party Distributed Private Matching, Set Disjointness and Cardinality Set Intersection with Information Theoretic Security
	Sathya Narayanan G, Aishwarya T, Anugrah Agrawal, Arpita Patra, Ashish Choudhary and Pandu Rangan C
11:00 – 11:25	On Cryptographic Schemes Based on Discrete Logarithms and Factoring
	Marc Joye
Invited Talk (1); Chair: Juan A. Garay
11:25 – 12:25	A Cryptographer's-eye View of Privacy in Statistical Databases
	Adam Smith (Penn State University, US)
12:25 – 14:25	Lunch and Excursion at Kenrokuen Garden, Photo shoot
Session 2 – Cryptanalysis I; Chair: Mitsuru Matsui
14:30 – 14:55	Linear (Hull) and Algebraic Cryptanalysis of the Block Cipher PRESENT
	Chong Hee Kim and Gildas Avoine
14:55 – 15:15	Saturation Attack on the Block Cipher HIGHT
	Peng Zhang, Bing Sun and Chao Li
15:15 – 15:40	Extensions of the Cube Attack based on Low Degree Annihilators
	Aileen Zhang, Chu-Wee Lim, Khoongming Khoo, Lei Wei and Josef Pieprzyk
15:40 – 16:05	An Analysis of the Compact XSL Attack on BES and Embedded SMS4
	Jiali Choy, Huihui Yap and Khoongming Khoo
16:05 – 16:30	Coffee break
Session 3 – Wireless and Sensor Network Security; Chair: Isao Echizen
16:30 – 16:55	RFID Distance Bounding Protocol with Mixed Challenges to Prevent Relay Attacks
	Chong Hee Kim and Gildas Avoine
16:55 – 17:15	Anonymizer-Enabled Security and Privacy for RFID
	Ahmad-Reza Sadeghi, Ivan Visconti, and Christian Wachsmann
17:15 – 17:40	Blink 'Em All: Scalable, User-Friendly and Secure Initialization of Wireless Sensor Nodes
	Nitesh Saxena and Md. Borhan Uddin
17:40 – 18:05	DepenDNS: Dependable Mechanism against DNS Cache Poisoning
	Hung-Min Sun, Wen-Hsuan Chang, Shih-Ying Chang and Yue-Hsun Lin
18:30 – 21:00	Banquet at Kanazawa Excel Hotel Tokyu
December 13, 2009
Session 4 – Privacy and Anonymity; Chair: Ahmad-Reza Sadeghi
09:30 – 09:55	Privacy-Preserving Relationship Path Discovery in Social Networks
	Ghita Mezzour, Adrian Perrig, Virgil Gligor and Panos Papadimitratos
09:55 – 10:20	Verifying Anonymous Credential Systems in Applied Pi Calculus
	Xiangxi Li, Yu Zhang and Yuxin Deng
10:20 – 10:45	Transferable Anonymous Constant-Size Fair E-Cash
	Georg Fuchsbauer, David Pointcheval and Damien Vergnaud
10:45 – 11:05	Coffee break
Session 5 – Functional and Searchable Encryption; Chair: Seny Kamara
11:05 – 11:30	A Secure Channel Free Public Key Encryption with Keyword Search Scheme without Random Oracle
	Liming Fang, Willy Susilo, Chunpeng Ge and Jiandong Wan
11:30 – 11:55	Private-Key Hidden Vector Encryption with Key Privacy
	Carlo Blundo, Vincenzo Iovino and Giuseppe Persiano
Invited Talk (2) Chair: Akira Otsuka
11:55 – 12:55	Building Secure Networked Systems with Code Attestations
	Adrian Perrig (CMU, US)
12:55 – 14:15	Lunch
Session 6 – Authentication/Block Cipher Design; Chair: Vlad Kolesnikov
14:15 – 14:40	Stronger Password Authentication against Cross-Site Impersonation
	Xavier Boyen
14:40 – 15:05	An Efficient and Provably Secure Cross-Realm Client-to-Client Password-Authenticated Key Agreement Protocol with Smart Cards
	Wen-Ting Jin and Jing Xu
15:05 – 15:30	Ensuring Authentication of Digital Information using Cryptographic Accumulators
	Christophe Tartary
15:30 – 15:55	MIBS: A New Lightweight Block Cipher
	Maryam Izadi, Babak Sadeghiyan, Seyed Saeed Sadeghian and Hossein Arabnezhad Khanooki
15:55 – 16:15	Coffee break
Session 7 – Cryptanalysis II; Chair: Josef Pieprzyk
16:15 – 16:40	Distinguishing and Second-Preimage Attack on CBC-like MACs
	Keting Jia, Xiaoyun Wang, Zheng Yuan and Guangwu Xu
16:40 – 17:05	Improving the Rainbow Attack by Reusing Colours
	Martin Agren, Thomas Johansson and Martin Hell
17:05 – 17:30	Side Channel Cube Attack on PRESENT
	Lin Yang, Meiqin Wang and Siyuan Qiao
17:30 – 17:55	Algebraic Attack on the MQQ Public Key Cryptosystem
	Mohamed Saied Emam Mohamed, Fabian Werner, Jintai Ding and Johannes Buchmann
18:00 – 22:00	Dinner (Wadaya, a traditional Kanazawa cuisine)
December 14, 2009
Session 8 – Algebraic and Number-Theoretic Schemes; Chair: Jorge Nakahara
09:30 – 09:55	Construction of Rotation Symmetric Boolean Functions with Maximum Algebraic Immunity
	Shaojing Fu, Chao Li, Kanta Matsuura, and Longjiang Qu
09:55 – 10:20	Multi-core Implementation of the Tate Pairing over Supersingular Elliptic Curves
	Jean-Luc Beuchat, Emmanuel Lopez-Trejo, Luis Martinez-Ramos, Shigeo Mitsunari and Francisco Rodriguez-Henriquez
10:20 – 10:45	On the Complexity of Computing Discrete Logarithms over Algebraic Tori
	Shuji Isobe, Eisuke Koizumi, Yuji Nishigaki and Hiroki Shizuya
10:45 – 11:05	Coffee break
Session 9 – Wireless and Sensor Network Security II; Chair: Benoit Libert
11:05 – 11:30	On the Usability of Secure Association of Wireless Devices Based On Distance Bounding
	Mario Cagalj, Nitesh Saxena and Ersin Uzun
11:30 – 11:55	Short Hash-based Signatures for Wireless Sensor Networksy
	Erik Dahmen and Christoph Kraus
Invited Talk(3); Chair: Atsuko Miyaji
11:55 – 12:55	Computing on Encrypted Data
	Craig Gentry (IBM Research, US)
12:55 – 14:15	Lunch
Session 10 – Cryptographic Protocol and Schemes II; Chair: TBA
14:15 – 14:30	Fully Robust Tree-Diffie-Hellman Group Key Exchange
	Mark Manulis, Emmanuel Bresson and Timo Brecher
14:30 – 14:55	Group Signatures with Verifier-Local Revocation and Backward Unlinkability in the Standard Modelm
	Benoit Libert and Damien Vergnaude
14:55 – 15:30	Relinkable Ring Signature
	Koutarou Suzuki, Fumitaka Hoshino and Tetsutaro Kobayashi
15:30 – 15:40	Closing