21st International Conference on Cryptology in India (Indocrypt)
Event submitted on Monday, June 8th 2020, approved by Charles Villanueva ✓
This event has been tagged as follows:
This is the 21st time that this Crypto event has taken place in India, so clearly very impressive longevity. If you work with any form of cryptology then we’d encourage you to attend this physical event in Bangalore.
The following description was either submitted by the Conference Organizer on Monday, June 8th 2020, or created by us.
Indocrypt 2020 is the 21st International Conference on Cryptology in India.
The conference will take place on December 13 – 16, 2020, at the International Institute of Information Technology (IIIT) Bangalore, Bengaluru, India. Indocrypt 2020 is part of the Indocrypt series organized under the aegis of the Cryptology Research Society of India (CRSI), and this edition is held in cooperation with IACR.
Topics of Interest
Original papers on all technical aspects of cryptology are solicited for submission to Indocrypt 2020. We welcome submissions on all aspects of cryptography including but not limited to:
Foundations, New primitives, Cryptanalysis, Security models, Implementation aspects, Protocols, Applications.
Submissions on cryptographic aspects of Network Security, Complexity Theory, Information Theory, Coding Theory, Number Theory, and Quantum Computing will also be considered. In addition, Indocrypt is expanding its scope to include formal methods for cryptographic systems, as detailed below.
New Theme: Formal Methods for Cryptographic Systems
We seek papers on the use of formal techniques in the design, analysis, and implementations of cryptographic constructions, protocols, and applications. We especially encourage papers on improved analysis techniques and on case studies that apply such techniques on real-world cryptographic systems.
Possible topics of interest include, but are not limited to:
Formal security definitions, Mechanized cryptographic proofs, New cryptographic protocol designs, Symbolic protocol analysis, Domain-specific languages for cryptographic algorithms and systems, Software security, Testing and fuzzing for cryptographic software, Tools for finding side-channel attacks, Verified side-channel countermeasures, Verified privacy, Verified accountability, Verified fairness, Formal analysis of cryptographic APIs.