Publications
2005. Approximation results for probabilistic survivability. Multi-Agent Security and Survivability, 2005 IEEE 2nd Symposium on. :1-10.
2002. A generic approach to simultaneous tracking and verification in video. Image Processing, IEEE Transactions on. 11(5):530-544.
2002. Maintaining software with a security perspective. Software Maintenance, 2002. Proceedings. International Conference on. :194-203.