Progress in Cryptology -- AFRICACRYPT 2011

1. Front Matter

   PDF

2. Protocols

   1. Secure Outsourced Computation

      • Jake Loftus, Nigel P. Smart

      Pages 1-20

   2. Fully Simulatable Quantum-Secure Coin-Flipping and Applications

      • Carolin Lunemann, Jesper Buus Nielsen

      Pages 21-40

   3. Efficient and Secure Generalized Pattern Matching via Fast Fourier Transform

      • Damien Vergnaud

      Pages 41-58

   4. Identification Schemes from Key Encapsulation Mechanisms

      • Hiroaki Anada, Seiko Arita

      Pages 59-76

3. Cryptanalysis

   1. Attacking Bivium and Trivium with the Characteristic Set Method

      • Zhenyu Huang, Dongdai Lin

      Pages 77-91

   2. Improved Cryptanalysis of the Multi-Prime φ - Hiding Assumption

      • Mathias Herrmann

      Pages 92-99

   3. FPGA Implementation of a Statistical Saturation Attack against PRESENT

      • Stéphanie Kerckhof, Baudoin Collard, Franc̨ois-Xavier Standaert

      Pages 100-116

   4. Collisions of MMO-MD5 and Their Impact on Original MD5

      • Yu Sasaki

      Pages 117-133

4. Secret-Key Cryptography

   1. Really Fast Syndrome-Based Hashing

      • Daniel J. Bernstein, Tanja Lange, Christiane Peters, Peter Schwabe

      Pages 134-152

   2. Montgomery’s Trick and Fast Implementation of Masked AES

      • Laurie Genelle, Emmanuel Prouff, Michaël Quisquater

      Pages 153-169

5. Efficient Implementations

   1. Memory-Constrained Implementations of Elliptic Curve Cryptography in Co-Z Coordinate Representation

      • Michael Hutter, Marc Joye, Yannick Sierra

      Pages 170-187

   2. Efficient Multiplication in Finite Field Extensions of Degree 5

      • Nadia El Mrabet, Aurore Guillevic, Sorina Ionica

      Pages 188-205

6. Cryptographic Schemes

   1. Achieving Optimal Anonymity in Transferable E-Cash with a Judge

      • Olivier Blazy, Sébastien Canard, Georg Fuchsbauer, Aline Gouget, Hervé Sibert, Jacques Traoré

      Pages 206-223

   2. Revocable Attribute-Based Signatures with Adaptive Security in the Standard Model

      • Alex Escala, Javier Herranz, Paz Morillo

      Pages 224-241

7. Algorithmic Problems

   1. Using the Inhomogeneous Simultaneous Approximation Problem for Cryptographic Design

      • Frederik Armknecht, Carsten Elsner, Martin Schmidt

      Pages 242-259

   2. Analyzing Standards for RSA Integers

      • Daniel Loebenberger, Michael Nüsken

      Pages 260-277

8. Elliptic Curves

   1. Hashing into Hessian Curves

      • Reza Rezaeian Farashahi

      Pages 278-289

   2. On Randomness Extraction in Elliptic Curves

      • Abdoul Aziz Ciss, Djiby Sow

      Pages 290-297

9. Fault Analysis

   1. Fault Analysis of Grain-128 by Targeting NFSR

      • Sandip Karmakar, Dipanwita Roy Chowdhury

      Pages 298-315

This book constitutes the refereed proceedings of the 4th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2011, held in Dakar, Senegal, in July 2011. The 23 papers presented together with abstracts of 3 invited talks were carefully reviewed and selected from 76 submissions. They are organized in topical sections on protocols, cryptanalysis, secret-key cryptography, efficient implementations, cryptographic schemes, algorithmic problems, elliptic curves, fault analysis, and security proofs.

• asymmetric cryptography
• cryptographic attacks
• cryptographic protocol design
• differential cryptanalysis
• digital signature schemes
• encryption
• provable security
• algorithm analysis and problem complexity

• Département de Mathématiques, Université de Caen, Caen Cedex, France

  Abderrahmane Nitaj

• École normale supérieure - CNRS - INRIA, Paris, France

  David Pointcheval

Policies and ethics