Lecture Notes in Computer Science 7118

Transcription

1 Lecture Notes in Computer Science 7118 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany

2 Ali Miri Serge Vaudenay (Eds.) Selected Areas in Cryptography 18th International Workshop, SAC 2011 Toronto, ON, Canada, August 11-12, 2011 Revised Selected Papers 13

3 Volume Editors Ali Miri Ryerson University Department of Computer Science Toronto, ON, Canada Serge Vaudenay Ecole Polytechnique Fédérale de Lausanne Lausanne, Switzerland ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): E.3, D.4.6, K.6.5, F.2.1-2, C.2, H.4.3 LNCS Sublibrary: SL 4 Security and Cryptology Springer-Verlag Berlin Heidelberg 2012 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (

4 Preface The 18th International Conference on Selected Areas in Cryptography (SAC 2011) was held August 11 12, 2011 in Toronto, Canada. SAC is an annual event held in co-operation with the International Association for Cryptologic Research (IACR). There were 72 participants from 18 countries.previouseventsinthisserieswere held at Queen s University (1994, 1996, 1998, 1999, and 2005), Carleton University (1995, 1997, and 2003), Fields Institute (2001), Memorial University of Newfoundland (2002), Concordia University (2006), University of Ottawa (2007), Mount Allison University (2008), University of Calgary (2009), and University of Waterloo (2000, 2004, and 2010). The objective of the conference is to present cutting-edge research in the designated areas of cryptography and to facilitate future research through an informal and friendly workshop setting. The SAC conference series has established itself as a premier international forum for information, discussion and exchange of ideas in cryptographic research. The themes for SAC 2011 were: Design and analysis of symmetric key primitives and cryptosystems, including block and stream ciphers, hash functions, and MAC algorithms Efficient implementation of symmetric and public key algorithms Mathematical and algorithmic aspects of applied cryptology Cryptographic tools and methods for securing clouds The conference received 92 submissions which went through a careful doublyanonymous review process aided by 40 Program Committee members and 68 external sub-reviewers. Each paper was reviewed by at least three reviewers, and submissions that were co-authored by a member of the Program Committee received two or more additional reviews. Our invited talks were given by: Kristin Lauter (Microsoft Research) Cryptographic Techniques for Securing the Cloud Alfred Menezes (University of Waterloo) Another Look at Tightness This volume represents the revised version of the 23 accepted contributed papers which were presented at the conference along with two invited papers. The submission and review process was done using the ichair Web-based software system developed by Thomas Baignères and Matthieu Finiasz.

5 VI Preface We would like to thank the authors of all submitted papers, whether their submission was published or could not be accommodated. Moreover, Program Committee members and external sub-reviewers put a tremendous amount of work into the review process and we would like to thank them for their time and effort. We would also like to acknowledge and thank the work done by the conference Publicity and Publication Chair, Atefeh Mashatan. August 2011 Ali Miri Serge Vaudenay

6 SAC 2011 The 18th International Conference on Selected Areas in Cryptography Ryerson University Toronto, Ontario, Canada August 11-12, 2011 Organized by Department of Computer Science, Ryerson University Ecole Polytechnique Fédérale de Lausanne (EPFL) In Cooperation with The International Association for Cryptologic Research (IACR) SAC Organizing Board Carlisle Adams (Chair) Roberto Avanzi Orr Dunkelman Liam Keliher Doug Stinson Nicolas Theriault Mike Jacobson Vincent Rijmen Amr Youssef University of Ottawa, Canada Qualcomm CDMA Technologies GmbH, Germany Weizmann Institute of Science, Israel Mount Allison University, Canada University of Waterloo, Canada Universidad del Bío-Bío, Chile University of Calgary, Canada Graz University of Technology, Austria Concordia University, Canada SAC 2011 Organizing Committee Co-chairs Ali Miri Serge Vaudenay Ryerson University, Canada EPFL, Switzerland Publicity and Publication Chair Atefeh Mashatan EPFL, Switzerland

7 VIII SAC 2011 Program Committee Carlisle Adams Mikhail J. Atallah Thomas Baignères Feng Bao Lejla Batina Alex Biryukov Ian Blake Anne Canteaut Christophe Doche Orr Dunkelman Pierre-Alain Fouque Steven Galbraith Catherine H. Gebotys Guang Gong Anwar Hasan Howard Heys Thomas Johansson Antoine Joux Pascal Junod Seny Kamara Liam Keliher Stefan Lucks Atefeh Mashatan Barbara Masucci Mitsuru Matsui Kanta Matsuura Willi Meier Kaisa Nyberg Thomas Peyrin Vincent Rijmen Greg Rose Rei Safavi-Naini Taizo Shirai Doug Stinson Willy Susilo Nicolas Thériault Ruizhong Wei Michael Wiener Adam Young Amr Youssef University of Ottawa, Canada Purdue University, USA CryptoExperts, France Institute for Infocomm Research, Singapore Radboud University Nijmegen, The Netherlands and K.U. Leuven, Belgium University of Luxembourg, Luxembourg University of British Columbia, Canada INRIA, France Macquarie University, Australia Weizmann Institute of Science, Israel Ecole Normale Supérieure, France University of Auckland, New Zealand University of Waterloo, Canada University of Waterloo, Canada University of Waterloo, Canada Memorial University, Canada Lund University, Sweden University of Versailles, France HEIG-VD, Switzerland Microsoft Research, USA Mount Allison University, Canada Bauhaus Universität Weimar, Germany EPFL, Switzerland Università disalerno,italy Mitsubishi Electric Corporation, Japan University of Tokyo, Japan FHNW, Switzerland Aalto University, Finland NTU, Singapore K.U. Leuven and TU Graz, Belgium, Austria Qualcomm, Australia University of Calgary, Canada Sony Corporation, Japan University of Waterloo, Canada University of Wollongong, Australia Universidad del Bío-Bío, Chile Lakehead University, Canada Irdeto, Canada MITRE Corp, USA Concordia University, Canada

8 SAC 2011 IX External Reviewers Rodrigo Abarzúa Zahra Aghazadeh Hadi Ahmadi Kazumaro Aoki Roberto Avanzi Masoud Barati Aslı Bay Murat Cenk Sherman S.M. Chow Stelvio Cimato Paolo D Arco Vanesa Daza Giancarlo De Maio Junfeng Fan Xinxin Fan Anna Lisa Ferrara Matthieu Finiasz Ewan Fleischmann Christian Forler Clemente Galdi Benoît Gérard Michael Gorski Robert Granger Matthew Green Johann Groszschaedl Jian Guo Jason Hinek Man Ho Au Honggang Hu Xinyi Huang Sebastiaan Indesteege Takanori Isobe Kimmo Järvinen Jeremy Jean Marcio Juliato Aleksandar Kircanski Simon Knellwolf Miroslav Knezevic Gaëtan Leurent Julio López Alexander May Carlos Moreno Shiho Moriai James Muir Ashkan Namin Maria Naya-Plasencia Christophe Negre Kenji Ohkuma Roger Oyono Pascal Paillier Chris Peikert Mohammad Reza Reyhanitabar Arnab Roy Sumanta Sarkar Pouyan Sepehrdad Kyoji Shibutani Claudio Soriente Martijn Stam Petr Sušil Tomoyasu Suzaki Ashraful Tuhin Jalaj Upadhyay Yongge Wang Gaven Watson Ralf-Philipp Weinmann Yanjiang Yang Jingwei Zhang Chang-An Zhao Sponsoring Institutions Faculty of Engineering, Architecture, and Science, Ryerson University Department of Computer Science, Ryerson University Fields Institute Certicom

9 Table of Contents Selected Areas in Cryptography 2011 Cryptanalysis of Hash Functions Boomerang Distinguishers on MD4-Family First Practical Results on Full 5-Pass HAVAL... 1 Yu Sasaki Improved Analysis of ECHO Jérémy Jean, María Naya-Plasencia, and Martin Schläffer Provable Chosen-Target-Forced-Midfix Preimage Resistance Elena Andreeva and Bart Mennink Security in Clouds On CCA-Secure Somewhat Homomorphic Encryption Jake Loftus, Alexander May, Nigel P. Smart, and Frederik Vercauteren Efficient Schemes for Anonymous Yet Authorized and Bounded Use of Cloud Resources Daniel Slamanig Invited Paper I Group Law Computations on Jacobians of Hyperelliptic Curves Craig Costello and Kristin Lauter Bits and Randomness Cryptographic Analysis of All 4 4-Bit S-Boxes Markku-Juhani O. Saarinen The Cryptographic Power of Random Selection Matthias Krause and Matthias Hamann Proof of Empirical RC4 Biases and New Key Correlations Sourav Sen Gupta, Subhamoy Maitra, Goutam Paul, and Santanu Sarkar

10 XII Table of Contents Cryptanalysis of Ciphers I Combined Differential and Linear Cryptanalysis of Reduced-Round PRINTcipher Ferhat Karakoç, Hüseyin Demirci, and A. Emre Harmancı Practical Attack on the Full MMB Block Cipher Keting Jia, Jiazhe Chen, Meiqin Wang, and Xiaoyun Wang Conditional Differential Cryptanalysis of Trivium and KATAN Simon Knellwolf, Willi Meier, and María Naya-Plasencia Cryptanalysis of Ciphers II Some Instant- and Practical-Time Related-Key Attacks on KTANTAN32/48/ Martin Ågren Analysis of the Initial and Modified Versions of the Candidate 3GPP Integrity Algorithm 128-EIA Thomas Fuhr, Henri Gilbert, Jean-René Reinhard, and Marion Videau New Insights on Impossible Differential Cryptanalysis Charles Bouillaguet, Orr Dunkelman, Pierre-Alain Fouque, and Gaëtan Leurent Cryptanalysis of Public-Key Cryptography A Unified Framework for Small Secret Exponent Attack on RSA Noboru Kunihiro, Naoyuki Shinohara, and Tetsuya Izu Cipher Implementation Very Compact Hardware Implementations of the Blockcipher CLEFIA Toru Akishita and Harunaga Hiwatari Invited Paper II Another Look at Tightness Sanjit Chatterjee, Alfred Menezes, and Palash Sarkar

11 Table of Contents XIII New Designs Duplexing the Sponge: Single-Pass Authenticated Encryption and Other Applications Guido Bertoni, Joan Daemen, Michaël Peeters, and Gilles Van Assche Blockcipher-Based Double-Length Hash Functions for Pseudorandom Oracles Yusuke Naito ASC-1: An Authenticated Encryption Stream Cipher Goce Jakimoski and Samant Khajuria Mathematical Aspects of Applied Cryptography On Various Families of Twisted Jacobi Quartics Jérôme Plût Improved Three-Way Split Formulas for Binary Polynomial Multiplication Murat Cenk, Christophe Negre, and M. Anwar Hasan Sublinear Scalar Multiplication on Hyperelliptic Koblitz Curves Hugo Labrande and Michael J. Jacobson Jr. Faster Hashing to G Laura Fuentes-Castañeda, Edward Knapp, and Francisco Rodríguez-Henríquez Author Index