Progress in Cryptology – INDOCRYPT 2020

1. Front Matter

   Pages i-xix

   PDF

2. Applications

   1. Front Matter

      Pages 1-1

      PDF

   2. Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing

      • Krzysztof Pietrzak

      Pages 3-15

   3. Proof-of-Reputation Blockchain with Nakamoto Fallback

      • Leonard Kleinrock, Rafail Ostrovsky, Vassilis Zikas

      Pages 16-38

   4. Transciphering, Using FiLIP and TFHE for an Efficient Delegation of Computation

      • Clément Hoffmann, Pierrick Méaux, Thomas Ricosset

      Pages 39-61

   5. Encrypted Key-Value Stores

      • Archita Agarwal, Seny Kamara

      Pages 62-85

3. Formal Methods

   1. Front Matter

      Pages 87-87

      PDF

   2. Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts

      • Cheng Shi, Kazuki Yoneyama

      Pages 89-106

   3. Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification

      • José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira

      Pages 107-127

   4. Protocol Analysis with Time

      • Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña

      Pages 128-150

   5. Verifpal: Cryptographic Protocol Analysis for the Real World

      • Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari

      Pages 151-202

4. Implementing Elliptic Curve Cryptography

   1. Front Matter

      Pages 203-203

      PDF

   2. On the Worst-Case Side-Channel Security of ECC Point Randomization in Embedded Devices

      • Melissa Azouaoui, François Durvaux, Romain Poussier, François-Xavier Standaert, Kostas Papagiannopoulos, Vincent Verneuil

      Pages 205-227

   3. Efficient Hardware Implementations for Elliptic Curve Cryptography over Curve448

      • Mojtaba Bisheh Niasar, Reza Azarderakhsh, Mehran Mozaffari Kermani

      Pages 228-247

   4. Extending the Signed Non-zero Bit and Sign-Aligned Columns Methods to General Bases for Use in Cryptography

      • Abhraneel Dutta, Aaron Hutchinson, Koray Karabina

      Pages 248-270

5. Ciphers and Cryptanalysis

   1. Front Matter

      Pages 271-271

      PDF

   2. Cryptanalysis of the Permutation Based Algorithm SpoC

      • Liliya Kraleva, Raluca Posteuca, Vincent Rijmen

      Pages 273-293

   3. More Glimpses of the RC4 Internal State Array

      • Pranab Chakraborty, Subhamoy Maitra

      Pages 294-311

   4. Mixture Integral Attacks on Reduced-Round AES with a Known/Secret S-Box

      • Lorenzo Grassi, Markus Schofnegger

      Pages 312-331

   5. Counting Active S-Boxes is not Enough

      • Orr Dunkelman, Abhishek Kumar, Eran Lambooij, Somitra Kumar Sanadhya

      Pages 332-344

This book constitutes the refereed proceedings of the 21st International Conference on Cryptology in India, INDOCRYPT 2020, held in Bangalore, India, in December 2020.The 39 full papers presented together with 3 invited abstracts in this book were carefully reviewed and selected from 84 submissions. Apart from its traditional focus on areas in applied and theoretical cryptology, this year INDOCRYPT solicited papers in the area of Formal Methods for Cryptographic Systems as well and much more.

• access control
• authentication
• ciphertexts
• computer hardware
• computer networks
• computer science
• computer security
• computer systems
• cryptography
• data security
• electronic document identification systems
• encryption
• engineering
• internet
• mathematics
• network protocols
• network security
• privacy
• public key cryptography
• security systems

• Inria Paris, Paris, France

  Karthikeyan Bhargavan

• University of Klagenfurt, Klagenfurt, Austria

  Elisabeth Oswald

• Department of Computer Science and Engineering, Indian Institute of Technology Bombay, Mumbai, India

  Manoj Prabhakaran

Policies and ethics