resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



Indocrypt 2020 : 21st International Conference on Cryptology in India

Bengaluru, India
Event Date: Dec 13, 2020 - Dec 16, 2020
Abstract Submission Deadline: Aug 31, 2020
Submission Deadline: Sep 07, 2020
Notification of Acceptance: Oct 19, 2020
Camera Ready Version Due : Oct 26, 2020

About

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.

Call For Paper

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

Best Deals



Check Other Conferences, Workshops, and Seminars

OTHER CRYPTOLOGY EVENTS

CRYPTO 2020 : International Cryptology Conference
Santa Barbara, CA, USA
Aug 16, 2020
CANS 2020 : Cryptology and Network Security
Vienna, Austria
Dec 14, 2020
INDOCRYPT 2019 : The 20th International Conference on Cryptology in India Conference Series
Avasa Hotel, Hyderabad
Dec 15, 2019
CANS 2019 2019 : The 18th International Conference on Cryptology And Network Security
Fuzhou, China
Oct 25, 2019
IJMCIS 2019 : International Journal of Multidisciplinary in Cryptology and Information Security
N/A

OTHER COMPUTER SECURITY EVENTS

SECRYPT 2021 : 18th International Conference on Security and Cryptography
Lieusaint - Paris, France
Jul 06, 2021
SOUPS 2021 : Symposium On Usable Privacy and Security
Vancouver, Canada
Aug 08, 2021
FC 2021 : International Conference on Financial Cryptography and Data Security
Caribbean, United States
Mar 01, 2021
HASP 2020 : Hardware and Architectural Support for Security and Privacy
Online
Oct 17, 2020
SILM 2020 : Worskshop on the Security of Software / Hardware Interfaces
Genova, Italy
Jun 19, 2020

OTHER FORMAL VERIFICATION EVENTS

FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems
Online
Dec 07, 2020
VSC @IEEE WETICE 2020 : Track on Validating Software for Critical Systems (VSC)
Basque Coast - Bayonne, France
Jun 10, 2020
GandAlf 2019 : The Tenth International Symposium on Games, Automata, Logics, and Formal Verification
Bordeaux, France
Sep 2, 2019
FVPS 2019 : 2nd Workshop on Formal Verification of Physical Systems
Prague, Czech Republic
Jul 8, 2019
FT4DAS 2019 : Formal Techniques for Dependable Autonomous Systems
Turku, Finland
Sep 10, 2019