-
uclid Public
Forked from uclid-org/uclidUCLID5: formal modeling, verification, and synthesis of computational systems
Scala Other UpdatedSep 26, 2020 -
-
Hamming-ECC Public
Forked from pramodsu/Hamming-ECCHamming ECC Encoder and Decoder to protect memories
SystemVerilog Other UpdatedMay 18, 2020 -
InvisiSpec-1.0 Public
Forked from pramodsu/InvisiSpec-1.0Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
C++ BSD 3-Clause "New" or "Revised" License UpdatedApr 27, 2020 -
cs675-hello-smt Public
Forked from pramodsu/cs675-hello-smtIntroduction to the use of the Z3 API for CS675
Scala UpdatedFeb 13, 2020 -
cs675-hello-sat Public
Forked from pramodsu/cs675-hello-satIntroduction to SAT solving for the course CS675
Scala UpdatedFeb 13, 2020 -
-
cs675-hello-scala Public
Forked from pramodsu/cs675-hello-scalaIntroduction to Scala for the course CS675A
Scala UpdatedJan 7, 2020 -
-
-
DesignDriverSoC Public
Forked from pramodsu/DesignDriverSoCDesign Driver SoC for Verification Project
Verilog UpdatedSep 4, 2019 -
satsmt2018 Public
Forked from pramodsu/satsmt2018Practice Problems for the SAT+SMT winter school 2018
Python UpdatedJul 10, 2019 -
acm-malware-school-web-security-2019 Public
Forked from pramodsu/acm-malware-school-web-security-2019Course Material for the web security module in the ACM India Summer School on Detection and Analysis of Malware
UpdatedJun 23, 2019 -
scala-java-interop Public
Forked from pramodsu/scala-java-interopScala-Java interoperability examples
Scala Apache License 2.0 UpdatedJun 7, 2019 -
linux-keystone-driver Public
Forked from pramodsu/linux-keystone-driverLoadable Module for Keystone Enclave
C Other UpdatedApr 16, 2019 -
analyses-scripts Public
Forked from pramodsu/analyses-scriptsRandom scripts for analyses
Python UpdatedJan 6, 2019 -
opaque Public
Forked from pramodsu/opaqueA data analytics platform with strong security
C++ Apache License 2.0 UpdatedNov 9, 2018 -
Self-Composition-using-z3 Public
Forked from pramodsu/Self-Composition-using-z3Python UpdatedOct 24, 2018 -
libhandler Public
Forked from pramodsu/libhandlerLibhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
C Other UpdatedSep 24, 2018 -
hello-libhandler-enclave Public
Forked from pramodsu/hello-libhandler-enclaveA "Hello World" Intel SGX enclave program
Makefile The Unlicense UpdatedSep 24, 2018 -
pyLingeling Public
Forked from pramodsu/pyLingelingLingeling SAT Solver Python Wrapper
C Other UpdatedSep 7, 2018 -
-
-
{{ message }}