"Trust no one, bench everything." - SBT plugin for JMH (Java Microbenchmark Harness)
Enabling the latent trust between humans.
A Coq Library for the SecureND Calculus for Minimal Trust
Windows Phone Canada Trust