[talks] ​Soumyadeep Ghosh will present his FPO, "TrustGuard: A Containment Architecture with Verified Output" on Monday, 12/12/2016 at 8am in CS 302.