SHUBHAM SAHAI SRIVASTAVA

(PhD Student)


DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING

IIT KANPUR

SEE MORE

ABOUT


I am doing my PhD from Cyber Security Center, Indian Institute of Technology, Kanpur and currently working with Prof. Sandeep K. Shukla and Prof. Pramod Subramanyan.

My research interest lies around Blockchain, formal methods and applied cryptography. I have keen interest in designing systems that guarantee trust and privacy among users. My peripheral interest in cryptography revolves around Zero Knowledge proofs, oblivious RAMs & Homomorphic Encryption, and I believe these constructions will play a pivotal role in the developement of secure, trustworthy and privacy preserving digital world.

I have also explored problems in Computational Number Theory and Algebra, and have worked on Integer Factorization with Prof. Manindra Agrawal and Prof. Nitin Saxena.

PUBLICATIONS

    TECHNICAL ARTICLES

    1. Working out an example with CEGAR ( November 2016 )

    2. Detecting Insider Attacks on Databases using Blockchains (November 2017)

    TALKS

    Date Title of the talk Venue
    August 18, 2018 Zero Knowledge proofs and its applications in Blockchain (Invited Talk) IIIT Allahabad, India
    June 3, 2018 Interactive Proofs, Zero Knowledge Proofs and zkSNARKs IBM Research, Bangalore, India
    May 10, 2017 Formal Verification of Cryptographic Protocols (SOTA Seminar) IIT Kanpur, India
    November 17, 2016 Counter Example Guided Abstraction Refinement (CEGAR) IIT Kanpur, India
    August 16, 2016 Analysis of Cryptographic Protocols using Formal Methods IIT Kanpur, India
    February 11, 2016 Factoring Integers using small algebraic dependencies Tel Aviv University, Israel
    September 25, 2015 Computing Arbitrary functions of encrypted data IIT Kanpur, India
    April 5, 2014 Primality Testing : Is Randomization worth practicing? IIT Kanpur, India
    January 16, 2014 Factorizing Integers via Diophantine Approximation IIT Kanpur, India
    November 18, 2013 The smallest enclosing circle problem IIT Kanpur, India

    COURSES DONE @ IITK

    Course ID Course Name Project
    CS 601 Mathematics for Computer Science Not Applicable
    CS 602 Design and Analysis of Algorithms Not Applicable
    CS 628 Computer Systems Security Not Applicable
    CS 634 Mobile Computing Real Time Location Sensitive Emergency Alert System
    CS 640 Computational Complexity Theory Primality Testing : Is randomization worth practicing?
    CS 641 Modern Cryptology Not Applicable
    CS 647 Advanded Data Structures and Algorithms Not Applicable
    CS 648 Randomized Algorithms Emperical Analysis of algorithms for Minimum Enclosing Circle
    CS 652 Computer Aided Verification Formal Verification of UPI Protocol by NPCI
    CS 653 Functional Programming Smart Classification using Bayesian Monads
    CS 654 Software Architecture Domain Specific Search Engine Framework
    CS 698D Special Topics in Data Compression Not Applicable

    CONTACT


    CS - 108, HR Kadim Diwan Building,
    Department of Computer Science and Engineering, IIT Kanpur
    Uttar Pradesh - 208016, INDIA
    (+91) 512 - 2597028
    ssahai [AT] deleteThis.cse.iitk.ac.in
    ssahai [AT] deleteThis.iitk.ac.in