User contributions
- 21:18, 13 July 2011 (diff | hist) . . (+193) . . m Research papers/Testing and correctness (Adding new paper to the security section)
- 08:43, 16 May 2011 (diff | hist) . . (+142) . . m Research papers/Testing and correctness (Added link to the security section about a recent work that I did.)