pramodsu Goto Github PK

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

analyses-scripts

Random scripts for analyses

boogie

Boogie

bull

Boolean Function Learning Library

cs675-hello-sat

Introduction to SAT solving for the course CS675

cs675-hello-scala

Introduction to Scala for the course CS675A

cs675-hello-smt

Introduction to the use of the Z3 API for CS675

cs675a-2020-midterm

Midterm Exam

cs675a-2020-symex

designdriversoc

Design Driver SoC for Verification Project

gcn

Implementation of Graph Convolutional Networks in TensorFlow

hamming-ecc

Hamming ECC Encoder and Decoder to protect memories

hello-libhandler-enclave

A "Hello World" Intel SGX enclave program

ila-tools

Instruction-Level Abstraction

invisispec-1.0

Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.

jpicosat

Java to PicoSAT interface

keras-gcn

Keras implementation of Graph Convolutional Networks

kissdb

(Keep It) Simple Stupid Database

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

pylingeling

Lingeling SAT Solver Python Wrapper

qhp-verif-2020

satsmt2018

Practice Problems for the SAT+SMT winter school 2018

scala-java-interop

Scala-Java interoperability examples

self-composition-using-z3

tem5

tinymalloc-debug