pramodsu's repositories
pyLingeling
Lingeling SAT Solver Python Wrapper
satsmt2018
Practice Problems for the SAT+SMT winter school 2018
DesignDriverSoC
Design Driver SoC for Verification Project
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
cs675-hello-sat
Introduction to SAT solving for the course CS675
cs675-hello-scala
Introduction to Scala for the course CS675A
analyses-scripts
Random scripts for analyses
bull
Boolean Function Learning Library
cs675-hello-smt
Introduction to the use of the Z3 API for CS675
cs675a-2020-midterm
Midterm Exam
Hamming-ECC
Hamming ECC Encoder and Decoder to protect memories
hello-libhandler-enclave
A "Hello World" Intel SGX enclave program
InvisiSpec-1.0
Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
keras-gcn
Keras implementation of Graph Convolutional Networks
libhandler
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
linux-keystone-driver
Loadable Module for Keystone Enclave
nirjhar-resume
This repo contains resume for upcoming placments and interviews
opaque
A data analytics platform with strong security
pelican-blue
Responsive theme for Pelican Static Site Generator, Powered by Python
scala-java-interop
Scala-Java interoperability examples