Small Trusted Hardware for Large Distributed Systems[pdf]
css.csail.mit.edu