Protocol Machines: A Concise Formal Model and its Automatic Implementation. - Mohamed G. Gouda; Eric G. Manning (ICCC, 1976)

On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures. - Mohamed G. Gouda; Eric G. Manning (ICSE, 1976)

A Hierarchial Controller for Concurrent Accessing of Distributed Databases. - Mohamed G. Gouda (SIGMOD Record, 1978)

Global and Local Models for the Specification and Verification of Distributed Systems. - Mohamed G. Gouda; D. Body; W. Wood (Berkeley Workshop, 1979)

On the progress of communication between two machines. - Mohamed G. Gouda; Eric G. Manning; Yao-Tin Yu (Operating Systems Engineering, 1980)

Optimal Semijoin Schedules For Query Processing in Local Distributed Database Systems. - Mohamed G. Gouda; Umeshwar Dayal (SIGMOD Conference, 1981)

Necessary and Sufficient Conditions to Detect Message Duplication in Protocol Hierarchies. - Mohamed G. Gouda; Bijendra N. Jain (PSTV, 1982)

Deadlock Detection for a Class of Communicating Finite State Machine. - Yao-Tin Yu; Mohamed G. Gouda (PSTV, 1982)

Deadlock Detection for a Class of Communicating Finite State Machines. - Yao-Tin Yu; Mohamed G. Gouda (IEEE Trans. Commun., 1982)

An Example for Constructing Communicating Machines by Step-Wise Refinement. - Mohamed G. Gouda (Protocol Specification, Testing, and Verification, 1983)

Maximal progress state exploration. - Mohamed G. Gouda; Yao-Tin Yu (SIGCOMM, 1983)

Unboundedness Detection for a Class of Communicating Finite-State Machines. - Yao-Tin Yu; Mohamed G. Gouda (Inf. Process. Lett., 1983)

Communicating Finite State Machines with Priority Channnels. - Mohamed G. Gouda; Louis E. Rosier (ICALP, 1984)

A Technique for Proving Liveness of Communicating Finite State Machines with Examples. - Mohamed G. Gouda; Chung-Kuo Chang (PODC, 1984)

Using Semiouterjoins to Process Queries in Multidatabase Systems. - Hai-Yann Hwang; Umeshwar Dayal; Mohamed G. Gouda (PODS, 1984)

On Constructing Multi-Phase Communication Protocols. - Ching-Hua Chow; Mohamed G. Gouda; Simon S. Lam (PSTV, 1984)

On the Decidability of Livelock Detection in Networks of Communicating Finite State Machines. - Mohamed G. Gouda; Ching-Hua Chow; Simon S. Lam (PSTV, 1984)

An exercise in constructing multi-phase communication protocols. - Ching-Hua Chow; Mohamed G. Gouda; Simon S. Lam (Comput. Commun. Rev., 1984)

Protocol Validation by Maximal Progress State Exploration. - Mohamed G. Gouda; Yao-Tin Yu (IEEE Trans. Commun., 1984)

Synthesis of Communicating Finite-State Machines with Guaranteed Progress. - Mohamed G. Gouda; Yao-Tin Yu (IEEE Trans. Commun., 1984)

Closed Covers: To Verify Progress for Communicating Finite State Machines. - Mohamed G. Gouda (IEEE Trans. Software Eng., 1984)

On the Progress of Communications between Two Finite State Machines - Mohamed G. Gouda; Eric G. Manning; Yao-Tin Yu (Inf. Control., 1984)

Modeling physical layer protocols using communicating finite state machines. - Mohamed G. Gouda; Khe-Sing The (SIGCOMM, 1985)

Protocol Validation by Fair Progress State Exploration. - Mohamed G. Gouda; Ji-Yun Han (Comput. Networks, 1985)

Priority Networks of Communicating Finite State Machines. - Mohamed G. Gouda; Louis E. Rosier (SIAM J. Comput., 1985)

On "A Simple Protocol Whose Proof Isńt": The State Machine Approach. - Mohamed G. Gouda (IEEE Trans. Commun., 1985)

