My homepage is now at http://www.cs.cmu.edu/~leak/.