Progress in Cryptology – LATINCRYPT 2017: 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

417 Pages·2019·11.816 MB·English

by  Tanja Lange, Orr Dunkelman

Tanja Lange
Orr Dunkelman (Eds.)
8
6
3
Progress in Cryptology –
1
1

S
C LATINCRYPT 2017
N
L
5th International Conference on Cryptology
and Information Security in Latin America
Havana, Cuba, September 20–22, 2017, Revised Selected Papers
Lecture Notes in Computer Science 11368
Founding Editors
Gerhard Goos
Karlsruhe Institute of Technology, Karlsruhe, Germany
Juris Hartmanis
Cornell University, Ithaca, NY, USA
Editorial Board Members
Elisa Bertino
Purdue University, West Lafayette, IN, USA
Wen Gao
Peking University, Beijing, China
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Gerhard Woeginger
RWTH Aachen, Aachen, Germany
Moti Yung
Columbia University, New York, NY, USA
More information about this series at http://www.springer.com/series/7410
Tanja Lange Orr Dunkelman (Eds.)
(cid:129)
–
Progress in Cryptology
LATINCRYPT 2017
5th International Conference on Cryptology
and Information Security in Latin America
–
Havana, Cuba, September 20 22, 2017
Revised Selected Papers
123
Editors
TanjaLange OrrDunkelman
Technische Universiteit Eindhoven University of Haifa
Eindhoven,The Netherlands Haifa, Israel
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-030-25282-3 ISBN978-3-030-25283-0 (eBook)
https://doi.org/10.1007/978-3-030-25283-0
LNCSSublibrary:SL4–SecurityandCryptology
©SpringerNatureSwitzerlandAG2019
Thechapter“Curve25519fortheCortex-M4andBeyond”isOpenAccessThischapterislicensedunderthe
termsoftheCreativeCommonsAttribution4.0InternationalLicense(http://creativecommons.org/licenses/
by/4.0/).Forfurtherdetailsseelicenseinformationinthechapter.
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, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
This book constitutes the proceedings of the 5th International Conference on Cryp-
tology and Information Security in Latin America, LATINCRYPT 2017, held in La
Habana, Cuba, in September 2017.
LATINCRYPT 2017 used a double-blind review process applied to the 64 sub-
missions from 25 countries all over the world. After a careful review process (where
submissions received at least three reviews, and committee member submissions
received at least five reviews), which included more than 300 comments, the Program
Committee selected 20 papers for presentation and publication.
Along with the 20 presentations of the selected contributions, attendees of
LATINCRYPT 2017 enjoyed three invited talks: by Nadia Heninger, who discussed
“AdventuresinRSAKeyRecovery,”PhilRogaway,whopubliclyadmittedhehas“An
ObsessionwithDefinitions,”andAdiShamir,whotalkedabout“TowardsQuantitative
Analysis of Cyber Security.” We are grateful for the contributed paper by Phil Rog-
away that captures his invited talk.
We would like to express our sincere gratitude to all the members of the Program
Committee, as well as all the additional reviewers who helped in the challenging
reviewing process, composed of close to 210 reviews. The submission and review
processes were done using the iChair software package, and we wish to express our
sincere gratitude to Thomas Baignères and Matthieu Finiasz for the iChair software,
which facilitated a smooth and easy submission and review process.
We would like to thank the general chair, Prof. Luis Ramiro Piñeiro Díaz, and the
localorganizingteam.Inaddition,wewouldliketothanktheLATINCRYPTSteering
Committee,andespeciallyFranciscoRodríguez-Henríquezformakingthisconference
possible.
April 2019 Tanja Lange
Orr Dunkelman
Organization
Progress in Cryptology – LATINCRYPT 2017
La Habana, Cuba, September 20–22, 2017
General Chair
Luis Ramiro Piñeiro Díaz Universidad de La Habana, Cuba
Program Chairs
Orr Dunkelman University of Haifa, Israel
Tanja Lange Technische Universiteit Eindhoven, The Netherlands
Steering Committee
Michel Abdalla École Normale Supérieure, France
Diego Aranha University of Campinas, Brazil
Paulo S. L. M. Barreto University of Washington Tacoma, USA
and Universidad São Paulo, Brazil
Ricardo Dahab University of Campinas, Brazil
Alejandro Hevia Universidad de Chile, Chile
Julio López University of Campinas, Brazil
Daniel Panario Carleton University, Canada
Francisco CINVESTAV-IPN, Mexico
Rodríguez-Henríquez
Alfredo Viola Universidad de la República, Uruguay
Program Committee
Diego Aranha University of Campinas, Brazil
Roberto Avanzi ARM, Germany
Shi Bai Florida Atlantic University, USA
Paulo S. L. M. Barreto University of Washington Tacoma, USA
and Universidad São Paulo, Brazil
Lejla Batina Radboud University, The Netherlands
Iddo Bentov Cornell University, USA
Daniel J. Bernstein University ofIllinoisat Chicago, USA and Technische
Universiteit Eindhoven, The Netherlands
Joppe W. Bos NXP Semiconductors, Belgium
viii Organization
Debrup Chakraborty Indian Statistical Institute, India
Sanjit Chatterjee Indian Institute of Science, India
Tung Chou Osaka University, Japan
Carlos Cid Royal Holloway University of London, UK
Ricardo Dahab University of Campinas, Brazil
Jean Paul Degabriele Technische Universität Darmstadt, Germany
Itai Dinur Ben-Gurion University, Israel
Luis J. Dominguez Perez CIMAT Zacatecas, Mexico
Marc Fischlin Technische Universität Darmstadt, Germany
Aurore Guillevic Inria, Nancy, France
Alejandro Hevia Universidad de Chile, Chile
Tetsu Iwata Nagoya University, Japan
Juliane Krämer Technische Universität Darmstadt, Germany
Hugo Krawczyk IBM Research, USA
Thijs Laarhoven IBM Research Zurich, Switzerland
Julio López University of Campinas, Brazil
Atul Luykx KU Leuven, Belgium and UC Davis, USA
Maike Massierer University of New South Wales, Australia
Daniele Micciancio University of California San Diego, USA
Amir Moradi Ruhr-University Bochum, Germany
Michael Naehrig Microsoft Research, USA
Daniel Panario Carleton University, Canada
Anat Paskin-Cherniavsky Ariel University, Israel
Raphael Phan Monash University, Malaysia
Josef Pieprzyk Data61, CSIRO, Australia and Institute of Computer
Science, Polish Academy of Sciences, Poland
Axel Poschmann NXP Semiconductors, Germany
Bart Preneel Katholieke Universiteit Leuven, Belgium
Tal Rabin IBM Research, USA
Francisco CINVESTAV-IPN, Mexico
Rodríguez-Henríquez
Peter Schwabe Radboud University, The Netherlands
Adam Smith Pennsylvania State University, USA
Benjamin Smith Inria and École Polytechnique, France
John Steinberger Tsinghua University, China
Nicolas Thériault Universidad de Santiago de Chile, Chile
Mehdi Tibouchi NTT Secure Platform Laboratories, Japan
Alfredo Viola Universidad de la República, Uruguay
Benne de Weger Technische Universiteit Eindhoven, The Netherlands
Yuval Yarom The University of Adelaide and Data61, CSIRO,
Australia
Organization ix
Additional Reviewers
Akash Shah Luca Allodi
Alex Davidson Marcel Keller
Alfred Menezes Meilof Veeningen
Alfredo Viola Miroslav Knezevic
Andrew Klapper Nabil Alkeilani Alkadri
Bart Mennink Niels de Vreede
Benedikt Gierlichs Patrick Longa
Berkant Ustaoglu Philippe Gaborit
Boris Skoric Po-Chun Kuo
Carles Padro Ralph Ankele
Carmit Hazay Ratna Dutta
Chitchanok Chuengsatiansup R. Kabaleeshwaran
Emmanuelle Anceaume Sanjay Deshpande
Felix Günther Sayantan Mukherjee
Frank Blom Sebastien Duval
Gregory Neven Shai Halevi
Gunnar Hartung Steve Lu
Harry Halpin Stjepan Picek
Jens Groth Tapas Pandit
Joan Daemen Thomas Peters
John Sheekey Wei-Kai Lin
Joost Renes Weiqiang Wen
Junqing Gong Yosuke Todo
Contents
Invited Talk
An Obsession with Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Phillip Rogaway
Security Protocols
Anonymous Single-Round Server-Aided Verification. . . . . . . . . . . . . . . . . . 23
Elena Pagnin, Aikaterini Mitrokotsa, and Keisuke Tanaka
Secure Channels and Termination: The Last Word on TLS . . . . . . . . . . . . . 44
Colin Boyd and Britta Hale
Improved Security Notions for Proxy Re-Encryption to Enforce
Access Control. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
Ela Lee
Public-Key Implementation
Optimal 2-3 Chains for Scalar Multiplication . . . . . . . . . . . . . . . . . . . . . . . 89
Cristobal Leiva and Nicolas Thériault
Curve25519 for the Cortex-M4 and Beyond. . . . . . . . . . . . . . . . . . . . . . . . 109
Hayato Fujii and Diego F. Aranha
Implementing the NewHope-Simple Key Exchange on Low-Cost FPGAs. . . . 128
Tobias Oder and Tim Güneysu
Cryptanalysis
Theoretical Security Evaluation Against Side-Channel Cube Attack
with Key Enumeration. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
Haruhisa Kosuge and Hidema Tanaka
On the Hardness of the Mersenne Low Hamming Ratio Assumption. . . . . . . 166
Marc Beunardeau, Aisling Connolly, Rémi Géraud,
and David Naccache