Simon S. Lam

ORCID

Publication Activity (10 Years)

Years Active: 1973-2017
Publications (10 Years): 5

Top Venues

IEEE/ACM Trans. Netw.

ICNP

CoNEXT

Publications

Huazhe Wang, Chen Qian, Ye Yu, Hongkun Yang, Simon S. Lam
Practical Network-Wide Packet Behavior Identification by AP Classifier. IEEE/ACM Trans. Netw. 25 (5) (2017)
Hongkun Yang, Simon S. Lam
Scalable Verification of Networks With Packet Transformers Using Atomic Predicates. IEEE/ACM Trans. Netw. 25 (5) (2017)
Hongkun Yang, Simon S. Lam
Real-Time Verification of Network Properties Using Atomic Predicates. IEEE/ACM Trans. Netw. 24 (2) (2016)
Chen Qian, Simon S. Lam
Greedy Routing by Network Distance Embedding. IEEE/ACM Trans. Netw. 24 (4) (2016)
Chen Qian, Simon S. Lam
A Scalable and Resilient Layer-2 Network With Ethernet Compatibility. IEEE/ACM Trans. Netw. 24 (1) (2016)
Huazhe Wang, Chen Qian, Ye Yu, Hongkun Yang, Simon S. Lam
Practical network-wide packet behavior identification by AP classifier. CoNEXT (2015)
Hongkun Yang, Simon S. Lam
Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane. ICNP (2014)
Simon S. Lam, Chen Qian
Geographic Routing in d -Dimensional Spaces With Guaranteed Delivery and Low Stretch. IEEE/ACM Trans. Netw. 21 (2) (2013)
Hongkun Yang, Simon S. Lam
Real-time verification of network properties using Atomic Predicates. ICNP (2013)
Chen Qian, Simon S. Lam
ROME: Routing on metropolitan-scale Ethernet. ICNP (2012)
Simon S. Lam, Chen Qian
-dimensional spaces with guaranteed delivery and low stretch. SIGMETRICS (2011)
Chen Qian, Simon S. Lam
Greedy Distance Vector Routing. ICDCS (2011)
Chen Qian, Simon S. Lam, Vinod Venkataraman
-dimensional spaces. SenSys (2009)
Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers
A wavelet-based approach to detect shared congestion. IEEE/ACM Trans. Netw. 16 (4) (2008)
Dong-Young Lee, Eui Kyung Chung, Simon S. Lam
A Radius Geocast Routing Protocol. HPCC (2008)
Dong-Young Lee, Simon S. Lam
Efficient and accurate protocols for distributed delaunay triangulation under churn. ICNP (2008)
Yi Li, Yin Zhang, Lili Qiu, Simon S. Lam
SmartTunnel: Achieving Reliability in the Internet. INFOCOM (2007)
Dong-Young Lee, Simon S. Lam
Protocol Design for Dynamic Delaunay Triangulation. ICDCS (2007)
Feng Wang, Lili Qiu, Simon S. Lam
Probabilistic region-based localization for wireless networks. ACM SIGMOBILE Mob. Comput. Commun. Rev. 11 (1) (2007)
Yun Mao, Feng Wang, Lili Qiu, Simon S. Lam, Jonathan M. Smith
S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor Networks. NSDI (2007)
Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers
Scalable Clustering of Internet Paths by Shared Congestion. INFOCOM (2006)
Simon S. Lam, Huaiyu Liu
Failure recovery for structured p2p networks: Protocol design and performance under churn. Comput. Networks 50 (16) (2006)
Nishanth Ramakrishna Sastry, Simon S. Lam
CYRF: a theory of window-based unicast congestion control. IEEE/ACM Trans. Netw. 13 (2) (2005)
Min Sik Kim, Yi Li, Simon S. Lam
Eliminating Bottlenecks in Overlay Multicast. NETWORKING (2005)
X. Brian Zhang, Simon S. Lam, Huaiyu Liu
Efficient Group Rekeying Using Application-Layer Multicast. ICDCS (2005)
Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, Edward J. Powers
A wavelet-based approach to detect shared congestion. SIGCOMM (2004)
Simon S. Lam, Huaiyu Liu
Failure recovery for structured P2P networks: protocol design and performance evaluation. SIGMETRICS (2004)
Huaiyu Liu, Simon S. Lam
Consistency-Preserving Neighbor Table Optimization for P2P Networks. ICPADS (2004)
Simon S. Lam
Back to the future part 4: the internet. Comput. Commun. Rev. 35 (1) (2004)
Taekhyun Kim, YongJune Shin, Edward J. Powers, Min Sik Kim, Simon S. Lam
Application of wavelet denoising to the detection of shared congestion in overlay multimedia networks. MMSP (2004)
Simon S. Lam
Back to the future part 4: the internet. SIGCOMM (2004)
X. Brian Zhang, Simon S. Lam, Dong-Young Lee
Group rekeying with limited unicast recovery. Comput. Networks 44 (6) (2004)
Yang Richard Yang, Min Sik Kim, Simon S. Lam
Transient behaviors of TCP-friendly congestion control protocols. Comput. Networks 41 (2) (2003)
Min Sik Kim, Simon S. Lam, Dong-Young Lee
Optimal Distribution Tree for Internet Streaming Media. ICDCS (2003)
Huaiyu Liu, Simon S. Lam
Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network. ICDCS (2003)
X. Brian Zhang, Simon S. Lam, Dong-Young Lee
Group rekeying with limited unicast recovery. ICC (2003)
X. Brian Zhang, Simon S. Lam, Dong-Young Lee, Yang Richard Yang
Protocol design for scalable and reliable group rekeying. IEEE/ACM Trans. Netw. 11 (6) (2003)
Nishanth Ramakrishna Sastry, Simon S. Lam
A Theory of Window-Based Unicast Congestion Control. ICNP (2002)
Xiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam
Batch rekeying for secure group communications. WWW (2001)
Yang Richard Yang, Xiaozhou (Steve) Li, Simon S. Lam, Xincheng Zhang
Towards scalable and reliable group key management. SIGMETRICS/Performance (2001)
Yang Richard Yang, Xiaozhou (Steve) Li, X. Brian Zhang, Simon S. Lam
Reliable group rekeying: a performance analysis. SIGCOMM (2001)
Yang Richard Yang, Min Sik Kim, Simon S. Lam
Transient Behaviors of TCP-friendly Congestion Control Protocols. INFOCOM (2001)
Yang Richard Yang, Simon S. Lam
General AIMD Congestion Control. ICNP (2000)
Yang Richard Yang, Min Sik Kim, Simon S. Lam
Optimal Partitioning of Multicast Receivers. ICNP (2000)
Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam
Secure group communications using key graphs. IEEE/ACM Trans. Netw. 8 (1) (2000)
Chung Kei Wong, Simon S. Lam
Digital signatures for flows and multicasts. IEEE/ACM Trans. Netw. 7 (4) (1999)
David K. Y. Yau, Simon S. Lam
Migrating sockets--end system support for networking with quality of service guarantees. IEEE/ACM Trans. Netw. 6 (6) (1998)
Thomas Y. C. Woo, Simon S. Lam
Designing a Distributed Authorization Service. INFOCOM (1998)
David K. Y. Yau, Simon S. Lam
Operating system support for distributed multimedia. Int. J. Intell. Syst. 13 (12) (1998)
Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam
Secure Group Communications Using Key Graphs. SIGCOMM (1998)
Chung Kei Wong, Simon S. Lam
Digital Signatures for Flows and Multicasts. ICNP (1998)
Geoffrey G. Xie, Simon S. Lam
Real-time block transfer under a link-sharing hierarchy. IEEE/ACM Trans. Netw. 6 (1) (1998)
Simon S. Lam, Geoffrey G. Xie
Group priority scheduling. IEEE/ACM Trans. Netw. 5 (2) (1997)
Pawan Goyal, Simon S. Lam, Harrick M. Vin
Determining End-to-End Delay Bounds in Heterogeneous Networks. Multim. Syst. 5 (3) (1997)
Geoffrey G. Xie, Simon S. Lam
Admission Control and Loss Management for an Application-Level Statistical Service. ICNP (1997)
Geoffrey G. Xie, Simon S. Lam
An efficient network architecture motivated by application-level QoS. J. High Speed Networks 6 (3) (1997)
David K. Y. Yau, Simon S. Lam
Adaptive rate-controlled scheduling for multimedia applications. IEEE/ACM Trans. Netw. 5 (4) (1997)
Simon S. Lam, Geoffrey G. Xie
Burst Scheduling Networks. Perform. Evaluation 31 (1-2) (1997)
David K. Y. Yau, Simon S. Lam
Migrating Sockets for networking with quality of service guarantees. ICNP (1997)
Geoffrey G. Xie, Simon S. Lam
Real-Time Block Transfer under a Link Sharing Hierarchy. INFOCOM (1997)
Simon S. Lam, Simon Chow, David K. Y. Yau
A lossless smoothing algorithm for compressed video. IEEE/ACM Trans. Netw. 4 (5) (1996)
Simon S. Lam, Geoffrey G. Xie
Group Priority Scheduling. INFOCOM (1996)
David K. Y. Yau, Simon S. Lam
Adaptive Rate-Controlled Scheduling for Multimedia Applications. ACM Multimedia (1996)
Simon S. Lam
Genetic Algorithm with Pigeon-Hole Coding Scheme for Solving Sequencing Problems. Appl. Artif. Intell. 10 (3) (1996)
Geoffrey G. Xie, Simon S. Lam
An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic. ICNP (1996)
Geoffrey G. Xie, Simon S. Lam
Delay guarantee of virtual clock server. IEEE/ACM Trans. Netw. 3 (6) (1995)
Simon S. Lam, Geoffrey G. Xie
Burst Scheduling: Architecture and Algorithm for Switching Packet Video. INFOCOM (1995)
Simon S. Lam, Geoffrey G. Xie
Burst Scheduling Networks: Flow Specification and Performance Guarantees. NOSSDAV (1995)
Pawan Goyal, Simon S. Lam, Harrick M. Vin
Determining End-to-End Delay Bounds in Heterogeneous Networks. NOSSDAV (1995)
Simon S. Lam, Simon Chow, David K. Y. Yau
An Algorithm for Lossless Smoothing of MPEG Video. SIGCOMM (1994)
Thomas Y. C. Woo, Simon S. Lam
A Lesson on Authentication Protocol Design. ACM SIGOPS Oper. Syst. Rev. 28 (3) (1994)
Thomas Y. C. Woo, Simon S. Lam
Design, verification and implementation of an authentication protocol. ICNP (1994)
Simon S. Lam, A. Udaya Shankar
A Theory of Interfaces and Modules I-Composition Theorem. IEEE Trans. Software Eng. 20 (1) (1994)
Thomas Y. C. Woo, Raghuram Bindignavle, Shaowen Su, Simon S. Lam
SNP: An Interface for Secure Network Programming. USENIX Summer (1994)
Thomas Y. C. Woo, Simon S. Lam
A Framework for Distributed Authorization. CCS (1993)
Thomas Y. C. Woo, Simon S. Lam
A semantic model for authentication protocols. IEEE Symposium on Security and Privacy (1993)
Thomas Y. C. Woo, Simon S. Lam
Verifying authentication protocols: methodology and example. ICNP (1993)
Thomas Y. C. Woo, Simon S. Lam
Authorizations in Distributed Systems: A New Approach. J. Comput. Secur. 2 (2-3) (1993)
A. Udaya Shankar, Simon S. Lam
A Stepwise Refinement Heuristic for Protocol Construction. ACM Trans. Program. Lang. Syst. 14 (3) (1992)
Thomas Y. C. Woo, Simon S. Lam
Authentification for Distributed Systems. Computer 25 (1) (1992)
Thomas Y. C. Woo, Simon S. Lam
Authorization in distributed systems: a formal approach. IEEE Symposium on Security and Privacy (1992)
Simon S. Lam, A. Udaya Shankar
Specifying Modules to Satisfy Interfaces: A State Transition System Approach. Distributed Comput. 6 (1) (1992)
Simon S. Lam, A. Udaya Shankar
A Composition Theorem for Layered Systems. PSTV (1991)
Simon S. Lam, A. Udaya Shankar
Understanding Interfaces. FORTE (1991)
Simon S. Lam, A. Udaya Shankar, Thomas Y. C. Woo
Applying a Theory of Modules and Interfaces to Security Verification. IEEE Symposium on Security and Privacy (1991)
Pradeep Jain, Simon S. Lam
Specification of Real-Time Broadcast Networks. IEEE Trans. Computers 40 (4) (1991)
Simon S. Lam, A. Udaya Shankar
A Relational Notation for State Transition Systems. IEEE Trans. Software Eng. 16 (7) (1990)
Kenneth L. Calvert, Simon S. Lam
Formal Methods for Protocol Conversion. IEEE J. Sel. Areas Commun. 8 (1) (1990)
Kenneth L. Calvert, Simon S. Lam
Adaptors for Protocol Conversion. INFOCOM (1990)
Ching-Tarng Hsieh, Simon S. Lam
PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks. Perform. Evaluation 9 (2) (1989)
Kenneth L. Calvert, Simon S. Lam
Deriving a Protocol Converter: A Top-Down Method. SIGCOMM (1989)
A. Udaya Shankar, Simon S. Lam
Construction of Network Protocols by Stepwise Refinement. REX Workshop (1989)
Simon S. Lam, A. Udaya Shankar
Refinement and Projection of Relational Specifications. REX Workshop (1989)
Ching-Tarng Hsieh, Simon S. Lam
PAM - A Noniterative Approximate Solution Method for Closed Multichain Queueing Networks. SIGMETRICS (1988)
Ching-Hua Chow, Simon S. Lam
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. IEEE Trans. Software Eng. 14 (3) (1988)
Simon S. Lam
Protocol Conversion. IEEE Trans. Software Eng. 14 (3) (1988)
Simon S. Lam
Correction to "Protocol Conversion". IEEE Trans. Software Eng. 14 (9) (1988)
Pradeep Jain, Simon S. Lam
Specification and verification of collusion-free broadcast networks. SIGCOMM (1988)
A. Udaya Shankar, Simon S. Lam
Time-Dependent Distributed Systems: Proving Safety, Liveness and Real-Time Properties. Distributed Comput. 2 (2) (1987)
Simon S. Lam, Ching-Tarng Hsieh
Modeling, analysis, and optimal routing of flow-controlled communication networks. Comput. Commun. Rev. 17 (5) (1987)

Simon S. Lam.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon S. Lam