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 PDF
Preview 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
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
The list of books you might like