A Discipline for Constructing Multiphase Communication Protocols - Ching-Hua Chow; Mohamed G. Gouda; Simon S. Lam (ACM Trans. Comput. Syst., 1985)

Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines. - Mohamed G. Gouda; Hui-Seng Lee (IEEE Trans. Software Eng., 1985)

Proving Liveness for Networks of Communicating Finite State Machines. - Mohamed G. Gouda; Chung-Kuo Chang (ACM Trans. Program. Lang. Syst., 1986)

The Elusive Atomic Register Revisited. - Ambuj K. Singh; James H. Anderson; Mohamed G. Gouda (PODC, 1987)

Independent Recovery. - Chung-Kuo Chang; Mohamed G. Gouda (SRDS, 1987)

Delivery and discrimination: the Seine protocol. - Mohamed G. Gouda; Nicholas F. Maxemchuk; Utpal Mukherji; Krishan K. Sabnani (SIGCOMM, 1988)

Atomic Semantics of Nonatomic Programs. - James H. Anderson; Mohamed G. Gouda (Inf. Process. Lett., 1988)

System Simulation and the Sensitivity of Self-Stabilization. - Mohamed G. Gouda; Rodney R. Howell; Louis E. Rosier (MFCS, 1989)

Block Acknowledgement: Redesigning the Window Protocol. - Geoffrey M. Brown; Mohamed G. Gouda; Raymond E. Miller (SIGCOMM, 1989)

Token Systems that Self-Stabilize. - Geoffrey M. Brown; Mohamed G. Gouda; Chuan-lin Wu (IEEE Trans. Computers, 1989)

Convergence of Iteration Systems (Extended Abstract). - Anish Arora; Paul C. Attie; Michael Evangelist; Mohamed G. Gouda (CONCUR, 1990)

Distributed Reset (Extended Abstract). - Anish Arora; Mohamed G. Gouda (FSTTCS, 1990)

Composite Routing Protocols. - Anish Arora; Mohamed G. Gouda; Ted Herman (SPDP, 1990)

Convergence/response tradeoffs in concurrent systems. - Mohamed G. Gouda; Michael Evangelist (SPDP, 1990)

The Instability of Self-Stabilization. - Mohamed G. Gouda; Rodney R. Howell; Louis E. Rosier (Acta Informatica, 1990)

Stabilizing Unison. - Mohamed G. Gouda; Ted Herman (Inf. Process. Lett., 1990)

Protocol engineering (panel session). - Ming T. Liu; Mohamed G. Gouda; Raymond E. Miller; Krishan K. Sabnani (ACM Conference on Computer Science, 1991)

A New Explanation of the Glitch Phenomenon. - James H. Anderson; Mohamed G. Gouda (Acta Informatica, 1991)

On the Minimum Requirements for Independent Recovery in Distributed Systems. - Chung-Kuo Chang; Mohamed G. Gouda (Inf. Process. Lett., 1991)

Maintaining Digital Clocks in Step. - Anish Arora; Shlomi Dolev; Mohamed G. Gouda (Parallel Process. Lett., 1991)

Stabilizing Communication Protocols. - Mohamed G. Gouda; Nicholas J. Multari (IEEE Trans. Computers, 1991)

Block acknowledgment: redesigning the window protocol. - Geoffrey M. Brown; Mohamed G. Gouda; Raymond E. Miller (IEEE Trans. Commun., 1991)

Adaptive Programming. - Mohamed G. Gouda; Ted Herman (IEEE Trans. Software Eng., 1991)

Closure and Convergence: A Formulation of Fault-Tolerant Computing. - Anish Arora; Mohamed G. Gouda (FTCS, 1992)

Asynchronous Unison (Extended Abstract). - Jean-Michel Couvreur; Nissim Francez; Mohamed G. Gouda (ICDCS, 1992)

The Two-Dimensional Window Protocol. - Mohamed G. Gouda (PSTV, 1992)

The Sentry System. - Sarah E. Chodrow; Mohamed G. Gouda (SRDS, 1992)

The Granularity of Waiting (Extended Abstract). - James H. Anderson; Jae-Heon Yang; Mohamed G. Gouda (WDAG, 1992)

