deepaksirone
Graduate Research Assistant at University of Wisconsin-Madison
University of Wisconsin-MadisonMadison, WI
Pinned Repositories
action-shim
Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
baseline-tap
bls12_381_plus_sgx
IITK-Thesis-Template-Sample
Sample templete for M.Tech thesis IITK
redox-fatfs
Mirror of https://gitlab.redox-os.org/redox-os/redox-fatfs
redox-loader
Mirror of https://gitlab.redox-os.org/redox-os/redox-loader
kalium_artifact
Artifact for the paper "Guarding Serverless Applications with Kalium"
tap_artifact
Artifact for the paper Architecting Trigger-Action Platforms for Security, Performance and Functionality (NDSS '24)
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
deepaksirone's Repositories
deepaksirone/bls12_381_plus_sgx
deepaksirone/action-shim
deepaksirone/baseline-tap
deepaksirone/bls12_381_plus
Implementation of the BLS12-381 pairing-friendly elliptic curve group
deepaksirone/faas-netes
Serverless Kubernetes with OpenFaaS (Functions as a Service)
deepaksirone/capstone-rs
high-level Capstone system bindings for Rust
deepaksirone/goczmq
goczmq is a golang wrapper for CZMQ.
deepaksirone/hibe
Implementation of HIBE
deepaksirone/incubator-teaclave-sgx-sdk
Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.
deepaksirone/keystone
deepaksirone/keystone-runtime
deepaksirone/keystone-runtime-1
Eyrie enclave runtime kernel
deepaksirone/keystone-sdk
deepaksirone/keystone-sm
deepaksirone/linux-keystone-driver
deepaksirone/linux-sgx
Intel SGX for Linux*
deepaksirone/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
deepaksirone/minimalist
Minimalist is a Jekyll theme inspired by the Minimal theme
deepaksirone/rule-cryptor
deepaksirone/rules_proto
Protocol buffer rules for Bazel
deepaksirone/serde-sgx
Serialization framework for Rust
deepaksirone/static_script_runtime
deepaksirone/StaticScript
deepaksirone/subtle
Pure-Rust traits and utilities for constant-time cryptographic implementations.
deepaksirone/tap-apps
deepaksirone/tap-client
deepaksirone/template-repo
deepaksirone/trigger-shim
deepaksirone/wolfssl
deepaksirone/wrk
Modern HTTP benchmarking tool