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.

20170108_101608.jpg

Selected for participating in 32nd National Youth fest.

IMG_20170110_142942.jpg

IMG_20170110_145136.jpgIMG_20170110_144024506.jpgIMG_20170110_144056305.jpgIMG_20170110_150318965.jpg

15895912_1343334645737895_5424850223949106866_o.jpg

Advertisements


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 )

IIT-BHU.jpgmain-qimg-bbd3358fa39950ddbeb61d1a30928c3e.jpg


Leave a comment

Nice blog

A 10 minute tutorial for solving Math problems with Maxima

http://math-blog.com/2007/06/04/a-10-minute-tutorial-for-solving-math-problems-with-maxima/

wxMaxima

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

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

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