Minor correction: "Practical Techniques for Searches on Encrypted Data" by Song et al. was published in 2000, not in 2001 (at the IEEE S&P conf.).