P. Kalika

Leave a comment

32nd West Zone Youth Fest @Ganpat University

We have got 3rd position in Installation in 32nd Inter-University West Zone Youth Festival. Held at Ganpat University, Mehsana, Gujrat.


Selected for participating in 32nd National Youth fest.





Leave a comment

Joined IIT(BHU) for summer training program

Currently, I have enrolled myself for Short Term Course at The Department of Mathematical Sciences at IIT(BHU). Here I have focused on C programming and learning techniques to solve numerical problems that how  we generate data using C program and analyze them, how it works, how we think to design a program to solve a problem…etc. You may visit the link for more details about the institute  IIT (BHU) or (Banaras Hindu University )


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