Progress in Cryptology - AFRICACRYPT 2010: Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings ... Computer Science / Security and Cryptology)

447 Pages·2010·4.06 MB·English

by  Daniel J. Bernstein

Lecture Notes in Computer Science 6055
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
MadhuSudan
MicrosoftResearch,Cambridge,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
Max-PlanckInstituteofComputerScience,Saarbruecken,Germany
Daniel J. Bernstein Tanja Lange (Eds.)
Progress in Cryptology –
AFRICACRYPT 2010
ThirdInternationalConferenceonCryptologyinAfrica
Stellenbosch, SouthAfrica, May 3-6, 2010
Proceedings
1 3
VolumeEditors
DanielJ.Bernstein
UniversityofIllinoisatChicago
DepartmentofComputerScience
Chicago,IL60607–7045,USA
E-mail:[email protected]
TanjaLange
EindhovenUniversityofTechnology
DepartmentofMathematicsandComputerScience
DenDolech2,5612AZEindhoven,TheNetherlands
E-mail:[email protected]
LibraryofCongressControlNumber:2010924884
CRSubjectClassification(1998):E.3,C.2,K.6.5,D.4.6,J.1,H.4
LNCSSublibrary:SL4–SecurityandCryptology
ISSN 0302-9743
ISBN-10 3-642-12677-4SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-12677-2SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2010
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper 06/3180
Preface
Africacrypt 2010, the Third International Conference on Cryptology in Africa,
took place May 3–6, 2010 in Stellenbosch, South Africa. The General Chairs,
RiaalDominguesfromthe SouthAfricanCommunicationsandSecurityAgency
and Christine Swart from the University of Cape Town, were always a pleasure
to work with and did an outstanding job with the local arrangements. We are
deeplythankfulthattheyagreedtohostAfricacrypt2010withonlyfourmonths
notice after unanticipated events forced a change of location.
The Africacrypt 2010 submission deadline was split into two. Authors sub-
mittingpaperswererequiredtoregistertitlesandabstractsbythefirstdeadline,
January 5. A total of 121 submissions had been received by this deadline, al-
though some were withdrawn before review. Authors were allowed to continue
working on their papers until the second deadline, January 10.
Submissions were evaluated in three phases over a period of nearly two
months. The selection phase started on January 5: Program Committee mem-
bers began evaluating abstracts and volunteering to handle various papers. We
assigned a team of people to each paper. The review phase started on January
11: Program Committee members were given access to the full papers and be-
gan in-depth reviews of 82 submissions. Most of the reviews were completed by
February7,thebeginningofthediscussionphase.ProgramCommitteemembers
were given access to other reviews and built consensus in their evaluations of
thesubmissions.Intheendthe discussionsincluded285fullreportsand203ad-
ditional comments. The submissions, reviews, and subsequent discussions were
handled smoothly by iChair.
On February 21 we sent out 2 notifications of conditional acceptance and 24
notifications of unconditional acceptance. The next day we sent out comments
from the reviewers. One paper eventually met its acceptance conditions; the
final programcontained 25 contributed papers and 3 invited talks. The authors
prepared final versions of the 25 contributed papers by February 28.
It is our pleasure to thank the other 53 Program Committee members for
lendingtheirexpertisetoAfricacrypt2010andforputtingtremendouseffortinto
detailedreviewsanddiscussions.We wouldalsoliketothankThomasBaign`eres
and Matthieu Finiasz for writing the iChair software; Springer for agreeing to
an accelerated schedule for printing the proceedings; 70 external referees who
reviewed individual papers upon request from the Program Committee; and,
most importantly, all authors for submitting interesting new researchpapers to
Africacrypt 2010.
May 2010 Daniel J. Bernstein and Tanja Lange
ProgramChairs, Africacrypt 2010
Organization
General Chairs
Riaal Domingues SouthAfricanCommunicationsandSecurityAgency
Christine Swart University of Cape Town, South Africa
Program Chairs
Daniel J. Bernstein University of Illinois at Chicago, USA
Tanja Lange Technische Universiteit Eindhoven,
The Netherlands
Program Committee
Michel Abdalla Ecole Normale Superieure, France
Roberto Avanzi Ruhr-University Bochum, Germany
Hatem M. Bahig Ain Shams University, Egypt
Paulo S.L.M. Barreto University of Sa˜o Paulo, Brazil
Lejla Batina Radboud University Nijmegen,
TheNetherlandsandKatholiekeUniversiteit
Leuven, Belgium
Daniel J. Bernstein University of Illinois at Chicago, USA
Ashraf M. Bhery Ain Shams University, Egypt
Peter Birkner Universit´e de Versailles Saint-Quentin-en-
Yvelines, France
Colin Boyd QueenslandUniversityofTechnology,Australia
Xavier Boyen University of Liege, Belgium
Johannes Buchmann TU Darmstadt, Germany
Christophe De Canni`ere Katholieke Universiteit Leuven, Belgium
Chen-Mou Cheng National Taiwan University, Taiwan
Carlos Cid Royal Holloway, University of London, UK
Alexander W. Dent Royal Holloway, University of London, UK
Yvo Desmedt University College London, UK and RCIS,
AIST, Japan
Christophe Doche Macquarie University, Australia
Orr Dunkelman Weizmann Institute, Israel
Matthieu Finiasz ENSTA, France
Shay Gueron University of Haifa and Intel Corporation,
Israel
Tim Gu¨neysu Ruhr-University Bochum, Germany
Helena Handschuh Katholieke Universiteit Leuven, Belgium and
Intrinsic-ID, USA
VIII Organization
Antoine Joux DGA and University of Versailles
Saint-Quentin-en-Yvelines, France
Marc Joye Technicolor, France
Tanja Lange Technische Universiteit Eindhoven,
The Netherlands
Keith Martin Royal Holloway, University of London, UK
Mitsuru Matsui Mitsubishi Electric, Japan
David McGrew Cisco, USA
Alfred Menezes University of Waterloo, Canada
Michele Mosca University of Waterloo, Canada
Michael Naehrig Microsoft Research, USA
Abderrahmane Nitaj Universit´e de Caen, France
Elisabeth Oswald University of Bristol, UK
Christof Paar Ruhr-University Bochum, Germany
Daniel Page University of Bristol, UK
Josef Pieprzyk Macquarie University, Australia
Bart Preneel Katholieke Universiteit Leuven, Belgium
Christian Rechberger Katholieke Universiteit Leuven, Belgium
Magdy Saeb Arab Academy for Science, Technology &
Maritime Transport, Egypt
Palash Sarkar Indian Statistical Institute, India
Berry Schoenmakers Technische Universiteit Eindhoven,
The Netherlands
Michael Scott Dublin City University, Ireland
Nicolas Sendrier INRIA, France
Francesco Sica University of Calgary, Canada
Martijn Stam EPFL, Switzerland
Franc¸ois-Xavier Standaert Universite catholique de Louvain, Belgium
Damien Stehl´e CNRS, France; University of Sydney and
Macquarie University, Australia
Christine Swart University of Cape Town, South Africa
Mike Szydlo Akamai, USA
Brent Waters University of Texas at Austin, USA
Michael J. Wiener Cryptographic Clarity, Canada
Bo-Yin Yang Academia Sinica, Taiwan
Amr M. Youssef Concordia University, Canada
Paul Zimmermann INRIA Nancy - Grand Est, France
Referees
Martin Albrecht Andre Bogdanov Rafik Chaabouni
Daniel Augot Ignacio Cascudo Pascale Charpin
Timo Bartkewitz Julien Cathalo Melissa Chase
Gaetan Bisson Emanuele Cesena Sanjit Chatterjee
Carlo Blundo Kishan C. Gupta Sherman Chow
Organization IX
Iwen Coisel Yann Laigle-Chapuy Dominique Schr¨oder
Baudoin Collard Lucie Langer Peter Schwabe
Ronald Cramer Gregor Leander Jun Shao
O¨zgu¨r Dagdelen Kerstin Lemke-Rust Marcos A. Simpl´ıcio Jr
Erik Dahmen Benoˆıt Libert Dave Singelee
Benne de Weger Mark Manulis Douglas Stebila
Sebastian Faust Gregory Neven Douglas Stinson
Georg Fuchsbauer Claudio Orlandi Enrico Thomae
David Galindo David Oswald Michael Tunstall
Juan A. Garay Pascal Paillier Pim Tuyls
Flavio Garcia Christiane Peters Berkant Ustaoglu
Matthew Green Christophe Petit Marion Videau
Jens Groth Francesco Regazzoni Christian Wachsmann
Darrel Hankerson Alfredo Rial Bogdan Warinschi
Mathias Herrmann Maike Ritzenhofen Christopher Wolf
Dennis Hofheinz Bill Rosgen Qiushi Yang
Vangelis Karatsiolis Markus Ru¨ckert Hong-Sheng Zhou
Eike Kiltz Ulrich Ruhrmair
Alptekin Ku¨pc¸u¨ Rei Safavi-Naini
Table of Contents
Signatures
A New RSA-Based Signature Scheme............................... 1
Sven Sch¨age and J¨org Schwenk
Fair Blind Signatures without Random Oracles ...................... 16
Georg Fuchsbauer and Damien Vergnaud
Fair Partially Blind Signatures..................................... 34
Markus Ru¨ckert and Dominique Schro¨der
Attacks
ParallelShortest Lattice Vector Enumeration on Graphics Cards....... 52
Jens Hermans, Michael Schneider, Johannes Buchmann,
Frederik Vercauteren, and Bart Preneel
Flexible PartialEnlargementto AccelerateGr¨obnerBasisComputation
over F ......................................................... 69
2
Johannes Buchmann, Daniel Cabarcas, Jintai Ding, and
Mohamed Saied Emam Mohamed
Factoring RSA Modulus Using Prime Reconstruction from Random
Known Bits ..................................................... 82
Subhamoy Maitra, Santanu Sarkar, and Sourav Sen Gupta
Protocols
Proofs of Restricted Shuffles....................................... 100
Bjo¨rn Terelius and Douglas Wikstro¨m
Batch Range Proof for Practical Small Ranges....................... 114
Kun Peng and Feng Bao
Optimistic Fair Priced Oblivious Transfer ........................... 131
Alfredo Rial and Bart Preneel
Networks
Information-Theoretically Secure Key-Insulated Multireceiver
Authentication Codes ............................................ 148
Takenobu Seito, Tadashi Aikawa, Junji Shikata, and
Tsutomu Matsumoto
XII Table of Contents
Simple and Communication Complexity Efficient Almost Secure and
Perfectly Secure Message Transmission Schemes ..................... 166
Yvo Desmedt, Stelios Erotokritou, and Reihaneh Safavi-Naini
Communication Efficient Perfectly Secure VSS and MPC in
Asynchronous Networks with Optimal Resilience..................... 184
Arpita Patra, Ashish Choudhury, and C. Pandu Rangan
Elliptic Curves
Avoiding Full Extension Field Arithmetic in Pairing Computations..... 203
Craig Costello, Colin Boyd, Juan Manuel Gonza´lez Nieto, and
Kenneth Koon-Ho Wong
ECC2K-130on Cell CPUs ........................................ 225
Joppe W. Bos, Thorsten Kleinjung, Ruben Niederhagen, and
Peter Schwabe
Side-Channel Attacks and Fault Attacks
Practical Improvements of Profiled Side-Channel Attacks on a
Hardware Crypto-Accelerator...................................... 243
M. Abdelaziz Elaabid and Sylvain Guilley
Differential Fault Analysis of HC-128 ............................... 261
Aleksandar Kircanski and Amr M. Youssef
Fresh Re-keying: Security against Side-Channel and Fault Attacks for
Low-Cost Devices ................................................ 279
Marcel Medwed, Franc¸ois-Xavier Standaert,
Johann Großscha¨dl, and Francesco Regazzoni
Public-Key Encryption
Strong Cryptography from Weak Secrets: Building Efficient PKE and
IBE from Distributed Passwords ................................... 297
Xavier Boyen, C´eline Chevalier, Georg Fuchsbauer, and
David Pointcheval
Efficient Unidirectional Proxy Re-Encryption........................ 316
Sherman S.M. Chow, Jian Weng, Yanjiang Yang, and
Robert H. Deng
Public-Key Encryption with Non-interactive Opening: New
Constructions and Stronger Definitions ............................. 333
David Galindo, Benoˆıt Libert, Marc Fischlin, Georg Fuchsbauer,
Anja Lehmann, Mark Manulis, and Dominique Schro¨der
Table of Contents XIII
Keys and PUFs
Flexible Group Key Exchange with On-demand Computation of
Subgroup Keys .................................................. 351
Michel Abdalla, C´eline Chevalier, Mark Manulis, and
David Pointcheval
Quantum Readout of Physical Unclonable Functions ................. 369
Boris Sˇkori´c
Ciphers and Hash Functions
Parallelizing the Camellia and SMS4 Block Ciphers .................. 387
Huihui Yap, Khoongming Khoo, and Axel Poschmann
Improved Linear Differential Attacks on CubeHash................... 407
Shahram Khazaei, Simon Knellwolf, Willi Meier, and Deian Stefan
Cryptanalysis of the 10-Round Hash and Full Compression Function of
SHAvite-3-512................................................... 419
Praveen Gauravaram, Ga¨etan Leurent, Florian Mendel,
Mar´ıa Naya-Plasencia, Thomas Peyrin, Christian Rechberger, and
Martin Schl¨affer
Author Index.................................................. 437