Search: Abadi, D, 2007, mit.edu, n/a