Progress in Cryptology – LATINCRYPT 2010: First International Conference on Cryptology and Information Security in Latin America, Puebla, Mexico, August 8-11, 2010, proceedings

333 Pages·2010·5.817 MB·English

by  Kent D. Boklan, Alexander W. Dent, Christopher A. Seaman (auth.), Michel Abdalla, Paulo S. L. M. Barreto (eds.)

Lecture Notes in Computer Science 6212
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
Michel Abdalla Paulo S.L.M. Barreto (Eds.)
Progress in Cryptology –
LATINCRYPT 2010
First International Conference on Cryptology
and Information Security in Latin America
Puebla, Mexico, August 8-11, 2010
Proceedings
1 3
VolumeEditors
MichelAbdalla
ÉcoleNormaleSupérieure,ComputerScienceDepartment
45Rued’Ulm,75230ParisCedex05,France
E-mail:[email protected]
PauloS.L.M.Barreto
UniversidadedeSãoPaulo
ComputerArchitectureandNetworkingLaboratory(LARC)
Av.Prof.LucianoGualberto,trav.3,no.158,05508-900SãoPaulo(SP),Brazil
E-mail:[email protected]
LibraryofCongressControlNumber:2010931085
CRSubjectClassification(1998):E.3,C.2,K.6.5,D.4.6,G.2,E.4
LNCSSublibrary:SL4–SecurityandCryptology
ISSN 0302-9743
ISBN-10 3-642-14711-9SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-14711-1SpringerBerlinHeidelbergNewYork
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
LATINCRYPT 2010 was the First International Conference on Cryptology and
Information Security in Latin America and took place during August 8–11,
2010 in Puebla, Mexico. LATINCRYPT 2010 was organized by the Centro de
Investigaci´on y de Estudios Avanzados del IPN (CINVESTAV-IPN) and the
Benem´eritaUniversidadAuto´nomadePuebla(BUAP)incooperationwithThe
International Association for Cryptologic Research (IACR). The General Chair
of the conference was Francisco Rodr´ıguez Henr´ıquez.
The conference received 62 submissions and each submission was assigned
to at least three committee members. Submissions co-authored by members of
the ProgramCommittee wereassignedto atleastfive committee members.The
reviewing process was challenging due to the large number of high-quality sub-
missions,andwearedeeply gratefultothe committeemembersandexternalre-
viewers for their outstanding work. After meticulous deliberation, the Program
Committee, which was chaired by Michel Abdalla and Paulo S. L. M. Barreto,
selected19submissionsforpresentationattheconference.Thesearethearticles
included in this volume. In addition to these presentations, the program also
included four invited talks.
ThereviewingprocesswasrunusingtheiChairsoftware,writtenbyThomas
Baign`eresfromCryptoExperts,FranceandMatthieuFiniaszfromEPFL,LASEC,
Switzerland. We are grateful to them for letting us use their software and to
JacquesBeigbederfromtheE´coleNormaleSup´erieureforhelpingwiththesetup
of the reviewing website.
Finally, we would like to thank our sponsors CINVESTAV-IPN, BUAP, and
the Intel Guadalajara Design Center for their financial support as well as all
the people who contributed to the success of this conference. In particular, we
are indebted to the members of the LATINCRYPT Steering Committee and
the General Chair Francisco Rodr´ıguez Henr´ıquez for their diligent work and
for making this conference possible. We would also like to thank Springer for
accepting to publish the proceedings in the Lecture Notes in Computer Science
series.
August 2010 Michel Abdalla
Paulo S. L. M. Barreto
LATINCRYPT 2010
First International Conference on
Cryptology and Information Security in Latin America
Puebla, Mexico
August 8–11, 2010
Organized by
Centro de Investigacio´ny de Estudios Avanzados del IPN (CINVESTAV-IPN)
Benem´erita Universidad Auto´noma de Puebla (BUAP)
In Cooperation with
The International Association for Cryptologic Research (IACR)
General Chair
Francisco Rodr´ıguez Henr´ıquez CINVESTAV-IPN, Mexico
Program Chairs
Michel Abdalla E´cole Normale Sup´erieure, France
Paulo S. L. M. Barreto Universidade de Sa˜o Paulo, Brazil
Steering Committee
Paulo Barreto Universidade de Sa˜o Paulo, Brazil
Ricardo Dahab Universidade Estadual de Campinas, Brazil
Alejandro Hevia Universidad de Chile, Chile
Julio Lo´pez Universidade Estadual de Campinas, Brazil
Daniel Panario Carleton University, Canada
Alfredo Viola Universidad de la Repu´blica, Uruguay
Local Organizing Committee
Debrup Chakraborty CINVESTAV-IPN, Mexico
Nareli Cruz Cort´es CIC-IPN, Mexico
Arturo D´ıaz P´erez CINVESTAV-IPN, Mexico
Luis Gerardo de la Fraga CINVESTAV-IPN, Mexico
Miguel Leo´n Cha´vez University of Puebla, Mexico
Guillermo Morales-Luna CINVESTAV-IPN, Mexico
VIII Organization
Program Committee
Roberto Avanzi Ruhr Universita¨t Bochum, Germany
Dan Bernstein University of Illinois at Chicago, USA
Carlos Cid Royal Holloway,University of London, UK
Ricardo Dahab Universidade Estadual de Campinas, Brazil
Orr Dunkelman Weizmann Institute of Science, Israel
Philippe Gaborit Universit´e de Limoges, France
Alejandro Hevia Universidad de Chile, Chile
Dennis Hofheinz Karlsruher Institut fu¨r Technologie, Germany
Antoine Joux Universit´e de Versailles, France
Marcelo Kaihara EPFL, Switzerland
Aggelos Kiayias University of Connecticut, USA
Eike Kiltz CWI, The Netherlands
C¸etin Kaya Koc¸ University of California in Santa Barbara,USA
Tanja Lange Technische Universiteit Eindhoven,
The Netherlands
Sven Laur University of Tartu, Estonia
Benoˆıt Libert Universit´e Catholique de Louvain, Belgium
Julio Lo´pez Universidade Estadual de Campinas, Brazil
Vadim Lyubashevsky Tel-Aviv University, Israel
Alfred Menezes University of Waterloo, Canada
Jorge Nakahara Jr. EPFL, Switzerland
Anderson C.A. Nascimento Universidade de Bras´ılia,Brazil
Eiji Okamoto University of Tsukuba, Japan
Adriana Palacio Bowdoin College, USA
Daniel Panario Carleton University, Canada
Kenny Paterson Royal Holloway,University of London, UK
Bart Preneel Katholieke Universiteit Leuven, Belgium
Christian Rechberger Katholieke Universiteit Leuven, Belgium
Vincent Rijmen Technische Universita¨t Graz, Austria and
Katholieke Universiteit Leuven, Belgium
Palash Sarkar Indian Statistical Institute, India
Mike Scott Dublin City University, Ireland
Willy Susilo University of Wollongong, Australia
Nicolas Th´eriault Universidad de Talca, Chile
Jeroen van de Graaf Universidade Federal de Ouro Preto, Brazil
Frederik Vercauteren Katholieke Universiteit Leuven, Belgium
Damien Vergnaud E´cole Normale Sup´erieure, France
Alfredo Viola Universidad de la Repu´blica, Uruguay
Bogdan Warinschi University of Bristol, UK
Moti Yung Google Inc., USA
Jianying Zhou Institute for Infocomm Research, Singapore
Organization IX
External Reviewers
Martin Albrecht Simon Hoerder
Elena Andreeva Xinyi Huang
Diego F. Aranha Hendrik Hubrechts
Man Ho Au Liina Kamm
Naomi Benger Naoki Kanayama
Jean-Luc Beuchat Thorsten Kleinjung
Dan Bogdanov Arjen Lenstra
Joppe Bos Franc¸oise Levy-dit-Vehel
Philippe Camacho Joseph K. Liu
Sherman S. M. Chow Eduardo Moraes de Morais
Cheng-Kang Chu Erick Nogueira do Nascimento
M. Prem Laxman Das Onur Ozen
Junfeng Fan Olivier Pereira
Reza Rezaeian Farashahi Benny Pinkas
Pooya Farshim Amin Sakzad
David Galindo Rosemberg A. da Silva
Theo Garefalakis Deian Stefan
Pierrick Gaudry David Thomson
Fuchun Guo Stefan Tillich
Jens Hermans Deniz Toz
Martin Hirt Tsz Hon Yuen
Sponsoring Institutions
Centro de Investigaci´on y de Estudios Avanzados del IPN (CINVESTAV-IPN)
Benem´erita Universidad Auto´noma de Puebla (BUAP), Mexico
Consejo de Ciencia y Tecnolog´ıa del Estado de Puebla (CONCYTEP), Mexico
Vicerrectoria de Investigaci´on y Estudios de Posgrado(VIEP-BUAP), Mexico
Direcci´on General de Innovacio´n Educativa BUAP, Mexico
Facultad de Ciencias de la Computacio´n BUAP, Mexico
Intel Guadalajara Design Center
Table of Contents
Encryption
BroadcastEncryption with Multiple Trust Authorities................ 1
Kent D. Boklan, Alexander W. Dent, and Christopher A. Seaman
Security of Sequential Multiple Encryption .......................... 20
Atsushi Fujioka, Yoshiaki Okamoto, and Taiichi Saito
Mediated Traceable Anonymous Encryption......................... 40
Malika Izabach`ene, David Pointcheval, and Damien Vergnaud
Elliptic Curves
Starfish on Strike ................................................ 61
Daniel J. Bernstein, Peter Birkner, and Tanja Lange
Estimating the Size of the Image of Deterministic Hash Functions to
Elliptic Curves .................................................. 81
Pierre-Alain Fouque and Mehdi Tibouchi
Implementation of Pairings
Fixed Argument Pairings ......................................... 92
Craig Costello and Douglas Stebila
New Software Speed Records for Cryptographic Pairings.............. 109
Michael Naehrig, Ruben Niederhagen, and Peter Schwabe
Implementation of Cryptographic Algorithms
Accelerating Lattice Reduction with FPGAs......................... 124
J´er´emie Detrey, Guillaume Hanrot, Xavier Pujol, and Damien Stehl´e
Efficient Software Implementation of Binary Field Arithmetic Using
Vector Instruction Sets ........................................... 144
Diego F. Aranha, Julio Lo´pez, and Darrel Hankerson
Cryptographic Protocols and Foundations
Communication Optimal Multi-valued Asynchronous Broadcast
Protocol ........................................................ 162
Arpita Patra and C. Pandu Rangan
XII Table of Contents
On the Impossibility of Batch Update for Cryptographic
Accumulators ................................................... 178
Philippe Camacho and Alejandro Hevia
On the Round Complexity of Zero-Knowledge Proofs Based on
One-Way Permutations ........................................... 189
S. Dov Gordon, Hoeteck Wee, David Xiao, and
Arkady Yerukhimovich
Cryptanalysis of Symmetric Primitives
Message Recovery and Pseudo-preimage Attacks on the Compression
Function of Hamsi-256............................................ 205
C¸a˘gda¸s C¸alık and Meltem So¨nmez Turan
Generic Attacks on Misty Schemes ................................. 222
Val´erie Nachef, Jacques Patarin, and Joana Treger
Post-Quantum Cryptography
Cryptanalysis of the Hidden Matrix Cryptosystem ................... 241
Jean-Charles Faug`ere, Antoine Joux, Ludovic Perret, and
Joana Treger
A Lattice-Based Threshold Ring Signature Scheme ................... 255
Pierre-Louis Cayrel, Richard Lindner, Markus Ru¨ckert, and
Rosemberg Silva
Side-Channel Attacks
Defeating Any Secret Cryptography with SCARE Attacks............. 273
Sylvain Guilley, Laurent Sauvage, Julien Micolod, Denis R´eal, and
Fr´ed´eric Valette
How Leaky Is an Extractor?....................................... 294
Franc¸ois-Xavier Standaert
Combined Implementation Attack Resistant Exponentiation........... 305
J¨orn-Marc Schmidt, Michael Tunstall, Roberto Avanzi,
Ilya Kizhvatov, Timo Kasper, and David Oswald
Author Index.................................................. 323