Search: Abadi, DJ, 2009, cs.yale.edu, n/a