P. Kalika

A site for learning Mathematics

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

University of Hyderabad
Gachibowli, Hyderabad

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


Author: P. Kalika

Presently Research Scholar at CUJ, Jharkhand. Formerly an alumni of Delhi University(UG) and Central University of Rajasthan(PG).

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 )

Google+ photo

You are commenting using your Google+ 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 )

Connecting to %s