Search: Abadi, D, 2007, mit.edu