A Criterion for Atomicity. - James H. Anderson; Mohamed G. Gouda (Formal Aspects Comput., 1992)

Flow theory: Verification of rate-reservation protocols. - Jorge Arturo Cobb; Mohamed G. Gouda (ICNP, 1993)

Protocol Verification Made Simple: A Tutorial. - Mohamed G. Gouda (Comput. Networks ISDN Syst., 1993)

Convergence of Iteration Systems. - Anish Arora; Paul C. Attie; Michael Evangelist; Mohamed G. Gouda (Distributed Comput., 1993)

Stabilization and Pseudo-Stabilization. - James E. Burns; Mohamed G. Gouda; Raymond E. Miller (Distributed Comput., 1993)

Rankers: A Classification of Synchronization Problems. - Ambuj K. Singh; Mohamed G. Gouda (Sci. Comput. Program., 1993)

Closure and Convergence: A Foundation of Fault-Tolerant Computing. - Anish Arora; Mohamed G. Gouda (IEEE Trans. Software Eng., 1993)

A New Approach to Modularity in Rule-Based Programming. - James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Roberto J. Bayardo Jr.; Sarah E. Chodrow; David Gadbois; F. Furman Haddix; Thomas W. Hetherington; Lance Obermeyer; Duu-Chung Tsou; et al. (ICTAI, 1994)

Protocol synchronization with sparse timestraps. - Jorge Arturo Cobb; Mohamed G. Gouda; Prathima Agrawal (PSTV, 1994)

Universal Mobile Addressing in the Internet. - Jorge Arturo Cobb; Chris Edmondson-Yurkanan; Mohamed G. Gouda (WMCSA, 1994)

Stabilizing Observers. - Mohamed G. Gouda (Inf. Process. Lett., 1994)

The Elusive Atomic Register. - Ambuj K. Singh; James H. Anderson; Mohamed G. Gouda (J. ACM, 1994)

Distributed Reset. - Anish Arora; Mohamed G. Gouda (IEEE Trans. Computers, 1994)

Stabilizing Client/Server Protocols without the Tears. - Mohamed G. Gouda (FORTE, 1995)

A wireless link protocol: design by refinement. - Mohamed G. Gouda; Sanjoy Paul (ICNP, 1995)

Ordered Delivery over One-way Virtual Circuits. - Jorge Arturo Cobb; Mohamed G. Gouda (ISCC, 1995)

Load Balancing: An Exercise in Constrainted Convergence. - Anish Arora; Mohamed G. Gouda (WDAG, 1995)

The Triumph and Tribulation of System Stabilization. - Mohamed G. Gouda (WDAG, 1995)

Modularity and Rule-Based Programming. - James C. Browne; E. Allen Emerson; Mohamed G. Gouda; Daniel P. Miranker; Aloysius K. Mok; Lance Obermeyer; F. Furman Haddix; Rwo-Hsi Wang; Sarah E. Chodrow (Int. J. Artif. Intell. Tools, 1995)

Implementation of the Sentry System. - Sarah E. Chodrow; Mohamed G. Gouda (Softw. Pract. Exp., 1995)

A periodic state exchange protocol and its verification. - Mohamed G. Gouda; Arun N. Netravali; Krishan K. Sabnani (IEEE Trans. Commun., 1995)

Sentries for the Execution of Concurrent Programs. - Sarah E. Chodrow; Mohamed G. Gouda (ICDCS, 1996)

Group Routing without Group Routing Tables. - Jorge Arturo Cobb; Mohamed G. Gouda (ICDCS, 1996)

Memory Requirements for Silent Stabilization (Extended Abstract). - Shlomi Dolev; Mohamed G. Gouda; Marco Schneider (PODC, 1996)

Group routing without group routing tables: an exercise in protocol design. - Jorge Arturo Cobb; Mohamed G. Gouda (Comput. Commun., 1996)

Network Protocols Between Exact Specifications and Pragmatic Implementations. - Mohamed G. Gouda (ACM Comput. Surv., 1996)

Systems of Recall Broadcast. - Hussein M. Abdel-Wahab; Mohamed G. Gouda (Inf. Sci., 1996)

