Publications

The first consensus algorithm with heterogeneous failures, heterogeneous participants, and heterogeneous observers.

We present Charlotte, a framework for composable, Authenticated Distributed Data Structures (ADDSs), like blockchains, git, bittorrent, etc.

This report represents an earlier prototype implementation of the Charlotte framework.

We use the Decentralized Label Model to show how distributed algorithms, like Bosco and Nysiad, can be generalized from more complex trust environments.

With novel, carefully tuned features, neural nets, and SVMs, we were able to determine the author of samples from a group of ten webcomic artists with 94% accuracy.

We investigate some potential “slowdown” cases of the classic multi-Paxos algorithm, and developed some new variants to avoid them.

Since a message decrypted with the “wrong” key is pseudorandom, we build pseudorandom trees using onion routing with multiple forwarding addresses.

Contributions to NuSIM, a simulator for the NuSTAR space telescope, concerning how to compensate for thermal fluctuations in NuSTAR’s mast.

OpenGIS uses the EPSG registry to convert coordinate systems used by maps of Earth. Making something similar for the moon proved deceptively difficult.