Specification for the Execution Layer. Tracking network upgrades.

EVM-Arbitrage-Bot

BADD Labs: Active Learning in Blockchain And Dapp Development

Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.

SEED Labs developed in the last 20 years.

Secondary index on HBase

Gas-­efficient State Replication on Blockchain with Workload Awareness

The Ethereum Improvement Proposal repository

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

badd-labs.github.io

An open and flexible framework for developing enclave applications

SGX labs designed for CIS700 Information Security and Privacy

Auditing for TLS certificates.

Distributed storage for sequential data

Certificate Transparency Log Monitor

an easy-to-use dynamic service discovery, configuration and service management platform for building cloud native applications.

A naive implementation of malloc library based on brk()

An Emulator and SDK for Intel SGX extension

Skeleton code for new 6.858 final project --- an encrypted and authenticated file system

Compiler-based tool that protects Intel SGX applications against controlled-channel attacks

C++ library for zkSNARKs

experiment for column store h-buffer

Consistency verification tool

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

👷 Quick hack for making real work happen.