Publications - 2008

1. UH-CS-08-11 Ying-Wei Kuo and Shou-Hsuan Stephen Huang, "An Algorithm to Detect Stepping-Stones in the Presence of Chaff Packets," July 23, 2008.
2. V. Hockmann, H. D. Knoell, and E. L. Leiss, "Security of Web Servers and Web Services", Encyclopedia of Multimedia and
Networking, Idea Group Publ., Hershey, PA, 2008.
3. Laura Castro, Cheng-Fang Yang, Natasha Simon,
and Ernst L. Leiss, "Digital Watermarking of MPEG Videos," Empirical Studies and Open Source Tools - Conferencia Latinoamérica de Informática, Oct. 9 -12, 2007, San José, Costa Rica, 10 pages, 2008.
4. Zhiyao Liang, Rakesh M. Verma, "Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols," ARES 2008, pp. 1067-1074, 2008, PDF Copy.
5. Rakesh M. Verma, Zhiyao Liang, "Complexity of Checking Freshness of Cryptographic Protocols," Proc 4th Fourth International Conference on Information Systems Security (ICISS 2008), December 2008, PDF Copy.
6. UH-CS-08-02 Zhiyao Liang and Rakesh M. Verma, "Real Cryptographic Protocol with an Insider Attacker: Improving Techniques for Proving Undecidability of Checking Security Goals,"
February 27, 2008.
7. UH-CS-08-12 Rakesh M. Verma and Bailey E. Basile, "Modeling and Analysis of LEAP, a Key Management Protocol for Wireless Sensor Networks," August 08, 2008.
8. UH-CS-08-14 Zhiyao Liang, Rakesh M. Verma, "Complexity of Checking Freshness of Cryptographic Protocols," September 27, 2008.
9. UH-CS-08-15 Zhiyao Liang and Rakesh M. Verma, "A Note on An NP-completeness Proof for Cryptographic Protocol Insecurity," October 05, 2008.
10. Zhiyao Liang, "On Formal Methods for Checking Cryptographic Protocols," Doctoral Dissertaion, PDF Copy.
11. Li Li, "Packet Capturing and Analyzing System (PCAS)," Master Thesis, Abstract.

12. Vyom Munshi, "Perceptual Visualization for Data Interpretation," Master Thesis, Abstract.