Constraint satisfaction as a basis for designing nonmasking fault-tolerance. - Anish Arora; Mohamed G. Gouda; George Varghese (J. High Speed Networks, 1996)

The Stabilizing Token Ring in Three Bits. - Mohamed G. Gouda; F. Furman Haddix (J. Parallel Distributed Comput., 1996)

Balanced Routing. - Jorge Arturo Cobb; Mohamed G. Gouda (ICNP, 1997)

Flow scheduling protocols without real-time clocks. - Amal El-Nahas; Khalil M. Ahmed; Mohamed G. Gouda (ISCC, 1997)

Inter-stream adaptation for collaborative multimedia applications. - Alaa Youssef; Hussein M. Abdel-Wahab; Kurt Maly; Mohamed G. Gouda (ISCC, 1997)

Delay-insensitive stabilization. - Anish Arora; Mohamed G. Gouda (WSS, 1997)

The linear alternator. - Mohamed G. Gouda; F. Furman Haddix (WSS, 1997)

Self-Stabilization by Tree Correction. - George Varghese; Anish Arora; Mohamed G. Gouda (Chic. J. Theor. Comput. Sci., 1997)

Properties of secure transaction protocols. - Douglas H. Steves; Chris Edmondson-Yurkanan; Mohamed G. Gouda (Comput. Networks ISDN Syst., 1997)

The Request Reply Family of Group Routing Protocols. - Jorge Arturo Cobb; Mohamed G. Gouda (IEEE Trans. Computers, 1997)

Flow theory. - Jorge Arturo Cobb; Mohamed G. Gouda (IEEE/ACM Trans. Netw., 1997)

Accelerated Heartbeat Protocols. - Mohamed G. Gouda; Tommy M. McGuire (ICDCS, 1998)

Time-shift scheduling - fair scheduling of flows in high-speed networks. - Jorge Arturo Cobb; Mohamed G. Gouda; Amal El-Nahas (IEEE/ACM Trans. Netw., 1998)

General and Scalable State Feedback for Multimedia Systems. - Alaa Youssef; Hussein M. Abdel-Wahab; Kurt Maly; Mohamed G. Gouda (ISCC, 1999)

Stabilization of maximal metric trees. - Mohamed G. Gouda; Marco Schneider (WSS, 1999)

Memory Requirements for Silent Stabilization. - Shlomi Dolev; Mohamed G. Gouda; Marco Schneider (Acta Informatica, 1999)

Anti-replay window protocols for secure IP. - Mohamed G. Gouda; Chin-Tser Huang; Eric Li (ICCCN, 2000)

Alert communication primitives above TCP. - Mohamed G. Gouda; Tommy M. McGuire (J. High Speed Networks, 2000)

Secure group communications using key graphs. - Chung Kei Wong; Mohamed G. Gouda; Simon S. Lam (IEEE/ACM Trans. Netw., 2000)

An anti-replay window protocol with controlled shift. - Chin-Tser Huang; Mohamed G. Gouda (ICCCN, 2001)

Stabilization of Routing in Directed Networks. - Jorge Arturo Cobb; Mohamed G. Gouda (WSS, 2001)

The Theory of Weak Stabilization. - Mohamed G. Gouda (WSS, 2001)

On the Security and Vulnerability of PING. - Mohamed G. Gouda; Chin-Tser Huang; Anish Arora (WSS, 2001)

Batch rekeying for secure group communications. - Xiaozhou (Steve) Li; Yang Richard Yang; Mohamed G. Gouda; Simon S. Lam (WWW, 2001)

Elements of security: Closure, convergence, and protection. - Mohamed G. Gouda (Inf. Process. Lett., 2001)

Key Trees and the Security of Interval Multicast. - Mohamed G. Gouda; Chin-Tser Huang; E. N. Elnozahy (ICDCS, 2002)

Stabilization of General Loop-Free Routing. - Jorge Arturo Cobb; Mohamed G. Gouda (J. Parallel Distributed Comput., 2002)

Hop integrity in computer networks. - Mohamed G. Gouda; E. N. Elnozahy; Chin-Tser Huang; Tommy M. McGuire (IEEE/ACM Trans. Netw., 2002)

