Network Security, Network Protocol Design and Verification, Secure Computing, Distributed Systems
I maintain a page concerning Denial of Service attacks. Here is a short report I wrote about Denial of Service attacks.
Experience
I ever worked with Chinese Knowledge Information Processing Group, Institute
of Information Science, Academia Sinica as a research assistant. My major work
is to design a system capable of word segmentation and category tagging using
Hidden Markov Model, and to improve a user-friendly tool allowing user to
execute on-line proof-reading of the result of automatic tagging. The automatic
tagging system now can reach an accuracy of 96%, which can be further improved
because of the continuous expansion of training data.
C.-T. Huang, M. G. Gouda, E. N. Elnozahy, "Convergence of IPsec in Presence of Resets", Proceedings of the 2nd International Workshop on Assurance in Distributed Systems and Networks, Providence, Rhode Island, May 2003.
M. G. Gouda, C.-T. Huang, "A Secure Address Resolution Protocol", Computer Networks, Vol. 41, No. 1, January 2003. The full version with BAN logic proof is available here.
M. G. Gouda, E. N. Elnozahy, C.-T. Huang, T. M. McGuire, "Hop Integrity in Computer Networks", IEEE/ACM Transactions on Networking, Volume 10, Issue 3, June 2002. A preliminary version was published in Proceedings of the 8th IEEE International Conference on Network Protocols, Osaka, Japan, November 2000. The full version of the paper is available here.
M. G. Gouda, C.-T. Huang, E. N. Elnozahy, "Key Trees and the Security of Interval Multicast", Proceedings of the 22nd International Conference on Distributed Computing Systems, Vienna, Austria, July 2002.
M. G. Gouda, C.-T. Huang, A. Arora, "On the Security and Vulnerability of PING", Proceedings of the 5th International Workshop on Self-Stabilizing Systems, October 2001.
M. G. Gouda, C.-T. Huang, E. Li, "Anti-Replay Window Protocols for Secure IP", Proceedings of the 9th IEEE International Conference on Computer Communications and Networks, Las Vegas, October 2000.