We would like to thank Doug Tygar for his valuable help and support during this project. We also thank George Necula and Sean Smith for their useful suggestions and discussions. We are also greatful to the anonymous reviewers for their feedback and suggestions.