Multiphase Stabilization. - Mohamed G. Gouda (IEEE Trans. Software Eng., 2002)

The mote connectivity protocol. - Young-ri Choi; Mohamed G. Gouda; Moon C. Kim; Anish Arora (ICCCN, 2003)

Key Bundels and Parcels: Secure Communication in Many Groups. - Eunjin Jung; Alex X. Liu; Mohamed G. Gouda (Networked Group Communication, 2003)

A Stabilizing Solution to the Stable Path Problem. - Jorge Arturo Cobb; Mohamed G. Gouda; Ravi Musunuri (Self-Stabilizing Systems, 2003)

A Pursuer-Evader Game for Sensor Networks. - Murat Demirbas; Anish Arora; Mohamed G. Gouda (Self-Stabilizing Systems, 2003)

A secure address resolution protocol. - Mohamed G. Gouda; Chin-Tser Huang (Comput. Networks, 2003)

Dependable Systems - Whisper: Local Secret Maintenance in Sensor Networks. - Vinayak Naik; Anish Arora; Sandip Bapat; Mohamed G. Gouda (IEEE Distributed Syst. Online, 2003)

Maximizable routing metrics. - Mohamed G. Gouda; Marco Schneider (IEEE/ACM Trans. Netw., 2003)

Optimal dispersal of special certificate graphs. - Eunjin Jung; Ehab S. Elmallah; Mohamed G. Gouda (GLOBECOM, 2004)

Formal Specification and Verification of a Micropayment Protocol. - Mohamed G. Gouda; Alex X. Liu (ICCCN, 2004)

Certificate Dispersal in Ad-Hoc Networks. - Mohamed G. Gouda; Eunjin Jung (ICDCS, 2004)

Firewall Design: Consistency, Completeness, and Compactness. - Mohamed G. Gouda; Alex X. Liu (ICDCS, 2004)

Sentries and Sleepers in Sensor Networks. - Mohamed G. Gouda; Young-ri Choi; Anish Arora (OPODIS, 2004)

Firewall Queries. - Alex X. Liu; Mohamed G. Gouda; Huibo H. Ma; Anne H. H. Ngu (OPODIS, 2004)

A line in the sand: a wireless sensor network for target detection, classification, and tracking. - Anish Arora; Prabal Dutta; Sandip Bapat; Vinod Kulathumani; Hongwei Zhang 001; Vinayak Naik; Vineet Mittal; Hui Cao 001; Murat Demirbas; Mohamed G. Gouda; Young-ri Choi; Ted Herman; et al. (Comput. Networks, 2004)

The Austin Protocol Compiler - Tommy M. McGuire; Mohamed G. Gouda (Springer, 2005)

Antireplay Protocols for Sensor Networks. - Mohamed G. Gouda; Young-ri Choi; Anish Arora (Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, 2005)

Complete Redundancy Detection in Firewalls. - Alex X. Liu; Mohamed G. Gouda (DBSec, 2005)

Project ExScal (Short Abstract). - Anish Arora; Rajiv Ramnath; Prasun Sinha; Emre Ertin; Sandip Bapat; Vinayak Naik; Vinod Kulathumani; Hongwei Zhang 001; Mukundan Sridharan; Santosh Kumar 001; Hui Cao 001; Nick Seddon; et al. (DCOSS, 2005)

A Model of Stateful Firewalls and Its Properties. - Mohamed G. Gouda; Alex X. Liu (DSN, 2005)

A secure cookie protocol. - Alex X. Liu; Jason M. Kovacs; Chin-Tser Huang; Mohamed G. Gouda (ICCCN, 2005)

State Checksum and Its Role in System Stabilization. - Chin-Tser Huang; Mohamed G. Gouda (ICDCS Workshops, 2005)

Zmail: Zero-Sum Free Market Control of Spam. - Benjamin Kuipers; Alex X. Liu; Aashin Gautam; Mohamed G. Gouda (ICDCS Workshops, 2005)

A General Alternator. - F. Furman Haddix; Mohamed G. Gouda (IASTED PDCS, 2005)

