P. Kalika

A site for learning Mathematics

Leave a comment

International Conference on Cyber Security

International Conference on Cyber Security(ICCS-2016) , Schedule Aug 13-14, 2016.

Conference Venue: Rajasthan Technical University, Kota, 424010

For more details, find the attachment  International Conference on Cyber Security


Leave a comment

Nice blog

A 10 minute tutorial for solving Math problems with Maxima



wxMaxima is a document based interface for the computer algebra system Maxima. wxMaxima provides menus and dialogs for many common maxima commands, autocompletion, inline plots and simple animations. wxMaxima is distributed under the GPL license. You may download it from http://andrejv.github.io/wxmaxima/

Leave a comment

International Workshop on “SMT Solvers based Cryptanalysis”

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