Next: Other Pubs
Previous: Journal Articles
Up: Publications
Home: Simon S. Lam
- Dong-Young Lee and Simon S. Lam, ``Protocol Design for Dynamic Delaunay
Triangulation,'' Proceedings of 27th IEEE ICDCS, Toronto, June 2007.
- Yi Li, Yin Zhang, Lili Qiu, and Simon Lam, ``SmartTunnel: Achieving
Reliability in the Internet,'' Proceedings of IEEE INFOCOM 2007,
Anchorage, Alaska, May 2007.
- Yun Mao, Feng Wang, Lili Qiu, Simon Lam, and Jonathan Smith,
``S4: Small State and Small Stretch Routing Protocol for Large Wireless Sensor
Networks,'' Proceedings of the 4th USENIX Symposium on Networked System
Design and Implementation (NSDI 2007), Cambridge, Massachusetts, April 2007.
- Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam, and Edward J.
Powers, ``Scalable Clustering of Internet Paths by Shared Congestion,''
Proceedings IEEE INFOCOM 2006, Barcelona, Spain, April 2006.
- X. Brian Zhang, Simon S. Lam, and Huaiyu Liu, ``Efficient
Group Rekeying Using Application Layer Multicast,'' Proceedings of 25th
IEEE ICDCS, Columbus, Ohio, June 2005.
- Min Sik Kim, Yi Li, and Simon S.
Lam, ``Eliminating
Bottlenecks in Overlay Multicast,'' Proceedings of IFIP Networking 2005,
Waterloo, Canada, May 2005.
- Min Sik Kim, Taekhyun Kim, YongJune Shin, Simon S. Lam,
and Edward J. Powers,
``A Wavelet-based Approach to Detect Shared Congestion,'' Proceedings ACM SIGCOMM '04, Portland, Oregon, Aug. 30-Sept.3, 2004.
- Simon S. Lam and Huaiyu Liu,
``Failure Recovery for Structured P2P Networks:
Protocol Design and Performance Evaluation,'' Proceedings ACM SIGMETRICS 2004, New York City, June 2004.
- Huaiyu Liu and Simon S. Lam,
``Consistency-preserving Neighbor Table Optimization for P2P Networks,'' Proceedings ICPADS 2004, Newport Beach, CA, July 2004.
- Huaiyu Liu and Simon S. Lam,
``Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network,''
Proceedings IEEE ICDCS 2003, Providence, RI, May 2003.
- Min Sik Kim, Simon S. Lam, and Dong-Young Lee,
``Optimal Distribution Tree for Internet Streaming Media,''
Proceedings IEEE ICDCS 2003, Providence, RI, May 2003.
- X. Brian Zhang, Simon S. Lam, and Dong-Young Lee,
``Group Rekeying with Limited Unicast Recovery,''
Proceedings IEEE ICC 2003, Anchorage, Alaska, May 2003.
- Nishanth Sastry and Simon S. Lam,
``A Theory of Window-Based Unicast Congestion Control,''
Proceedings IEEE ICNP 2002, Paris, November 2002.
- Y. Richard Yang, X. Steve Li, X. Brian Zhang, and Simon S. Lam,
``Reliable Group Rekeying: A Performance Analysis,''
Proceedings ACM SIGCOMM 2001, San Diego, August 2001.
- X. Brian Zhang, Simon S. Lam, D.-Y. Lee, and Y. Richard Yang,
``Protocol Design for Scalable and Reliable Group Rekeying,''
Proceedings SPIE Conference on Scalability and Traffic Control
in IP Networks, Denver, CO, August 2001.
- X. Steve Li, Y. Richard Yang, Mohamed Gouda, and Simon S. Lam,
``Batch Rekeying for Secure Group Communications,''
Tenth International World Wide Web Conference,
Hong Kong, China, May 2001.
- Y. Richard Yang, Min S. Kim, and Simon S. Lam,
``Transient Behaviors of TCP-Friendly Congestion Control Protocols,''
Proceedings IEEE INFOCOM 2001, Anchorage, April 2001.
- Y. Richard Yang, Min S. Kim, and Simon S. Lam,
``Optimal Partitioning of Multicast Receivers,''
Proceedings IEEE ICNP 2000, Osaka, Japan, November 2000.
- Y. Richard Yang and Simon S. Lam,
``General AIMD Congestion Control,'' Proceedings IEEE ICNP 2000,
Osaka, Japan, November 2000.
- Chung Kei Wong and Simon S. Lam,
``Keystone: A Group Key Management Service,''
Proceedings International Conference on Telecommunications,
Acapulco, Mexico, May 2000.
- Chung Kei Wong, Mohamed Gouda, and Simon S. Lam,
``Secure Group Communications using Key Graphs,''
Proceedings ACM SIGCOMM '98, Vancouver, B.C., September 1998.
- Chung Kei Wong and Simon S. Lam,
``Digital Signatures for Flows and Multicasts,''
Proceedings IEEE ICNP '98, Austin, October 1998.
- Thomas Y. C. Woo and Simon S. Lam,
``Designing a Distributed Authorization Service,''
Proceedings IEEE INFOCOM '98, San Francisco, March 1998.
- Geoffrey G. Xie and Simon S. Lam,
``Admission Control and Loss Management for an Application-Level
Statistical Service,''
Proceedings IEEE ICNP '97, Atlanta, October 1997.
- David K. Y. Yau and Simon S. Lam,
``Migrating Sockets for Networking with Quality of Service Guarantees,''
Proceedings IEEE ICNP '97, Atlanta, October 1997.
- David K. Y. Yau and Simon S. Lam,
``End System Support for Networking with
Quality of Service Guarantees,'' Proceedings of 4th IEEE Workshop
on the Architecture and Implementation of High Performance
Communication Systems, Chalkidiki, Greece, July 1997.
- Geoffrey G. Xie and Simon S. Lam,
``Real-Time Block Transfer Under a Link Sharing Hierarchy,''
Proceedings of IEEE INFOCOM '97, Japan, March 1997.
- David K. Y. Yau and Simon S. Lam,
``Adaptive Rate-Controlled Scheduling for Multimedia Applications,''
Proceedings ACM Multimedia '96, Boston, November 1996.
- Geoffrey G. Xie and Simon S. Lam,
``An Efficient Adaptive Search Algorithm for Scheduling Real-Time Traffic,''
Proceedings of International Conference on Network Protocols,
Columbus, Ohio, October 1996.
- Simon S. Lam and Geoffrey G. Xie, ``Group Priority Scheduling,''
Proceedings of IEEE INFOCOM '96, San Francisco, March 1996.
- David K. Y. Yau and Simon S. Lam,
``An Architecture Towards Efficient OS Support for Distributed Multimedia,''
IS&T/SPIE Proceedings Multimedia Computing and Networking,
San Jose, January 1996.
- Simon S. Lam and Geoffrey G. Xie,
``Burst Scheduling Networks: Flow Specification and Performance Guarantees,''
Proceedings NOSSDAV '95 Workshop,
Durham, New Hampshire, April 1995.
- Pawan Goyal, Simon S. Lam, and Harrick Vin,
``Determining End-to-End Delay Bounds in Heterogeneous Networks,''
Proceedings NOSSDAV '95 Workshop,
Durham, New Hampshire, April 1995.
- Simon S. Lam and Geoffrey G. Xie,
``Burst Scheduling: Architecture and Algorithm for Switching Packet Video,''
Proceedings IEEE INFOCOM '95, Boston, April 1995.
- Thomas Y. C. Woo and Simon S. Lam,
``Design, Verification and Implementation of an Authentication Protocol,''
Proc. Int. Conference on Network Protocols, Boston, October 1994.
- Simon S. Lam, Simon Chow, and David Yau,
``An Algorithm for Lossless Smoothing of MPEG Video,''
Proceedings ACM SIGCOMM '94, London, August 1994.
- Thomas Woo, Raghuram Bindignavle, Shaowen Su, and Simon S. Lam,
``SNP: An Interface for Secure Network Programming,''
Proc. USENIX '94 Summer Technical Conference, Boston, June 1994.
- Thomas Y. C. Woo and Simon S. Lam,
``A Framework for Distributed Authorization,''
Proceedings ACM Conference on Computer and Communications Security,
Fairfax, VA, November 1993.
- Thomas Y. C. Woo and Simon S. Lam, ``Verifying Authentication Protocols:
Methodology and Example,'' Proceedings International Conference
on Network Protocols, San Francisco, October 1993.
- Thomas Y. C. Woo and Simon S. Lam, ``A Semantic Model for Authentication Protocols,''
Proceedings IEEE Symposium on Research in Security and Privacy,
Oakland, May 1993.
- Thomas Y. C. Woo and Simon S. Lam, ``Authorization in Distributed System: A Formal
Approach,'' Proceedings IEEE Symposium on Research in Security
and Privacy, Oakland, May 1992.
- Simon S. Lam and A. Udaya Shankar, ``Understanding Interfaces,''
Proceedings Fourth International Conference on Formal Description
Techniques, Sydney, Australia, November 1991. (Conference Keynote Address)
- Simon S. Lam and A. Udaya Shankar, ``A Composition Theorem for Layered Systems,''
Proceedings 11th IFIP International Symposium on Protocol
Specification, Testing and Verification, Stockholm, June 1991.
- Simon S. Lam, A. Udaya Shankar, and Thomas Y. C. Woo, ``Applying a Theory of Modules
and Interfaces to Security Verification,'' Proceedings IEEE
Symposium on Research in Security and Privacy, Oakland, May 1991.
- Kenneth L. Calvert and Simon S. Lam, ``Adaptors for Protocol Conversion,''
Proceedings INFOCOM '90, San Francisco, June 1990.
- Kenneth L. Calvert and Simon S. Lam, ``The Protocol Conversion
Problem--Finding a Quotient of Specifications,'' Proceedings
27th Allerton Conference, Urbana-Champaign, September 1989.
- Kenneth L. Calvert and Simon S. Lam, ``Deriving a Protocol Converter: A
Top-Down Method,'' Proceedings ACM SIGCOMM Symposium, Austin,
Texas, September 1989. (ACM SIGCOMM Best Student Paper Award)
- C. T. Hsieh and Simon S. Lam, ``PAM--A Noniterative Approximation Solution
Method for Closed Multichain Queueing Networks,'' Proceedings ACM
SIGMETRICS Conference, Santa Fe, New Mexico, May 1988.
- Pradeep Jain and Simon S. Lam, ``Specification and Verification of Collision-Free
Broadcast Networks,'' Proceedings ACM SIGCOMM Symposium,
Stanford University, August 1988.
- Simon S. Lam, ``Protocol Conversion via Projections,'' Proceedings Int. Computer
Science Conference, Hong Kong, December 1988.
- Simon S. Lam and A. Udaya Shankar, ``A Relational Notation for State Transition
Systems,'' Proceedings Eighth International Symposium on Protocol
Specification, Testing, and Verification, North-Holland, 1988.
- Kenneth L. Calvert and Simon S. Lam, ``An Exercise in Deriving a Protocol
Conversion,'' Proceedings ACM SIGCOMM, Stowe, VT, August 1987.
- Simon S. Lam and C. T. Hsieh, ``Modeling, Analysis and Optimal Routing of
Flow-Controlled Communication Networks,'' Proceedings ACM SIGCOMM,
Stowe, VT, August 1987.
- Simon S. Lam, ``Protocol Conversion--Correctness Problems,'' Proceedings
ACM SIGCOMM, Stowe, VT, August 1986.
- Simon S. Lam, C. H. Chow, M. G. Gouda, A. U. Shankar, ``Interactive
Verification and Construction of Communication Protocols in PROSPEC,''
Proceedings of INFOCOM '86, Miami, FL, April 1986.
- Simon S. Lam and C. T. Hsieh, ``Models and Algorithms for the Design of
Store-and-Forward Communication Networks,'' Proceedings
International Conference on Communications, Chicago, IL, June 1985.
- M. G. Gouda, C. H. Chow, and Simon S. Lam, ``On the Undecidability of
Detecting Livelocks in Networks of Communicating Finite State Machines,''
Proceedings Fourth International Workshop on Protocol
Specification, Testing and Verification, Mt. Pocono, PA, June 1984.
- C. H. Chow, M. G. Gouda, and Simon S. Lam, ``An Exercise in Constructing
Multi-Phase Communication Protocols,'' Proceedings ACM SIGCOMM '84 Symposium,
Montreal, June 1984.
- A. Udaya Shankar and Simon S. Lam, ``Specification and Verification of
Time-Dependent Communication Protocols,'' Proceedings Fourth International
Workshop on Protocol Specification, Testing and Verification,
Mt. Pocono, PA, June 1984.
- C. H. Chow, M. G. Gouda, and Simon S. Lam, ``On Constructing Multiphase
Communication Protocols,'' Proceedings Fourth International Workshop
on Protocol Specification, Testing and Verification, Mt. Pocono,
PA, pp. 47-56, North-Holland, 1984.
- Simon S. Lam, ``Communication Network Protocols: Formal Models and Analytic
Methods,'' NSF Workshop on Large-Scale Computer Communication Networks
and Information Theory, Washington, D.C., April 1984.
- Simon S. Lam, ``Some Research Problems and Directions in Computer Communications,''
NSF Workshop on Large-Scale Computer Communication Networks and
Information Theory, Washington, D.C., April 1984.
- A. Udaya Shankar and Simon S. Lam, ``Verification of an HDLC Protocol with ARM
Connection Management and Full-Duplex Data Transfer,'' Proceedings ACM SIGCOMM '83
Symposium, March 1983; also in Computer Communication Review, Vol. 13,
No. 2, 1983.
- A. Udaya Shankar and Simon S. Lam, ``On Time-Dependent Communication Protocols and
their Projections,'' Protocol Specification, Testing and Verification,
(ed. C. Sunshine), North-Holland Publishing Co., Amsterdam, 1982.
- Simon S. Lam and A. Udaya Shankar, ``An Illustration of Protocol Projections,''
Protocol Specification, Testing and Verification, (ed. C. Sunshine),
North-Holland Publishing Co., Amsterdam, 1982.
- Simon S. Lam and Y. Luke Lien, ``Optimal Routing in Networks with Flow-Controlled
Virtual Channels,'' Computer Network Performance Symposium, University
of Maryland, April 1982, published in Performance Evaluation Review,
Vol. 11, No. 1, 1982.
- Simon S. Lam, ``On the Performance of Multiple Access Protocols for Local Networks,''
Proceedings 10th IMACS World Congress on Systems Simulation and
Scientific Computation, Montreal, August 1982.
- Simon S. Lam and A. Udaya Shankar, ``Verification of Communication Protocols via
Protocol Projections,'' Proceedings INFOCOM 82, Las Vegas, NV, March
1982, IEEE Computer Society Press.
- Simon S. Lam and A. Udaya Shankar, ``Protocol Projections: A Method for Analyzing
Communication Protocols,'' Conference Rec. National Telecommunications
Conference, New Orleans, LA, November 1981.
- Simon S. Lam and Y. Luke Lien, ``Modeling and Analysis of Flow Controlled Packet
Switching Networks,'' Proceedings Seventh Data Communications Symposium,
Mexico City, October 1981, IEEE Computer Society Press.
- Simon S. Lam, ``Design Considerations for Large Mobile Packet Radio Networks,''
Local Networks and Distributed Office Systems, Online Publications
Ltd., Northwood, UK, 1981.
- Simon S. Lam and Y. Luke Lien, ``An Experimental Study of the Congestion Control of
Packet Communications Networks,'' Proceedings International
Conference on Computer Communications, Atlanta, GA, October 1980.
- Simon S. Lam, ``A Packet Network Architecture for Local Interconnection,''
Conference Rec. International Conference on Communications,
Seattle, WA, June 1980.
- Simon S. Lam and A. Udaya Shankar, ``Response Time Distributions for a Multi-Class
Queue with Feedback,'' International Symposium on Computer Performance
Modeling, Measurement and Evaluation, Toronto, May 1980, published in
Performance Evaluation Review, Vol. 9, No. 2, pp. 225-234, 1980.
- Simon S. Lam, ``Congestion Control Techniques for Packet Networks,'' Second
International Conference on Information Sciences and Systems, Patras,
Greece, July 1979, Advances in Communications, (ed. D. Lainiotis
and N. Tzannes), D. Reidel, Holland, 1980.
- Simon S. Lam, ``A Packet Communication System Architecture for Local Networking,''
Workshop on Large Scale Systems, Proceedings International
Symposium on Circuits and Systems, Houston, TX, April 1980.
- Simon S. Lam, ``A Study of the CSMA Protocol in Local Networks,'' Proceedings
Fourth Berkeley Conference on Distributed Data Management and Computer
Networks, San Francisco, CA, August 1979.
- Simon S. Lam, ``On Protocols for Satellite Packet Switching,'' Conference
Rec. International Conference on Communications, Boston, MA, June 1979.
- Simon S. Lam, ``An Analysis of the Reservation-ALOHA Protocol for Satellite Packet
Switching,'' Conference Rec. International Conference on
Communications, Toronto, June 1978.
- Simon S. Lam, ``Packet Broadcasting Networks,'' Proceedings Workshop on Pattern
Database Systems, Tokyo, Japan, December 1977.
- Simon S. Lam and Martin Reiser, ``Congestion Control of Store-and-Forward
Networks by Input Buffer Limits,'' Conference Rec. National Telecommunications
Conference, Los Angeles, CA, December 1977.
- Simon S. Lam, ``Satellite Multiaccess Schemes for Data Traffic,''
Proceedings International Conference on Communications, Chicago, June 1977.
- Simon S. Lam, ``Delay Analysis of a Packet-Switched TDMA System,'' Conference
Rec. National Telecommunication Conference, Dallas, TX, November 1976.
- Simon S. Lam and L. Kleinrock, ``Dynamic Control Schemes for a Packet Switched
Multi-Access Broadcast Channel,'' National Computer Conference, Anaheim,
CA, May 1975, AFIPS Conference Proceedings, Vol. 44, AFIPS Press, 1975.
- L. Kleinrock and Simon S. Lam, ```On Stability of Packet Switching in a Random
Multi-Access Broadcast Channel,'' Proceedings Subconf. on Computer
Nets, Seventh Hawaii International Conference on System Sciences,
Honolulu, January 1974.
- L. Kleinrock and Simon S. Lam, ``Packet-Switching in a Slotted Satellite Channel,''
National Computer Conference, New York, NY, June 1973;
in AFIPS Conference Proceedings, Vol. 42, 1973, pp. 703-710.
Next: Other Pubs
Previous: Journal Articles
Up: Publications
Home: Simon S. Lam