[FM-India] Fwd: CFP: INDOCRYPT 2020

[S P Suresh]

Begin forwarded message:
> 
> From: Karthikeyan Bhargavan <karthik.bhargavan at gmail.com>
> Subject: Re: CFP: INDOCRYPT 2020
> Date: 19 July 2020 at 19:27:41 IST
> To: Karthikeyan Bhargavan <karthik.bhargavan at gmail.com>
> 
> Hello Again,
> 
> There were some mistakes in the PC list, fixed below.
> Please let me know if there are other bugs in this.
> 
> With fixed PC: please use this version.
> 
> Call for Papers: INDOCRYPT 2020
> ============================
> 
> 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. 
> This year, 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.
> 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.
> 
> The conference website is accessible at indocrypt2020.iiitb.ac.in <http://indocrypt2020.iiitb.ac.in/>. 
> 
> 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
> 
> Deadlines
> ========
> 
> 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 
> indocryptchair at gmail.com <mailto:indocryptchair at gmail.com>
> 
> General and Organising Chairs 
> ========================
> General Co-chairs: S. Sadagopan IIIT Bangalore, Vishal Saraswat Robert Bosch, Bangalore 
> Organizing Chair: Srinivas Vivek IIIT Bangalore Organising Chair 
> indocrypt2020 at gmail.com <mailto:indocrypt2020 at gmail.com>
> 
> Programme Committee
> ==================
> Shweta Agrawal, Indian Institute of Technology Madras, IN 
> Shashank Agrawal, Western Digital, US 
> Saikrishna Badrinarayanan, Visa Research, US 
> Manuel Barbosa, HASLab - INESC TEC, PT 
> Mihir Bellare, University of California San Diego, US 
> Davide Bellizia, Universit´e Catholique de Louvain, BE 
> Karthikeyan Bhargavan, INRIA Paris, FR (PC Co-chair) 
> Begul Bilgin, KU Leuven, BE 
> Bruno Blanchet, INRIA Paris, FR 
> Chris Brzuska, Aalto University, FI
> Nishanth Chandran, Microsoft Research, IN 
> Ran Cohen, Northeastern University, US 
> Cas Cremers, CISPA Helmholtz Center for Information Security in Saarbruecken, DE 
> Apoorva Deshpande, Snap Inc., US 
> Maria Eichlseder, IAIK TU Graz, AT 
> Pooya Farshim, University of York, UK 
> Chaya Ganesh, Indian Institute of Science, IN 
> Deepak Garg, Max Planck Institute for Software Systems, DE 
> Vipul Goyal, Carnegie Mellon University, US 
> Clementine Gritti, University of Canterbury, NZ
> Divya Gupta, Microsoft Research, IN 
> Carmit Hazay, Bar-Ilan University, IL 
> James Howe, PQShield, UK 
> Abhishek Jain, Johns Hopkins University, US 
> Bhavana Kanukurthi, Indian Institute of Science, IN 
> Dakshita Khurana, University of Illinois Urbana-Champaign, US 
> Markulf Kohlweiss, University of Edinburgh, UK 
> Venkata Koppula, Weizmann Institute of Science, IL 
> Steve Kremer, INRIA, FR 
> NV Narendra Kumar, IDRBT, Hyderabad IN
> Ralf Kuesters, University of Stuttgart, DE 
> Patrick Longa, Microsoft Research Redmond, US 
> Bart Mennink, Digital Security Group, Radboud University Nijmegen, NL 
> Aikaterini Mitrokotsa, Chalmers University of Technology, SE 
> Pratyay Mukherjee, Visa Research, US 
> Debdeep Mukhopadhyay, Indian Institute of Technology Kharagpur, IN 
> David Naccache, Ecole normale sup´erieure, FR 
> Prasad Naldurg, INRIA, FR 
> Ryo Nishimaki, NTT, JP 
> Adam O’Neill, University of Massachusetts, US 
> Sabine Oechsner, Aarhus University, DK 
> Elisabeth Oswald, University of Klagenfurt, AT (PC Co-chair) 
> Anat Paskin-Cherniavsky, Ariel University, IL 
> Arpita Patra, Indian Institute of Science, IN 
> Raphael C.-W. Phan, Monash University, MY 
> Romain Poussier, Nanyang Technological University, SG 
> Manoj Prabhakaran, Indian Institute of Technology Bombay, IN (PC Co-chair) 
> Sanjiva Prasad, Indian Institute of Technology Delhi, IN 
> R Ramanujam, Institute of Mathematical Sciences, Chennai, IN
> Aseem Rastogi, Microsoft Research, IN 
> Mike Rosulek, Oregon State University, US 
> Arnab Roy, University of Klagenfurt, AT 
> Alessandra Scafuro, North Carolina State University, US 
> Peter Schwabe, Radboud University, NL 
> Sourav Sen, Gupta Nanyang Technological University, SG 
> Akshayaram Srinivasan, University of California Berkeley, US 
> Pierre-Yves Strub, Ecole Polytechnique, FR 
> S P Suresh, Chennai Mathematical Institute, IN 
> Ni Trieu, University of California Berkeley, US 
> Prashant Vasudevan, University of California Berkeley, US 
> Bo-Yin Yang, Academia Sinica, TW
> Santiago Zanella-Beguelin, Microsoft Research, USA