Protocol Design Rules. - Deepinder P. Sidhu (PSTV, 1982)

Specification of Key Distribution Protocols for Networks. - Deepinder P. Sidhu (S&P, 1982)

A Multilevel Secure Local Area Network. - Deepinder P. Sidhu; Morrie Gasser (S&P, 1982)

Rules for synthesizing correct communication protocols. - Deepinder P. Sidhu (Comput. Commun. Rev., 1982)

Perspective on local area networks. - Deepinder P. Sidhu (ACM Annual Conference, 1983)

Experience with an Automated Protocol Development System. - Thomas P. Blumer; Deepinder P. Sidhu (Protocol Specification, Testing, and Verification, 1983)

Protocol Verification via Executable Logic Specifications. - Deepinder P. Sidhu (Protocol Specification, Testing, and Verification, 1983)

Security Information Flow in Multidimensional Arrays. - Steven M. Kramer; Deepinder P. Sidhu (IEEE Trans. Computers, 1983)

A Robust Distributed Solution to the Generalized Dining Philosophers' Problem. - Deepinder P. Sidhu; Robert H. Pollack (ICDE, 1984)

Logic programming applied to hardware design specification and verification. - Deepinder P. Sidhu (MICRO, 1984)

Executable Logic Specifications: A New Approach to Computer Security. - Deepinder P. Sidhu (S&P, 1984)

Some problems with the specification of the Military Standard Internet Protocol. - Deepinder P. Sidhu (RFC, 1985)

Some problems with the specification of the Military Standard Transmission Control Protocol. - Deepinder P. Sidhu; Thomas P. Blumer (RFC, 1985)

Authentication Protocols for Computer Networks: I. - Deepinder P. Sidhu (Comput. Networks, 1986)

Verification of NBS Class 4 Transport Protocol. - Deepinder P. Sidhu; Thomas P. Blumer (IEEE Trans. Commun., 1986)

Mechanical Verification and Automatic Implementation of Communication Protocols. - Thomas P. Blumer; Deepinder P. Sidhu (IEEE Trans. Software Eng., 1986)

Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol. - Thomas P. Blumer; Deepinder P. Sidhu (IEEE Trans. Commun., 1987)

Fault coverage of protocol test methods. - Deepinder P. Sidhu; Ting-Kau Leung (INFOCOM, 1988)

Experience with test generation for real protocols. - Deepinder P. Sidhu; Ting-Kau Leung (SIGCOMM, 1988)

Constructing Submodule Specifications and Network Protocols. - Deepinder P. Sidhu; Juan Aristizabal (IEEE Trans. Software Eng., 1988)

Executable Logic Specifications for Protocol Service Interfaces. - Deepinder P. Sidhu; Carole S. Crall (IEEE Trans. Software Eng., 1988)

Experience with Formal Methods in Protocol Development. - Deepinder P. Sidhu; Anthony Chung (FORTE, 1989)

Probabilistic Testing of Protocols. - Deepinder P. Sidhu; Chun-Shi Chang 002 (SIGCOMM, 1989)

Semi-Automatic Implementation of OSI Protocols. - Deepinder P. Sidhu; Thomas P. Blumer (Comput. Networks ISDN Syst., 1989)

On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. - Anthony Chung; Deepinder P. Sidhu (IEEE Trans. Software Eng., 1989)

Formal Methods for Protocol Testing: A Detailed Study. - Deepinder P. Sidhu; Ting-Kau Leung (IEEE Trans. Software Eng., 1989)

Experience with an Estelle development system. - Anthony Chung; Deepinder P. Sidhu (Formal Methods in Software Development, 1990)

The first ten years, the next ten years. - Deepinder P. Sidhu (PSTV, 1990)

Finding Disjoint Paths in Networks. - Deepinder P. Sidhu; Raj Nair; Shukri Abdallah (SIGCOMM, 1991)

Experience with formal methods in protocol development. - Deepinder P. Sidhu; Anthony Chung; Thomas P. Blumer (Comput. Commun. Rev., 1991)

Applications of Sufficient Conditions for Efficient Protocol Test Generation. - Anthony Chung; Deepinder P. Sidhu (Protocol Test Systems, 1992)

Message from the Editor-in-Chief. - Deepinder P. Sidhu (J. High Speed Networks, 1992)

Congestion Control in High Speed Networks via Alternate Path Routing. - Deepinder P. Sidhu; Shukri Abdallah; Raj Nair (J. High Speed Networks, 1992)

Fault Coverage of UIO-based Methods for Protocol Testing. - Howard E. Motteler; Anthony Chung; Deepinder P. Sidhu (Protocol Test Systems, 1993)

Open Shortest Path First (OSPF) Routing Protocol Simulation. - Deepinder P. Sidhu; Tayang Fu; Shukri Abdallah; Raj Nair; Rob Coltun (SIGCOMM, 1993)

On testing hierarchies for protocols. - Deepinder P. Sidhu; Howard E. Motteler; Raghu Vallurupalli (IEEE/ACM Trans. Netw., 1993)

