P. Kalika

International Workshop on “SMT Solvers based Cryptanalysis”

Leave a comment

Please find the brochure and registration form of International Workshop on “SMT Solvers based Cryptanalysis”  scheduled from 27 to 29 June, 2016 in the attachment.

Topics to be covered:

  •  Introduction to Formal Methods
  • Overview of Algebraic Cryptanalysis
  • SAT Architecture
  • SMT Architecture
  • Decision Procedures, Bit Vector Theories, Theory Solvers
  • Internals of SMT: Rules, First-order Logic, DAG etc.
  • Overview of Crypto SMT
  • Differential Cryptanalysis of ARX based ciphers (SIMON, IDEA
    etc.,) using Crypto SMT

Target Audience:
Faculty, Research Scholar, PG Students, Working professional, Scientists, Researchers and Government Officials in the field of information security

Venue:
CR RAO AIMSCS,
University of Hyderabad
Campus
Gachibowli, Hyderabad

SMT-workshop-brochure  and    SMT-workshop-registration-form

Advertisements

Author: P. Kalika

Student at Mathematics at Central University.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s