"Trust no one, bench everything." - SBT plugin for JMH (Java Microbenchmark Harness)

Enabling the latent trust between humans.

Windows Phone Canada Trust

A Coq Library for the SecureND Calculus for Minimal Trust