Progress in Cryptology – AFRICACRYPT 2014: 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

487 Pages·2014·20.952 MB·English

by  David Pointcheval, Damien Vergnaud (eds.)

David Pointcheval
Damien Vergnaud (Eds.)
9
6
4 Progress in Cryptology –
8

S
C AFRICACRYPT 2014
N
L
7th International Conference on Cryptology in Africa
Marrakesh, Morocco, May 28–30, 2014
Proceedings
123
Lecture Notes in Computer Science 8469
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
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
David Pointcheval Damien Vergnaud (Eds.)
Progress in Cryptology –
AFRICACRYPT 2014
7th International Conference on Cryptology inAfrica
Marrakesh, Morocco, May 28-30, 2014
Proceedings
1 3
VolumeEditors
DavidPointcheval
DamienVergnaud
EcoleNormaleSupérieure
ComputerScienceDepartment
45,rued’Ulm
75005Paris,France
E-mail:{david.pointcheval,damien.vergnaud}@ens.fr
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-319-06733-9 e-ISBN978-3-319-06734-6
DOI10.1007/978-3-319-06734-6
SpringerChamHeidelbergNewYorkDordrechtLondon
LibraryofCongressControlNumber:Appliedfor
LNCSSublibrary:SL4–SecurityandCryptology
©SpringerInternationalPublishingSwitzerland2014
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof
thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,
broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology
nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection
withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand
executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation,
inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse
maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution
undertherespectiveCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication,
neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor
omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe
materialcontainedherein.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
AFRICACRYPT 2014, the 7th International Conference on the Theory and
Applicationof CryptographicTechniques inAfrica took place May 28–30,2014,
in Marrakesh,Morocco. The conference was organizedby the ENSIAS and Mo-
hammedV-SouissiUniversity,incooperationwiththeInternationalAssociation
for Cryptologic Research (IACR).
The conferencereceived83submissions — the highestnumber in the confer-
ence’s history — andall were reviewedby the ProgramCommittee. Eachpaper
was assigned at least three reviewers, while submissions co-authored by Pro-
gram Committee members were reviewed by at least four people. The Program
Committee,aidedbyreportsfrom65externalreviewers,producedatotalof262
reviews. After highly interactivediscussions and a careful deliberation, the Pro-
gram Committee selected 26 papers for presentation. The authors of accepted
papers were given 2 weeks to prepare final versions for these proceedings. The
program was completed with invited talks: “Recent Advances on the Discrete
Logarithm Problem in Finite Fields” by Antoine Joux and “New Results for
Rank-Based Cryptography” by Philippe Gaborit. We are very grateful to them
for accepting our invitation. Philippe Gaborit’s invited talk appears as a survey
paperinthisvolume(co-authoredwithOlivierRuatta,JulienSchrek,andGilles
Z´emor).
Wewouldliketothankeveryonewhocontributedtothesuccessoftheconfer-
ence AFRICACRYPT 2014. We are deeply grateful to the ProgramCommittee
for their hard work, enthusiasm, and conscientious efforts to ensure that each
paper receiveda thorough and fair review. These thanks are of course extended
totheexternalreviewers,listedonthefollowingpages,whotookthetimetohelp
out during the whole evaluation process. We would also like to thank Thomas
Baign`eresandMatthieuFiniaszforwritingthe iChairsoftwareandSpringerfor
agreeing to an accelerated schedule for printing the proceedings. We also wish
to heartily thank MostafaBelkasmi, GeneralChair, for his efforts in the organi-
zation of the conference, but also the Organizing Committee, the sponsors, and
allthe partners,aswellasAbderrahmaneNitajforhiscontinuoussupport.Last
but not the least, we extend our sincere thanks to all those who contributed to
AFRICACRYPT 2014 and especially to the participants, submitters, authors,
presenters, and invited speakers.
AFRICACRYPT has been emerging as a powerful forum for researchers to
interact, as well as share their work and knowledge with others for the overall
growth and development of cryptology research in the world, and more specifi-
cally in Africa.
May 2014 David Pointcheval
Damien Vergnaud
AFRICACRYPT 2014
7th International Conference on Cryptology in Africa
Marrakesh, Morocco, May 28–30, 2014
General Chair
Mostafa Belkasmi ENSIAS and Mohammed V-Souissi University,
Rabat, Morocco
Program Chairs
David Pointcheval ENS, Paris, France
Damien Vergnaud ENS, Paris, France
Program Committee
Abdelhak Azhari Hassan II University in Casablanca, Morocco
Hussain Benazza Ensam-Meknes, Moulay Ismail University,
Morocco
Dario Catalano Universita` di Catania, Italy
Riaal Domingues South African Communications and Security
Agency, South Africa
Dario Fiore IMDEA Software Institute, Spain
Pierre-Alain Fouque University of Rennes I, France
Georg Fuchsbauer IST Austria
Sanjam Garg IBM Research, USA
Essam Ghadafi University of Bristol, UK
Tetsu Iwata Nagoya University, Japan
Seny Kamara Microsoft Research, USA
Fabien Laguillaumie University of Lyon I, France
Benoˆıt Libert Technicolor, France
Mark Manulis University of Surrey, UK
Mar´ıa Naya-Plasencia Inria, France
Abderrahmane Nitaj University of Caen, France
Kaisa Nyberg Aalto University School of Science, Finland
Sami Omar Tunis University, Tunisia
Ayoub Otmani University of Rouen, France
Duong Hieu Phan University of Paris 8, France
Vincent Rijmen KU Leuven and iMinds, Belgium
VIII AFRICACRYPT2014
Magdy Saeb Arab Academy of Science, Technology and
Maritime Transport, Alexandria, Egypt
Reihaneh Safavi-Naini University of Calgary, Canada
Palash Sarkar Indian Statistical Institute, India
Peter Schwabe Radboud University Nijmegen,
The Netherlands
Francesco Sica Nazarbayev University, Kazakhstan
Djiby Sow University of Dakar, Senegal
Fran¸cois-Xavier Standaert UCL, Belgium
Christine Swart University of Cape Town, South Africa
Isamu Teranishi NEC, Japan
Mehdi Tibouchi NTT Secure Platform Laboratories, Japan
Ivan Visconti Universita` di Salerno, Italy
Duncan Wong City University of Hong Kong, China
Amr M. Youssef Concordia University, Montreal, Quebec,
Canada
External Reviewers
Hadi Ahmadi Qiong Huang
Riham AlTawy Kimmo J¨arvinen
Toshinori Araki Mahavir Jhawar
Diego Aranha Shaoquan Jiang
Nuttapong Attrapadung Antoine Joux
Man Ho Allen Au Dina Kamel
Aur´elie Bauer Pierre Karpman
David Bernhard Yusuke Kawamoto
Rishiraj Bhattacharyya Dakshita Khurana
C´eline Blondeau Adeline Langlois
Christina Boura Enrique Larraia
Florent Bruguier Kaitai Liang
Guilhem Castagnos Zhen Liu
Nishanth Chandran Grigory Marshalko
Craig Costello Santos Merino
Angelo De Caro Chris Mitchell
Baris Ege Amir Moradi
Nicolas Estibals Pratyay Mukherjee
Pooya Farshim Christiane Peters
Jun Furukawa Christophe Petit
Benoˆıt G´erard Orazio Puglisi
Siyao Guo Tajjeeddine Rachidi
Miia Hermelin Carla R`afols
Shoichi Hirose Vanishree Rao
Viet Tung Hoang Christian Rechberger
AFRICACRYPT2014 IX
Francesco Regazzoni Joop van de Pol
Benedikt Schmidt Kerem Varici
Hadi Soleimany Frederik Vercauteren
Katherine Stange Nicolas Veyrat-Charvillon
Valentin Suder Pengwei Wang
Xiao Tan Gaven Watson
Joana Treger Liang Feng Zhang
Dominique Unruh
Table of Contents
New Results for Rank-Based Cryptography.......................... 1
Philippe Gaborit, Olivier Ruatta, Julien Schrek, and Gilles Z´emor
Public-Key Cryptography
Proxy Re-Encryption Scheme Supporting a Selection of Delegatees ..... 13
Julien Devigne, Eleonora Guerrini, and Fabien Laguillaumie
Trapdoor Privacy in Asymmetric Searchable Encryption Schemes ...... 31
Afonso Arriaga, Qiang Tang, and Peter Ryan
Kurosawa-DesmedtKey Encapsulation Mechanism, Revisited.......... 51
Kaoru Kurosawa and Le Trieu Phong
Hash Functions
Differential Biases in Reduced-Round Keccak........................ 69
Sourav Das and Willi Meier
Practical Distinguishers against 6-Round Keccak-f Exploiting
Self-Symmetry................................................... 88
Sukhendu Kuila, Dhiman Saha, Madhumangal Pal, and
Dipanwita Roy Chowdhury
Preimage Attacks on Reduced-Round Stribog........................ 109
Riham AlTawy and Amr M. Youssef
Secret-Key Cryptanalysis
Breaking the IOC Authenticated Encryption Mode................... 126
Paul Bottinelli, Reza Reyhanitabar, and Serge Vaudenay
New Treatment of the BSW Sampling and Its Applications to Stream
Ciphers......................................................... 136
Lin Ding, Chenhui Jin, Jie Guan, and Chuanda Qi
Multidimensional Zero-CorrelationLinear Cryptanalysis of E2 ......... 147
Long Wen, Meiqin Wang, and Andrey Bogdanov
Public-Key Cryptanalysis and Number Theory
Further Improvement of Factoring RSA Moduli with Implicit Hint ..... 165
Liqiang Peng, Lei Hu, Jun Xu, Zhangjie Huang, and Yonghong Xie
XII Table of Contents
New Attacks on the RSA Cryptosystem............................. 178
Abderrahmane Nitaj, Muhammad Rezal Kamel Ariffin,
Dieaa I. Nassr, and Hatem M. Bahig
Formulae for Computation of Tate Pairing on Hyperelliptic Curve
Using Hyperelliptic Nets .......................................... 199
Christophe Tran
Hardware Implementation
New Speed Records for Montgomery Modular Multiplication on 8-bit
AVR Microcontrollers ............................................ 215
Zhe Liu and Johann Großsch¨adl
Minimizing S-Boxes in Hardware by Utilizing Linear Transformations... 235
Sebastian Kutzner, Phuong Ha Nguyen, Axel Poschmann, and
Marc St¨ottinger
Efficient Masked S-Boxes Processing – A Step Forward –.............. 251
Vincent Grosso, Emmanuel Prouff, and Fran¸cois-Xavier Standaert
A More Efficient AES Threshold Implementation .................... 267
Begu¨l Bilgin, Benedikt Gierlichs, Svetla Nikova,
Ventzislav Nikov, and Vincent Rijmen
Protocols
Constant Rounds Almost Linear Complexity Multi-party Computation
for Prefix Sum................................................... 285
Kazuma Ohara, Kazuo Ohta, Koutarou Suzuki, and
Kazuki Yoneyama
Position-BasedCryptography from Noisy Channels................... 300
Stefan Dziembowski and Maciej Zdanowicz
Lattice-Based Cryptography
A Comparison of the Homomorphic Encryption Schemes FV and
YASHE ......................................................... 318
Tancr`ede Lepoint and Michael Naehrig
Towards Lattice Based Aggregate Signatures ........................ 336
Rachid El Bansarkhani and Johannes Buchmann