Probabilistic testing of OSI protocols. - Deepinder P. Sidhu; Anthony Chung; Chun-Shi Chang 002 (IEEE Trans. Commun., 1994)

Undetected faults in protocol testing. - Howard E. Motteler; Anthony Chung; Deepinder P. Sidhu (IEEE Trans. Commun., 1995)

Call blocking probabilities for dynamic and fixed assignment of a single channel in a linear cellular array. - Alexander L. Wijesinha; Deepinder P. Sidhu; Srikanta P. Kumar (J. High Speed Networks, 1996)

A formal description technique and an environment for protocol engineering. - Anthony Chung; Deepinder P. Sidhu (CATA, 1998)

A Scalable Location Tracking and Message Delivery Scheme for Mobile Agents. - Sashi Lazar; Ishan P. Weerakoon; Deepinder P. Sidhu (WETICE, 1998)

Performance analysis of a constrained resource sharing system. - Deepinder P. Sidhu; Alexander L. Wijesinha (Queueing Syst. Theory Appl., 1998)

A tool for simulating telecommunications networks and its application in networking courses. - Anthony Chung; Deepinder P. Sidhu (CATA, 1999)

ATM Network Discovery Using Mobile Agents. - Sashi Lazar; Deepinder P. Sidhu; Sethuram Balaji Kodeswaran; Rekuram Varadharaj (LCN, 1999)

On undetected faults in homogeneous methods for protocol testing. - Anthony Chung; Howard E. Motteler; Deepinder P. Sidhu (CATA, 2000)

Probabilistic Methods in Multicast Key Management. - Ali Aydin Selçuk; Deepinder P. Sidhu (ISW, 2000)

ATM Network Connection Management Using Mobile Agents. - Sashi Lazar; Sethuram Balaji Kodeswaran; Rekuram Varadharaj; Deepinder P. Sidhu (LCN, 2000)

Performance Analysis of IP Switching and Tag Switching. - Gargi Banerjee; Robert D. Rosenberry; Deepinder P. Sidhu (NETWORKING, 2000)

Initialization Vector Attacks on the IPsec Protocol Suite. - Christopher B. McCubbin; Ali Aydin Selçuk; Deepinder P. Sidhu (WETICE, 2000)

Signaling network architectures in B-ISDN environments. - Robert D. Rosenberry; Deepinder P. Sidhu (J. High Speed Networks, 2000)

On properties of read and write sets in the Awerbuch-Peleg scheme for tracking mobile users. - Ishan P. Weerakoon; Alexander L. Wijesinha; Deepinder P. Sidhu (Wirel. Networks, 2000)

Handover and new call blocking performance with dynamic single-channel assignment in linear cellular arrays. - Alexander L. Wijesinha; Srikanta P. Kumar; Deepinder P. Sidhu (Wirel. Networks, 2000)

Label switched path restoration under two random failures. - Gargi Banerjee; Deepinder P. Sidhu (GLOBECOM, 2001)

MZR: a multicast protocol for mobile ad hoc networks. - Vijay Devarapalli; Deepinder P. Sidhu (ICC, 2001)

Path Computation for Traffic Engineering in MPLS Networks. - Gargi Banerjee; Deepinder P. Sidhu (ICN (2), 2001)

Using T.38 and SIP for Real-Time Fax Transmission over IP Networks. - Umang Choudhary; Edward Perl; Deepinder P. Sidhu (LCN, 2001)

An Analysis Comparing Light-Tree and Lightpath in Wavelength Routed Optical Networks. - Ying Zhang; Deepinder P. Sidhu (LCN, 2001)

Simulation and analysis of Awerbuch-Peleg and GSM schemes for location tracking of mobile users. - Ishan P. Weerakoon; Deepinder P. Sidhu (Int. J. Commun. Syst., 2001)

Comparative analysis of path computation techniques for MPLS traffic engineering. - Gargi Banerjee; Deepinder P. Sidhu (Comput. Networks, 2002)

Probabilistic optimization techniques for multicast key management. - Ali Aydin Selçuk; Deepinder P. Sidhu (Comput. Networks, 2002)

A performance comparison of zone-based multicast protocols for mobile ad hoc networks. - Ying Zhang; Aniruddha Rangnekar; Ali Aydin Selçuk; Ali Biçak; Deepinder P. Sidhu (ICON, 2003)

A Multicast Protection Algorithm for Optical WDM Networks. - Ying Zhang; Deepinder P. Sidhu (ICCCN, 2004)

Hello again: Stabilization of the Hello protocol in OSPF. - Jorge Arturo Cobb; Mohamed G. Gouda; Deepinder P. Sidhu (J. High Speed Networks, 2005)

Analysis of Routing and Wavelength Assignment in Large WDM Networks. - Ravi Teja Koganti; Deepinder P. Sidhu (FNC/MobiSPC, 2014)

nlsrSIM: Porting and Simulation of Named-data Link State Routing Protocol into ndnSIM. - Anil Jangam; Deepinder P. Sidhu (DIVANet@MSWiM, 2017)