Progress in Cryptology – AFRICACRYPT 2016: 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings

370 Pages·2016·8.37 MB·English

by  David Pointcheval

David Pointcheval
Abderrahmane Nitaj
Tajjeeddine Rachidi (Eds.)
6
4
Progress in Cryptology –
6
9

S
C AFRICACRYPT 2016
N
L
8th International Conference on Cryptology in Africa
Fes, Morocco, April 13–15, 2016
Proceedings
123
Lecture Notes in Computer Science 9646
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zürich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7410
David Pointcheval Abderrahmane Nitaj
(cid:129)
Tajjeeddine Rachidi (Eds.)
–
Progress in Cryptology
AFRICACRYPT 2016
8th International Conference on Cryptology in Africa
–
Fes, Morocco, April 13 15, 2016
Proceedings
123
Editors
DavidPointcheval Tajjeeddine Rachidi
EcoleNormale Supérieure AlAkhawayn University in Ifrane
Paris Ifrane
France Morocco
Abderrahmane Nitaj
University of Caen
Caen
France
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-31516-4 ISBN978-3-319-31517-1 (eBook)
DOI 10.1007/978-3-319-31517-1
LibraryofCongressControlNumber:2016933535
LNCSSublibrary:SL4–SecurityandCryptology
©SpringerInternationalPublishingSwitzerland2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland
Preface
The 8th International Conference on the Theory and Application of Cryptographic
Techniques in Africa, Africacrypt 2016, took place April 13–15, 2016, in Fès, Mor-
occo. The conference was organized by Al Akhawayn University in Ifrane, in coop-
eration with the International Association for Cryptologic Research (IACR).
The conference received 65 submissions, all of which were reviewed by the Pro-
gramCommittee. Eachpaperwasassignedatleastthreereviewers,whilesubmissions
co-authoredbyProgramCommitteememberswerereviewedbyatleastfourreviewers.
The Program Committee was helped by reports from 48 external reviewers. After
highly interactive discussions and a careful deliberation, the Program Committee
selected18papersforpresentation(lessthan28%acceptancerate).Theprogramwas
completed with invited talks: “Computing on Encrypted Data” by Vinod Vaikun-
tanathanfromMITand“ANewMethodologyofConstructingFunctionalEncryption”
by Tatsuaki Okamoto from NTT. We are very grateful to them for accepting our
invitation.
We would like to thank everyone who contributed to the success of Africacrypt
2016. We are deeply grateful to the Program Committee for their hard work, enthu-
siasm, andconscientious effortstoensurethateachpaperreceivedathoroughandfair
review. These thanks are of course extended to the external reviewers, listed on the
following pages, who took the time to help during the evaluation process. We would
also like to thank Thomas Baignères and Matthieu Finiasz for writing the iChair
software and Springer for agreeing to an accelerated schedule for printing the
proceedings.
Our thanks also go to the local Organizing Committee for their commitment and
hard work, in order to make the conference an enjoyable experience. They also go to
Driss Ouaouicha, President of Al Akhawayn University, and Dean Kevin Smith for
their unconditional support. We are deeply grateful to the sponsors Microsoft, Al
AkhawaynUniversity,HPSMorocco,theRégionFès-Meknès,ENS,Paris,France,and
the European Research Council under the European Union’s Seventh Framework
Programme (FP7/2007-2013 Grant Agreement no. 339563 – CryptoCloud), for
financially supporting the conference.
Lastbutnotleast,wewishtothanktheparticipants,submitters,authors,presenters,
and invited speakers, and Program Committees who over the past seven editions have
made Africacrypt a highly recognized forum in which researchers can interact and
sharetheirworkandknowledgewithothers,fortheoverallgrowthanddevelopmentof
cryptology research in the world, and Africa in particular.
April 2016 David Pointcheval
Abderrahmane Nitaj
Tajjeedine Rachidi
AFRICACRYPT 2016
8th International Conference on Cryptology in Africa
Fès, Morocco, April 13–15, 2016
General Chair
Tajjeeddine Rachidi Al Akhawayn University in Ifrane, Morocco
Program Chairs
David Pointcheval ENS, Paris, France
Abderrahmane Nitaj University of Caen, France
Program Committee
Muhammad Rezal Kamel Ariffin Mark Manulis
Abdelhak Azhari Jesper Buus Nielsen
Hussain Benazza Ayoub Otmani
Colin Boyd Duong Hieu Phan
Dario Catalano Tajjeeddine Rachidi
Jie Chen Magdy Saeb
Sherman S.M. Chow Palash Sarkar
Jean-Sébastien Coron Peter Schwabe
Itai Dinur Francesco Sica
Léo Ducas Djiby Sow
Orr Dunkelman Ron Steinfeld
Dario Fiore François-Xavier Standaert
Pierre-Alain Fouque Christine Swart
Georg Fuchsbauer Isamu Teranishi
Essam Ghadafi Mehdi Tibouchi
Tetsu Iwata Susan Thomson
Seny Kamara Xiaoyun Wang
Benoît Libert Amr M. Youssef
David M’Raihi
VIII AFRICACRYPT 2016
External Reviewers
Ahmed Abdelkhalek Dmitry Khovratovich
Khalid Abdelmoumen Paul Kirchner
Hamza Abusalah Russell W.F. Lai
Riham Altawy Alko Meijer
Toshinori Araki Marine Minier
Sanjay Bhattacherjee Pradeep Kumar Mishra
Olivier Blazy Fabrice Mouhartem
Raphaël Bost Sekan Mulayim
Andrea Cerulli Kazuma Ohara
Donghoon Chang Ludovic Perret
Jingxian Chen Romain Poussier
Joan Daemen Sebastian Ramacher
Gareth Davies Michal Rybar
Mario Di Raimondo Minoru Saeki
Ali El Kaafarani Amin Sakzad
Nadia El Mrabet Le Su
Reza Rezaeian Farashahi Miaomiao Tian
Emmanuel Fouotsa Mohamed Tolba
Mohona Ghosh Frederik Vercauteren
Junqing Gong Damien Vergnaud
Aurore Guillevic Kai Zhang
Haruna Higo Tao Zhang
Takanori Isobe Yongjun Zhao
Bootle Jonatthan
Saqib Kakvi
Contents
Lattices
Efficient (Ideal) Lattice Sieving Using Cross-Polytope LSH . . . . . . . . . . . . . 3
Anja Becker and Thijs Laarhoven
On the Hardness of LWE with Binary Error: Revisiting the Hybrid
Lattice-Reduction and Meet-in-the-Middle Attack . . . . . . . . . . . . . . . . . . . . 24
Johannes Buchmann, Florian Göpfert, Rachel Player,
and Thomas Wunderer
An Efficient Lattice-Based Signature Scheme with Provably
Secure Instantiation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Sedat Akleylek, Nina Bindel, Johannes Buchmann, Juliane Krämer,
and Giorgia Azzurra Marson
Elliptic Curves
AFastandCompactFPGAImplementationofEllipticCurveCryptography
Using Lambda Coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Burak Gövem, Kimmo Järvinen, Kris Aerts, Ingrid Verbauwhede,
and Nele Mentens
Three Dimensional Montgomery Ladder, Differential Point Tripling
on Montgomery Curves and Point Quintupling on Weierstrass’
and Edwards Curves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Srinivasa Rao Subramanya Rao
Secret-Key Cryptanalysis
Cryptanalysis of PRINCE with Minimal Data. . . . . . . . . . . . . . . . . . . . . . . 109
Shahram Rasoolzadeh and Håvard Raddum
Authentication Key Recovery on Galois/Counter Mode (GCM). . . . . . . . . . . 127
John Mattsson and Magnus Westerlund
Efficient Implementations
Extreme Pipelining Towards the Best Area-Performance Trade-Off
in Hardware. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
Stjepan Picek, Dominik Sisejkovic, Domagoj Jakobovic, Lejla Batina,
Bohan Yang, Danilo Sijacic, and Nele Mentens
X Contents
A Deeper Understanding of the XOR Count Distribution in the Context
of Lightweight Cryptography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Sumanta Sarkar and Siang Meng Sim
Secure Protocols
Prover-Efficient Commit-and-Prove Zero-Knowledge SNARKs. . . . . . . . . . . 185
Helger Lipmaa
On the Security of the (F)HMQV Protocol. . . . . . . . . . . . . . . . . . . . . . . . . 207
Augustin P. Sarr and Philippe Elbaz–Vincent
Non-Interactive Verifiable Secret Sharing for Monotone Circuits. . . . . . . . . . 225
Ge Bai, Ivan Damgård, Claudio Orlandi, and Yu Xia
Fast Oblivious AES A Dedicated Application of the MiniMac Protocol. . . . . 245
Ivan Damgård and Rasmus Zakarias
Certificate Validation in Secure Computation and Its Use in Verifiable
Linear Programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
Sebastiaan de Hoogh, Berry Schoenmakers, and Meilof Veeningen
Software-Only Two-Factor Authentication Secure Against Active Servers . . . 285
Julien Bringer, Hervé Chabanne, and Roch Lescuyer
Public-Key Cryptography
Attribute-Based Fully Homomorphic Encryption with a Bounded Number
of Inputs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
Michael Clear and Ciarán McGoldrick
Adaptively Secure Unrestricted Attribute-Based Encryption with Subset
Difference Revocation in Bilinear Groups of Prime Order . . . . . . . . . . . . . . 325
Pratish Datta, Ratna Dutta, and Sourav Mukhopadhyay
Weak Keys for the Quasi-Cyclic MDPC Public Key Encryption Scheme. . . . 346
Magali Bardet, Vlad Dragoi, Jean-Gabriel Luque, and Ayoub Otmani
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369