David Lee

Publication Activity (10 Years)

Years Active: 1986-2011
Publications (10 Years): 0

Publications

Guoqiang Shu, David Lee
A Formal Methodology for Network Protocol Fingerprinting. IEEE Trans. Parallel Distributed Syst. 22 (11) (2011)
Guoqiang Shu, Yating Hsu, David Lee
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. FORTE (2008)
Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. TestCom/FATES (2008)
Yating Hsu, Guoqiang Shu, David Lee
A model-based approach to security flaw detection of network protocol implementations. ICNP (2008)
Guoqiang Shu, David Lee
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach. ICDCS (2007)
Guoqiang Shu, David Lee, Mihalis Yannakakis
A note on broadcast encryption key management with applications to large scale emergency alert systems. IPDPS (2006)
Guoqiang Shu, David Lee
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. TestCom (2006)
Guoqiang Shu, David Lee
Network Protocol System Fingerprinting - A Formal Approach. INFOCOM (2006)
Zhijun Liu, Guoqiang Shu, Na Li, David Lee
Defending against Instant Messaging Worms. GLOBECOM (2006)
David Lee, Christine Liu, Mihalis Yannakakis
Protocol System Integration, Interface and Interoperability. OPODIS (2004)
David Lee, Mihalis Yannakakis
Closed Partition Lattice and Machine Decomposition. IEEE Trans. Computers 51 (2) (2002)
Alfred V. Aho, David Lee
Hierarchical networks and the LSA N-squared problem in OSPF routing. GLOBECOM (2000)
Thomas F. La Porta, David Lee, Yow-Jian Lin, Mihalis Yannakakis
Protocol Feature Interactions. FORTE (1998)
Mihalis Yannakakis, David Lee
Testing for Finite State Systems. CSL (1998)
Mihalis Yannakakis, David Lee
An Efficient Algorithm for Minimizing Real-Time Transition Systems. Formal Methods Syst. Des. 11 (2) (1997)
David Lee, Mihalis Yannakakis
Principles and methods of testing finite state machines-a survey. Proc. IEEE 84 (8) (1996)
David Lee, Mihalis Yannakakis
Optimization problems from feature testing of communication protocols. ICNP (1996)
Mihalis Yannakakis, David Lee
Testing Finite State Machines: Fault Detection. J. Comput. Syst. Sci. 50 (2) (1995)
David Lee, Mihalis Yannakakis
Testing Finite-State Machines: State Identification and Verification. IEEE Trans. Computers 43 (3) (1994)
Mihalis Yannakakis, David Lee
An Efficient Algorithm for Minimizing Real-time Transition Systems. CAV (1993)
David Lee, Mihalis Yannakakis
Online Minimization of Transition Systems (Extended Abstract) STOC (1992)
David Lee
Detection, Classification, and Measurement of Discontinuities. SIAM J. Sci. Comput. 12 (2) (1991)
Mihalis Yannakakis, David Lee
Testing Finite State Machines (Extended Abstract) STOC (1991)
Alfred V. Aho, Anton T. Dahbura, David Lee, M. Ümit Uyar
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. IEEE Trans. Commun. 39 (11) (1991)
David Lee
Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement. IEEE Trans. Pattern Anal. Mach. Intell. 12 (4) (1990)
David Lee
Discontinuity detection from band-limited signals. J. Complex. 6 (2) (1990)
David Lee
Edge detection, classification, and measurement. CVPR (1989)
David Lee
Coping With Discontinuities In Computer Vision: Their Detection, Classification, And Measurement. ICCV (1988)
David Lee
Algorithms for shape from shading and occluding boundaries. CVPR (1988)
Alfred V. Aho, David Lee
Storing a Dynamic Sparse Table FOCS (1986)
David Lee
Fast multiplication of a recursive block Toeplitz matrix by a vector and its application. J. Complex. 2 (4) (1986)