Giters
Prateek Saxena (prateeksaxena)

prateeksaxena

Geek Repo

3

followers

0

following

17

stars

Home Page:https://www.comp.nus.edu.sg/~prateeks/

Github PK Tool:Github PK Tool

Prateek Saxena's starred repositories

ratel

Ratel - a new framework for instruction-level interposition on enclaved applications

Language:CLicense:BSD-3-ClauseStargazers:21Issues:0Issues:0

ratel-psw

Intel SGX Linux PSW for Ratel

Language:C++License:NOASSERTIONStargazers:3Issues:0Issues:0

Web-Local-Attacks

Language:JavaScriptStargazers:49Issues:0Issues:0

Obscuro

Obscuro: A Secure and Anonymous Bitcoin Mixer using SGX

Language:CLicense:MITStargazers:17Issues:0Issues:0

taintinduce

TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.

Language:PythonStargazers:57Issues:0Issues:0

SGX-DPDK

A firewall application that leverages DPDK for performance and SGX for security.

Language:CLicense:MITStargazers:16Issues:0Issues:0

Ethracer

Language:PythonLicense:MITStargazers:13Issues:0Issues:0

NPAQ

Neural Property Approximate Quantifier

Language:PythonLicense:MITStargazers:8Issues:0Issues:0

OHIE

OHIE - Blockchain scaling

Language:C++Stargazers:34Issues:0Issues:0

BesFS

A POSIX Filesystem for Enclaves with a Mechanized Safety Proof

Language:CoqStargazers:16Issues:0Issues:0

oyente

An Analysis Tool for Smart Contracts

Language:JavaScriptLicense:GPL-3.0Stargazers:1317Issues:0Issues:0

Zilliqa

Zilliqa is the world's first high-throughput public blockchain platform - designed to scale to thousands ​of transactions per second.

Language:C++License:GPL-3.0Stargazers:1126Issues:0Issues:0

MAIAN

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

Language:PythonLicense:MITStargazers:553Issues:0Issues:0

EKLAVYA

Language:PythonStargazers:56Issues:0Issues:0

OblivP2P-Code

Implementation for OblivP2P (construction-0 and construction-1(unoptimized))

Language:PythonStargazers:51Issues:0Issues:0

oyente

The project has been moved to this new repo https://github.com/melonproject/oyente

Language:PythonLicense:MITStargazers:64Issues:0Issues:0

Panoply

Low-TCB Linux Applications with SGX Enclaves

Language:CLicense:Apache-2.0Stargazers:35Issues:0Issues:0