Progress in Cryptology – INDOCRYPT 2020: 21st International Conference on Cryptology in India, Bangalore, India, December 13–16, 2020, Proceedings (Lecture Notes in Computer Science Book 12578)

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. Front Matter ....Pages i-xx Front Matter ....Pages 1-1 Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing (Krzysztof Pietrzak)....Pages 3-15 Proof-of-Reputation Blockchain with Nakamoto Fallback (Leonard Kleinrock, Rafail Ostrovsky, Vassilis Zikas)....Pages 16-38 Transciphering, Using FiLIP and TFHE for an Efficient Delegation of Computation (Clément Hoffmann, Pierrick Méaux, Thomas Ricosset)....Pages 39-61 Encrypted Key-Value Stores (Archita Agarwal, Seny Kamara)....Pages 62-85 Front Matter ....Pages 87-87 Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts (Cheng Shi, Kazuki Yoneyama)....Pages 89-106 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 Protocol Analysis with Time (Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña)....Pages 128-150 Verifpal: Cryptographic Protocol Analysis for the Real World (Nadim Kobeissi, Georgio Nicolas, Mukesh Tiwari)....Pages 151-202 Front Matter ....Pages 203-203 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 Efficient Hardware Implementations for Elliptic Curve Cryptography over Curve448 (Mojtaba Bisheh Niasar, Reza Azarderakhsh, Mehran Mozaffari Kermani)....Pages 228-247 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 Front Matter ....Pages 271-271 Cryptanalysis of the Permutation Based Algorithm SpoC (Liliya Kraleva, Raluca Posteuca, Vincent Rijmen)....Pages 273-293 More Glimpses of the RC4 Internal State Array (Pranab Chakraborty, Subhamoy Maitra)....Pages 294-311 Mixture Integral Attacks on Reduced-Round AES with a Known/Secret S-Box (Lorenzo Grassi, Markus Schofnegger)....Pages 312-331 Counting Active S-Boxes is not Enough (Orr Dunkelman, Abhishek Kumar, Eran Lambooij, Somitra Kumar Sanadhya)....Pages 332-344 Computing Expected Differential Probability of (Truncated) Differentials and Expected Linear Potential of (Multidimensional) Linear Hulls in SPN Block Ciphers (Maria Eichlseder, Gregor Leander, Shahram Rasoolzadeh)....Pages 345-369 Front Matter ....Pages 371-371 Quantum Cryptanalysis on Contracting Feistel Structures and Observation on Related-Key Settings (Carlos Cid, Akinori Hosoyamada, Yunwen Liu, Siang Meng Sim)....Pages 373-394 Evaluation of Quantum Cryptanalysis on SPECK (Ravi Anand, Arpita Maitra, Sourav Mukhopadhyay)....Pages 395-413 Front Matter ....Pages 415-415 Making the BKW Algorithm Practical for LWE (Alessandro Budroni, Qian Guo, Thomas Johansson, Erik Mårtensson, Paul Stankovski Wagner)....Pages 417-439 On a Dual/Hybrid Approach to Small Secret LWE (Thomas Espitau, Antoine Joux, Natalia Kharchenko)....Pages 440-462 Front Matter ....Pages 463-463 Adaptively Secure Threshold Symmetric-Key Encryption (Pratyay Mukherjee)....Pages 465-487 Vetted Encryption (Martha Norberg Hovd, Martijn Stam)....Pages 488-507 Security of Public Key Encryption Against Resetting Attacks (Juliane Krämer, Patrick Struck)....Pages 508-528 The Multi-Base Discrete Logarithm Problem: Tight Reductions and Non-rewinding Proofs for Schnorr Identification and Signatures (Mihir Bellare, Wei Dai)....Pages 529-552 Skipping the q in Group Signatures (Olivier Blazy, Saqib A. Kakvi)....Pages 553-575 Incremental Cryptography Revisited: PRFs, Nonces and Modular Design (Vivek Arte, Mihir Bellare, Louiza Khati)....Pages 576-598 Front Matter ....Pages 599-599 Gadget-Based iNTRU Lattice Trapdoors (Nicholas Genise, Baiyu Li)....Pages 601-623 Lattice-Based IBE with Equality Test Supporting Flexible Authorization in the Standard Model (Giang Linh Duc Nguyen, Willy Susilo, Dung Hoang Duong, HuyQuoc Le, Fuchun Guo)....Pages 624-643 Efficient Attribute-Based Proxy Re-Encryption with Constant Size Ciphertexts (Arinjita Paul, S. Sharmila Deva Selvi, C. Pandu Rangan)....Pages 644-665 Adaptive-Secure Identity-Based Inner-Product Functional Encryption and Its Leakage-Resilience (Linru Zhang, Xiangning Wang, Yuechen Chen, Siu-Ming Yiu)....Pages 666-690 CCA-Secure ABE Using Tag and Pair Encoding (Olivier Blazy, Sayantan Mukherjee)....Pages 691-714 Simpler Constructions of Asymmetric Primitives from Obfuscation (Pooya Farshim, Georg Fuchsbauer, Alain Passelègue)....Pages 715-738 Front Matter ....Pages 739-739 Adaptive Security of Practical Garbling Schemes (Zahra Jafargholi, Sabine Oechsner)....Pages 741-762 Constructive t-secure Homomorphic Secret Sharing for Low Degree Polynomials (Kittiphop Phalakarn, Vorapong Suppakitpaisarn, Nuttapong Attrapadung, Kanta Matsuura)....Pages 763-785 Perfectly-Secure Asynchronous MPC for General Adversaries (Extended Abstract) (Ashish Choudhury, Nikhil Pappu)....Pages 786-809 Improving the Efficiency of Optimally-Resilient Statistically-Secure Asynchronous Multi-party Computation (Ashish Choudhury)....Pages 810-831 High Throughput Secure MPC over Small Population in Hybrid Networks (Extended Abstract) (Ashish Choudhury, Aditya Hegde)....Pages 832-855 Front Matter ....Pages 857-857 Dual-Mode NIZKs: Possibility and Impossibility Results for Property Transfer (Vivek Arte, Mihir Bellare)....Pages 859-881 On Black-Box Extension of a Non-Interactive Zero-Knowledge Proof System for Secret Equality (Kyosuke Yamashita, Mehdi Tibouchi, Masayuki Abe)....Pages 882-904 Back Matter ....Pages 905-906