sga001

Sebastian Angel's starred repositories

IFS

Programmable switch with optional client privacy

Language:C++MIT400

causalmesh

Language:RustMIT500

mucache

A caching framework for microservice applications

Language:GoMIT1300

flamingo

A secure aggregation system for private federated learning

Language:PythonMIT3200

Reef

Reef: A zkSNARK system for proving that a committed document matches a regex

Language:RustMIT6100

Nimble

Rollback protection for confidential services

Language:RustMIT2800

mu2sls

A framework for correctly implementing stateful microservice applications on serverless using standard Python.

Language:PythonMIT1000

fhe.rs

Fully Homomorphic Encryption library in Rust

Language:RustMIT19800

otti

A zkSNARK compiler for optimization problems

Language:Python600

SealPIR

Example implementation of the SealPIR protocol

Language:C++MIT13800

SealPIR

Example implementation of the SealPIR protocol

Language:C++MIT600

incpir

Incremental Offline/Online PIR

Language:C++MIT1400

spartan-zkinterface

Deserialization from zkinterface to Spartan

Language:Rust200

Beldi

Language:GoMIT5100

conec

COordinated NEtwork Channels

Language:RustApache-2.0500

Spartan

Spartan: High-speed zkSNARKs without trusted setup

Language:RustMIT68100

coursegen

Course web page generator framework

Language:RubyNOASSERTION2800

sgx-membench

Simple memory benchmarking of Intel SGX

Language:RustApache-2.01200

pung

Pung: a fully untrusted private communication system

Language:RustCC0-1.03300

blog

Some notes on things I find interesting and important.

Language:JavaScript196700

rtbkit

RTBkit is an open-source software package that allows you to create and deploy a Real Time Bidder for display advertising.

Language:C++Apache-2.0106800

k-mulus

Bioinformatics tool for performing distributed sequence queries.

Language:Java300

FOG

a publish/subscribe protocol for delay-sensitive networks

Language:Ruby200