UNITY to UC: A Case Study in the Derivation of Parallel Programs. - Indranil Chakravarty; Michael F. Kleyn; Thomas Y. C. Woo; Rajive L. Bagrodia; Vernon Austel (Research Directions in High-Level Parallel Programming Languages, 1991)

Applying a Theory of Modules and Interfaces to Security Verification. - Simon S. Lam; A. Udaya Shankar; Thomas Y. C. Woo (S&P, 1991)

Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). - Vladimir Lifschitz; Thomas Y. C. Woo (KR, 1992)

Authorization in distributed systems: a formal approach. - Thomas Y. C. Woo; Simon S. Lam (S&P, 1992)

Authentification for Distributed Systems. - Thomas Y. C. Woo; Simon S. Lam (Computer, 1992)

A Framework for Distributed Authorization. - Thomas Y. C. Woo; Simon S. Lam (CCS, 1993)

Verifying authentication protocols: methodology and example. - Thomas Y. C. Woo; Simon S. Lam (ICNP, 1993)

A semantic model for authentication protocols. - Thomas Y. C. Woo; Simon S. Lam (S&P, 1993)

Authorizations in Distributed Systems: A New Approach. - Thomas Y. C. Woo; Simon S. Lam (J. Comput. Secur., 1993)

Design, verification and implementation of an authentication protocol. - Thomas Y. C. Woo; Simon S. Lam (ICNP, 1994)

SNP: An Interface for Secure Network Programming. - Thomas Y. C. Woo; Raghuram Bindignavle; Shaowen Su; Simon S. Lam (USENIX Summer, 1994)

A Lesson on Authentication Protocol Design. - Thomas Y. C. Woo; Simon S. Lam (ACM SIGOPS Oper. Syst. Rev., 1994)

User Agents and Flexible Messages: A New Approach to Wireless Two-Way Messaging. - Thomas Y. C. Woo; Thomas F. La Porta; Krishan K. Sabnani (ICNP, 1997)

A Flow-Based Approach to Datagram Security. - Suvo Mittra; Thomas Y. C. Woo (SIGCOMM, 1997)

Pigeon: A Wireless Two-Way Messaging System. - Thomas Y. C. Woo; Thomas F. La Porta; Krishan K. Sabnani (IEEE J. Sel. Areas Commun., 1997)

Designing a Distributed Authorization Service. - Thomas Y. C. Woo; Simon S. Lam (INFOCOM, 1998)

Update and Search Algorithms for Wireless Two-Way Messaging: Design and Performance. - Thomas Y. C. Woo; Thomas F. La Porta; Jamal Golestani 002; Naveen Agarwal (INFOCOM, 1998)

Providing Internet services to mobile phones: a case study with email. - Thomas Y. C. Woo; Krishan K. Sabnani; Scott C. Miller (PIMRC, 1998)

Experiences with Network-Based User Agents for Mobile Applications. - Thomas F. La Porta; Ramachandran Ramjee; Thomas Y. C. Woo; Krishan K. Sabnani (Mob. Networks Appl., 1998)

Cache-Based Compaction: A New Technique for Optimizing Web Transfer. - Mun Choon Chan; Thomas Y. C. Woo (INFOCOM, 1999)

Application of compaction technique to optimizing wireless email transfer. - Mun Choon Chan; Thomas Y. C. Woo (WCNC, 1999)

Next-generation wireless data services: architecture and experience. - Mun Choon Chan; Thomas Y. C. Woo (IEEE Wirel. Commun., 1999)

A Modular Approach to Packet Classification: Algorithms and Results. - Thomas Y. C. Woo (INFOCOM, 2000)

On securely enabling intermediary-based services and performance enhancements for wireless mobile users. - Sneha Kumar Kasera; Semyon Mizikovsky; Ganapathy S. Sundaram; Thomas Y. C. Woo (Workshop on Wireless Security, 2003)

Trading Resiliency for Security: Model and Algorithms. - Tian Bu; Samphel Norden; Thomas Y. C. Woo (ICNP, 2004)

Topics in wireless security. - Thomas Y. C. Woo; Yacov Yacobi (IEEE Wirel. Commun., 2004)

ECHOS - enhanced capacity 802.11 hotspots. - Arunchandar Vasan 001; Ramachandran Ramjee; Thomas Y. C. Woo (INFOCOM, 2005)

Separating control software from routers. - Ramachandran Ramjee; Furquan Ansari; Martin Havemann; T. V. Lakshman; Thyagarajan Nandagopal; Krishan K. Sabnani; Thomas Y. C. Woo (COMSWARE, 2006)

Design and Evaluation of a Fast and Robust Worm Detection Algorithm. - Tian Bu; Aiyou Chen; Scott A. Vander Wiel; Thomas Y. C. Woo (INFOCOM, 2006)

A survivable DoS-resistant overlay network. - Tian Bu; Samphel Norden; Thomas Y. C. Woo (Comput. Networks, 2006)

On the Detection of Signaling DoS Attacks on 3G Wireless Networks. - Patrick P. C. Lee; Tian Bu; Thomas Y. C. Woo (INFOCOM, 2007)

On the detection of signaling DoS attacks on 3G/WiMax wireless networks. - Patrick P. C. Lee; Tian Bu; Thomas Y. C. Woo (Comput. Networks, 2009)

An efficient and non-intrusive GPU scheduling framework for deep learning training systems. - Shaoqi Wang; Oscar J. Gonzalez; Xiaobo Zhou 002; Thomas Williams; Brian D. Friedman; Martin Havemann; Thomas Y. C. Woo (SC, 2020)

Proteus: A High-Throughput Inference-Serving System with Accuracy Scaling. - Sohaib Ahmad; Hui Guan 001; Brian D. Friedman; Thomas Williams; Ramesh K. Sitaraman; Thomas Y. C. Woo (ASPLOS (1), 2024)