Theory of Secure Computation - Joe Killian, NEC Labs