ExScal: Elements of an Extreme Scale Wireless Sensor Network. - Anish Arora; Rajiv Ramnath; Emre Ertin; Prasun Sinha; Sandip Bapat; Vinayak Naik; Vinod Kulathumani; Hongwei Zhang 001; Hui Cao 001; Mukundan Sridharan; Santosh Kumar 001; Nick Seddon; et al. (RTCSA, 2005)

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

Self-Stabilizing Systems, Part 1. - Mohamed G. Gouda (J. High Speed Networks, 2005)

Self-Stabilizing Systems, Part 2. - Mohamed G. Gouda (J. High Speed Networks, 2005)

Hop Integrity in the Internet - Chin-Tser Huang; Mohamed G. Gouda (Springer, 2006)

How to Assign Symmetric Keys in a Network of Small Computers. - Mohamed G. Gouda (ICCCN, 2006)

Rating Certificates. - Eunjin Jung; Mohamed G. Gouda (ICCCN, 2006)

Key Grids: A Protocol Family for Assigning Symmetric Keys. - Amitanand S. Aiyer; Lorenzo Alvisi; Mohamed G. Gouda (ICNP, 2006)

Fault Masking in Tri-redundant Systems. - Mohamed G. Gouda; Jorge Arturo Cobb; Chin-Tser Huang (SSS, 2006)

Logarithmic Keying of Communication Networks. - Mohamed G. Gouda; Sandeep S. Kulkarni; Ehab S. Elmallah (SSS, 2006)

Key bundles and parcels: Secure communication in many groups. - Eunjin Jung; Alex X. Liu; Mohamed G. Gouda (Comput. Networks, 2006)

Secret instantiation in ad-hoc networks. - Sandeep S. Kulkarni; Mohamed G. Gouda; Anish Arora (Comput. Commun., 2006)

Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. - Sandeep S. Kulkarni; Mohamed G. Gouda; Anish Arora (Comput. Commun., 2006)

Vulnerability analysis of certificate graphs. - Eunjin Jung; Mohamed G. Gouda (Int. J. Secur. Networks, 2006)

Stabilization of Grid Routing in Sensor Networks. - Young-ri Choi; Mohamed G. Gouda; Hongwei Zhang 001; Anish Arora (J. Aerosp. Comput. Inf. Commun., 2006)

Stabilizing Certificate Dispersal. - Mohamed G. Gouda; Eunjin Jung (J. Aerosp. Comput. Inf. Commun., 2006)

Convergence of IPsec in presence of resets. - Chin-Tser Huang; Mohamed G. Gouda; E. N. Elnozahy (J. High Speed Networks, 2006)

Truth in advertising: lightweight verification of route integrity. - Edmund L. Wong; Praveen Balasubramanian; Lorenzo Alvisi; Mohamed G. Gouda; Vitaly Shmatikov (PODC, 2007)

Stabilization of Flood Sequencing Protocols in Sensor Networks. - Young-ri Choi; Mohamed G. Gouda (SSS, 2007)

The Truth System: Can a System of Lying Processes Stabilize? - Mohamed G. Gouda; Yan Li (SSS, 2007)

Structured firewall design. - Mohamed G. Gouda; Alex X. Liu (Comput. Networks, 2007)

SPP: An anti-phishing single password protocol. - Mohamed G. Gouda; Alex X. Liu; Lok M. Leung; Mohamed A. Alam (Comput. Networks, 2007)

Reliable bursty convergecast in wireless sensor networks. - Hongwei Zhang 001; Anish Arora; Young-ri Choi; Mohamed G. Gouda (Comput. Commun., 2007)

The alternator. - Mohamed G. Gouda; F. Furman Haddix (Distributed Comput., 2007)

A state-based language for sensor-actuator networks. - Anish Arora; Mohamed G. Gouda; Jason O. Hallstrom; Ted Herman; William Leal; Nigamanth Sridhar (SIGBED Rev., 2007)

A Stabilizing Deactivation/Reactivation Protocol. - Mehmet Hakan Karaata; Mohamed G. Gouda (IEEE Trans. Computers, 2007)

