Logics for Security Protocols Anupam Datta Fall 2007-08 18739A: Foundations of Security and Privacy.
Antideuteron: w/Cui, Mason Double Disk Dark Matter: w/Fan, Katz, Reece DDDM and Andromeda: w/Scholtz Kinematic Bounds on DDDM: w/Kramer.