pramodsu

Assistant Professor at the Indian Institute of Technology Kanpur.

Indian Institute of Technology Kanpur

Pinned Repositories

acm-malware-school-web-security-2019
Course Material for the web security module in the ACM India Summer School on Detection and Analysis of Malware
1 1 01
analyses-scripts
Random scripts for analyses
Language:Python0 2 01
cs675-hello-sat
Introduction to SAT solving for the course CS675
Language:Scala1 2 03
cs675-hello-scala
Introduction to Scala for the course CS675A
Language:Scala1 2 04
DesignDriverSoC
Design Driver SoC for Verification Project
Language:Verilog3 3 03
ILA-Tools
Instruction-Level Abstraction
Language:C21
pyLingeling
Lingeling SAT Solver Python Wrapper
Language:C5 2 02
satsmt2018
Practice Problems for the SAT+SMT winter school 2018
Language:Python4 3 02

pramodsu's Repositories

pramodsu/pyLingeling
Lingeling SAT Solver Python Wrapper
Language:C5 2 02
pramodsu/satsmt2018
Practice Problems for the SAT+SMT winter school 2018
Language:Python4 3 02
pramodsu/DesignDriverSoC
Design Driver SoC for Verification Project
Language:Verilog3 3 03
pramodsu/ILA-Tools
Instruction-Level Abstraction
Language:C21
pramodsu/acm-malware-school-web-security-2019
Course Material for the web security module in the ACM India Summer School on Detection and Analysis of Malware
1 1 01
pramodsu/cs675-hello-sat
Introduction to SAT solving for the course CS675
Language:Scala1 2 03
pramodsu/cs675-hello-scala
Introduction to Scala for the course CS675A
Language:Scala1 2 04
pramodsu/analyses-scripts
Random scripts for analyses
Language:Python0 2 01
pramodsu/boogie
Boogie
Language:C#2 0
pramodsu/bull
Boolean Function Learning Library
Language:TeX2 0
pramodsu/cs675-hello-smt
Introduction to the use of the Z3 API for CS675
Language:Scala2 02
pramodsu/cs675a-2020-midterm
Midterm Exam
Language:Scala4 02
pramodsu/cs675a-2020-symex
Language:Scala2 0
pramodsu/gcn
Implementation of Graph Convolutional Networks in TensorFlow
Language:Python2 0
pramodsu/Hamming-ECC
Hamming ECC Encoder and Decoder to protect memories
Language:SystemVerilog1 01
pramodsu/hello-libhandler-enclave
A "Hello World" Intel SGX enclave program
Language:Makefile2 01
pramodsu/InvisiSpec-1.0
Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
Language:C++1 01
pramodsu/jPicoSAT
Java to PicoSAT interface
Language:C2 01
pramodsu/keras-gcn
Keras implementation of Graph Convolutional Networks
Language:Python
pramodsu/kissdb
(Keep It) Simple Stupid Database
Language:C1 0
pramodsu/libhandler
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
Language:C2 01
pramodsu/linux-keystone-driver
Loadable Module for Keystone Enclave
Language:C2 01
pramodsu/nirjhar-resume
This repo contains resume for upcoming placments and interviews
Language:TeX1 0
pramodsu/opaque
A data analytics platform with strong security
Language:C++1
pramodsu/pelican-blue
Responsive theme for Pelican Static Site Generator, Powered by Python
Language:HTML2 0
pramodsu/QHP-verif-2020
1 01
pramodsu/scala-java-interop
Scala-Java interoperability examples
Language:Scala1 01
pramodsu/Self-Composition-using-z3
Language:Python2 01
pramodsu/tem5
Language:C++1 0
pramodsu/tinymalloc-debug
Language:C2 01