Optimal Dispersal of Certificate Chains. - Eunjin Jung; Ehab S. Elmallah; Mohamed G. Gouda (IEEE Trans. Parallel Distributed Syst., 2007)

Verification of Distributed Firewalls. - Mohamed G. Gouda; Alex X. Liu; Mansoor Jafry (GLOBECOM, 2008)

DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language. - Andrew R. Dalton; William P. McCartney; Kajari Ghosh Dastidar; Jason O. Hallstrom; Nigamanth Sridhar; Ted Herman; William Leal; Anish Arora; Mohamed G. Gouda (ICCCN, 2008)

Sources and Monitors: A Trust Model for Peer-to-Peer Networks. - Yan Li; Mohamed G. Gouda (ICCCN, 2008)

Pharewell to Phishing. - Taehwan Choi; Sooel Son; Mohamed G. Gouda; Jorge Arturo Cobb (SSS, 2008)

Formal Specification and Verification of a Secure Micropayment Protocol. - Mohamed G. Gouda; Alex X. Liu (Int. J. Netw. Secur., 2008)

Logarithmic keying. - Ehab S. Elmallah; Mohamed G. Gouda; Sandeep S. Kulkarni (ACM Trans. Auton. Adapt. Syst., 2008)

Diverse Firewall Design. - Alex X. Liu; Mohamed G. Gouda (IEEE Trans. Parallel Distributed Syst., 2008)

Balanced Peer Lists: Towards a Collusion-Resistant BGP. - Yan Li; Mohamed G. Gouda (ICCCN, 2009)

Linear-Time Verification of Firewalls. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICNP, 2009)

Consistent Fixed Points and Negative Gain. - Hrishikesh B. Acharya; Ehab S. Elmallah; Mohamed G. Gouda (PDCAT, 2009)

Brief announcement: the theory of network tracing. - Hrishikesh B. Acharya; Mohamed G. Gouda (PODC, 2009)

The Blocking Option in Routing Protocols. - Yan Li; Mohamed G. Gouda (SRDS, 2009)

Brief Announcement: Consistent Fixed Points and Negative Gain. - Hrishikesh B. Acharya; Ehab S. Elmallah; Mohamed G. Gouda (SSS, 2009)

A Theory of Network Tracing. - Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2009)

Hop chains: Secure routing and the establishment of distinct identities. - Rida A. Bazzi; Young-ri Choi; Mohamed G. Gouda (Theor. Comput. Sci., 2009)

Firewall Policy Queries. - Alex X. Liu; Mohamed G. Gouda (IEEE Trans. Parallel Distributed Syst., 2009)

The Weak Network Tracing Problem. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICDCN, 2010)

Projection and Division: Linear-Space Verification of Firewalls. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICDCS, 2010)

Firewall modules and modular firewalls. - Hrishikesh B. Acharya; Aditya Joshi; Mohamed G. Gouda (ICNP, 2010)

IP Fast Reroute in Networks with Shared Risk Links. - Yan Li; Mohamed G. Gouda (Networking, 2010)

Brief Announcement: On the Hardness of Topology Inference. - Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2010)

On the Power of Non-spoofing Adversaries. - Hrishikesh B. Acharya; Mohamed G. Gouda (DISC, 2010)

Mission critical networking [Guest editorial]. - Mohamed Eltoweissy; David Hung-Chang Du; Mario Gerla; Silvia Giordano; Mohamed G. Gouda; Henning Schulzrinne; Moustafa Youssef 001; Donald F. Towsley (IEEE J. Sel. Areas Commun., 2010)

Stabilization of Flood Sequencing Protocols in Sensor Networks. - Young-ri Choi; Chin-Tser Huang; Mohamed G. Gouda (IEEE Trans. Parallel Distributed Syst., 2010)

Complete Redundancy Removal for Packet Classifiers in TCAMs. - Alex X. Liu; Mohamed G. Gouda (IEEE Trans. Parallel Distributed Syst., 2010)

TPP: The Two-Way Password Protocol. - Taehwan Choi; Hrishikesh B. Acharya; Mohamed G. Gouda (ICCCN, 2011)

