[FM-India] Call for Papers: Indocrypt 2020
madhavan at cmi.ac.in
Tue May 26 23:01:20 IST 2020
21st International Conference on Cryptology in India
13 - 16 December, 2020
IIIT Bangalore, India
Indocrypt 2020 is the 21st International Conference on Cryptology in India. The conference will take place during 13th - 16th December, 2020, at the International Institute of Information Technology (IIIT) Bangalore, Bengaluru, India. Indocrypt 2020 is part of the Indocrypt series organised under the aegis of 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.
Further details are available at the conference website: https://indocrypt2020.iiitb.ac.in .
In view of the COVID-19 pandemic, authors may virtually present the paper if they are unable to physically attend the conference. In this case, authors may register at a nominal fee.
Abstract Deadline: August 31, 2020
Paper Deadline: September 7, 2020
Notification: October 19, 2020
Camera Ready Deadline: October 26, 2020
Programme Committee Chairs
Karthikeyan Bhargavan, INRIA Paris, France
Elisabeth Oswald, University of Klagenfurt, Austria
Manoj Prabhakaran, IIT Bombay, India
S. Sadagopan, IIIT Bangalore, India
Vishal Saraswat, Robert Bosch, Bangalore, India
Srinivas Vivek, IIIT Bangalore, India.
More information about the FMIndia