HTTPI: An HTTP with Integrity. - Taehwan Choi; Mohamed G. Gouda (ICCCN, 2011)

On the Hardness of Topology Inference. - Hrishikesh B. Acharya; Mohamed G. Gouda (ICDCN, 2011)

Firewall verification and redundancy checking are equivalent. - Hrishikesh B. Acharya; Mohamed G. Gouda (INFOCOM, 2011)

NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates. - Sushil K. Prasad; Almadena Yu. Chtchelkanova; Sajal K. Das 001; Frank Dehne; Mohamed G. Gouda; Anshul Gupta; Joseph F. JáJá; Krishna Kant 001; Anita La Salle; Richard LeBlanc; Manish Lumsdaine; David A. Padua; et al. (SIGCSE, 2011)

Brief announcement: RedRem: a parallel redundancy remover. - Hrishikesh B. Acharya; Mohamed G. Gouda (SPAA, 2011)

The K-Observer Problem in Computer Networks. - Hrishikesh B. Acharya; Taehwan Choi; Rida A. Bazzi; Mohamed G. Gouda (SSS, 2011)

Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks. - Hrishikesh B. Acharya; Anil Kumar Katti; Mohamed G. Gouda (SSS, 2011)

Is that you? Authentication in a network without identities. - Taehwan Choi; Hrishikesh B. Acharya; Mohamed G. Gouda (Int. J. Secur. Networks, 2011)

Stabilization of max-min fair networks without per-flow state. - Jorge Arturo Cobb; Mohamed G. Gouda (Theor. Comput. Sci., 2011)

Nash equilibria in stabilizing systems. - Mohamed G. Gouda; Hrishikesh B. Acharya (Theor. Comput. Sci., 2011)

A secure cookie scheme. - Alex X. Liu; Jason M. Kovacs; Mohamed G. Gouda (Comput. Networks, 2012)

A state-based model of sensor protocols. - Young-ri Choi; Mohamed G. Gouda (Theor. Comput. Sci., 2012)

The best keying protocol for sensor networks. - Taehwan Choi; Hrishikesh B. Acharya; Mohamed G. Gouda (Pervasive Mob. Comput., 2013)

Keynote Talk: Communication Without Repudiation: The Unanswered Question. - Mohamed G. Gouda (NETYS, 2014)

Incremental Verification of Computing Policies. - Ehab S. Elmallah; Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2014)

The Implication Problem of Computing Policies. - Rezwana Reaz; Muqeet Ali; Mohamed G. Gouda; Marijn Heule; Ehab S. Elmallah (SSS, 2015)

Nonrepudiation Protocols in Cloud Systems. - Muqeet Ali; Mohamed G. Gouda (ICCCNT, 2016)

Two-phase Nonrepudiation Protocols. - Muqeet Ali; Rezwana Reaz; Mohamed G. Gouda (ICCCNT, 2016)

A secure credit card protocol over NFC. - Oliver Jensen; Mohamed G. Gouda; Lili Qiu (ICDCN, 2016)

Nonrepudiation Protocols Without a Trusted Party. - Muqeet Ali; Rezwana Reaz; Mohamed G. Gouda (NETYS, 2016)

Securing NFC Credit Card Payments Against Malicious Retailers. - Oliver Jensen; Tyler O'Meara; Mohamed G. Gouda (NETYS, 2016)

Analysis of Computing Policies Using SAT Solvers (Short Paper). - Marijn J. H. Heule; Rezwana Reaz; Hrishikesh B. Acharya; Mohamed G. Gouda (SSS, 2016)

Hardness of Firewall Analysis. - Ehab S. Elmallah; Mohamed G. Gouda (IEEE Trans. Dependable Secur. Comput., 2017)

Executing Firewalls in Public Clouds. - Rezwana Reaz; Ehab S. Elmallah; Mohamed G. Gouda (ICCCNT, 2019)

Policy expressions and the bottom-up design of computing policies. - Rezwana Reaz; Hrishikesh B. Acharya; Ehab S. Elmallah; Jorge Arturo Cobb; Mohamed G. Gouda (Computing, 2019)