Mohamed G. Gouda

Publication Activity (10 Years)

Years Active: 1976-2019
Publications (10 Years): 11

Top Venues

NETYS

ICCCNT

SSS

Pervasive Mob. Comput.

Publications

Rezwana Reaz, Ehab S. Elmallah, Mohamed G. Gouda
Executing Firewalls in Public Clouds. ICCCNT (2019)
Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda
Policy expressions and the bottom-up design of computing policies. Computing 101 (9) (2019)
Ehab S. Elmallah, Mohamed G. Gouda
Hardness of Firewall Analysis. IEEE Trans. Dependable Secur. Comput. 14 (3) (2017)
Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda
Policy Expressions and the Bottom-Up Design of Computing Policies. NETYS (2017)
Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda
Analysis of Computing Policies Using SAT Solvers (Short Paper). SSS (2016)
Oliver Jensen, Tyler O'Meara, Mohamed G. Gouda
Securing NFC Credit Card Payments Against Malicious Retailers. NETYS (2016)
Muqeet Ali, Mohamed G. Gouda
Nonrepudiation Protocols in Cloud Systems. ICCCNT (2016)
Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda
Nonrepudiation Protocols Without a Trusted Party. NETYS (2016)
Oliver Jensen, Mohamed G. Gouda, Lili Qiu
A secure credit card protocol over NFC. ICDCN (2016)
Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda
Two-phase Nonrepudiation Protocols. ICCCNT (2016)
Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah
The Implication Problem of Computing Policies. SSS (2015)
Mohamed G. Gouda
Keynote Talk: Communication Without Repudiation: The Unanswered Question. NETYS (2014)
Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda
Incremental Verification of Computing Policies. SSS (2014)
Ehab S. Elmallah, Mohamed G. Gouda
Hardness of Firewall Analysis. NETYS (2014)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
The best keying protocol for sensor networks. Pervasive Mob. Comput. 9 (4) (2013)
Young-ri Choi, Mohamed G. Gouda
A state-based model of sensor protocols. Theor. Comput. Sci. 458 (2012)
Alex X. Liu, Jason M. Kovacs, Mohamed G. Gouda
A secure cookie scheme. Comput. Networks 56 (6) (2012)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
TPP: The Two-Way Password Protocol. ICCCN (2011)
Hrishikesh B. Acharya, Mohamed G. Gouda
On the Hardness of Topology Inference. ICDCN (2011)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
The best keying protocol for sensor networks. WOWMOM (2011)
Taehwan Choi, Mohamed G. Gouda
HTTPI: An HTTP with Integrity. ICCCN (2011)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
Is That You? Authentication in a Network without Identities. GLOBECOM (2011)
Hrishikesh B. Acharya, Mohamed G. Gouda
Firewall verification and redundancy checking are equivalent. INFOCOM (2011)
Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda
Is that you? Authentication in a network without identities. Int. J. Secur. Networks 6 (4) (2011)
Sushil K. Prasad, Almadena Yu. Chtchelkanova, Sajal K. Das, Frank Dehne, Mohamed G. Gouda, Anshul Gupta, Joseph F. JáJá, Krishna Kant, Anita La Salle, Richard LeBlanc, Manish Lumsdaine, David A. Padua, Manish Parashar, Viktor K. Prasanna, Yves Robert, Arnold L. Rosenberg, Sartaj Sahni, Behrooz A. Shirazi, Alan Sussman, Charles C. Weems, Jie Wu
NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates. SIGCSE (2011)
Jorge Arturo Cobb, Mohamed G. Gouda
Stabilization of max-min fair networks without per-flow state. Theor. Comput. Sci. 412 (40) (2011)
Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda
The K-Observer Problem in Computer Networks. SSS (2011)
Mohamed G. Gouda, Hrishikesh B. Acharya
Nash equilibria in stabilizing systems. Theor. Comput. Sci. 412 (33) (2011)
Hrishikesh B. Acharya, Mohamed G. Gouda
Brief announcement: RedRem: a parallel redundancy remover. SPAA (2011)
Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda
Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks. SSS (2011)
Young-ri Choi, Chin-Tser Huang, Mohamed G. Gouda
Stabilization of Flood Sequencing Protocols in Sensor Networks. IEEE Trans. Parallel Distributed Syst. 21 (7) (2010)
Hrishikesh B. Acharya, Mohamed G. Gouda
On the Power of Non-spoofing Adversaries. DISC (2010)
Mohamed Eltoweissy, David Hung-Chang Du, Mario Gerla, Silvia Giordano, Mohamed G. Gouda, Henning Schulzrinne, Moustafa Youssef, Donald F. Towsley
Mission critical networking [Guest editorial]. IEEE J. Sel. Areas Commun. 28 (5) (2010)
Hrishikesh B. Acharya, Mohamed G. Gouda
Brief Announcement: On the Hardness of Topology Inference. SSS (2010)
Hrishikesh B. Acharya, Mohamed G. Gouda
The Weak Network Tracing Problem. ICDCN (2010)
Hrishikesh B. Acharya, Aditya Joshi, Mohamed G. Gouda
Firewall modules and modular firewalls. ICNP (2010)
Hrishikesh B. Acharya, Mohamed G. Gouda
Projection and Division: Linear-Space Verification of Firewalls. ICDCS (2010)
Yan Li, Mohamed G. Gouda
IP Fast Reroute in Networks with Shared Risk Links. Networking (2010)
Alex X. Liu, Mohamed G. Gouda
Complete Redundancy Removal for Packet Classifiers in TCAMs. IEEE Trans. Parallel Distributed Syst. 21 (4) (2010)
Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda
Brief Announcement: Consistent Fixed Points and Negative Gain. SSS (2009)
Yan Li, Mohamed G. Gouda
The Blocking Option in Routing Protocols. SRDS (2009)
Alex X. Liu, Mohamed G. Gouda
Firewall Policy Queries. IEEE Trans. Parallel Distributed Syst. 20 (6) (2009)
Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda
Consistent Fixed Points and Negative Gain. PDCAT (2009)
Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda
Hop chains: Secure routing and the establishment of distinct identities. Theor. Comput. Sci. 410 (6-7) (2009)
Yan Li, Mohamed G. Gouda
Balanced Peer Lists: Towards a Collusion-Resistant BGP. ICCCN (2009)
Hrishikesh B. Acharya, Mohamed G. Gouda
Brief announcement: the theory of network tracing. PODC (2009)
Mohamed G. Gouda, Hrishikesh B. Acharya
Nash Equilibria in Stabilizing Systems. SSS (2009)
Hrishikesh B. Acharya, Mohamed G. Gouda
A Theory of Network Tracing. SSS (2009)
Hrishikesh B. Acharya, Mohamed G. Gouda
Linear-Time Verification of Firewalls. ICNP (2009)
Yan Li, Mohamed G. Gouda
Sources and Monitors: A Trust Model for Peer-to-Peer Networks. ICCCN (2008)
Mohamed G. Gouda, Alex X. Liu
Formal Specification and Verification of a Secure Micropayment Protocol. Int. J. Netw. Secur. 7 (1) (2008)
Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb
Pharewell to Phishing. SSS (2008)
Mohamed G. Gouda, Alex X. Liu, Mansoor Jafry
Verification of Distributed Firewalls. GLOBECOM (2008)
Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni
Logarithmic keying. ACM Trans. Auton. Adapt. Syst. 3 (4) (2008)
Alex X. Liu, Mohamed G. Gouda
Diverse Firewall Design. IEEE Trans. Parallel Distributed Syst. 19 (9) (2008)
Jorge Arturo Cobb, Mohamed G. Gouda
Stabilization of Max-Min Fair Networks without Per-flow State. SSS (2008)
Andrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda
DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language. ICCCN (2008)
Mohamed G. Gouda, Alex X. Liu
Structured firewall design. Comput. Networks 51 (4) (2007)
Anish Arora, Mohamed G. Gouda, Jason O. Hallstrom, Ted Herman, William Leal, Nigamanth Sridhar
A state-based language for sensor-actuator networks. SIGBED Rev. 4 (3) (2007)
Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda
Reliable bursty convergecast in wireless sensor networks. Comput. Commun. 30 (13) (2007)
Mohamed G. Gouda, F. Furman Haddix
The alternator. Distributed Comput. 20 (1) (2007)
Young-ri Choi, Mohamed G. Gouda
Stabilization of Flood Sequencing Protocols in Sensor Networks. SSS (2007)
Mohamed G. Gouda, Alex X. Liu, Lok M. Leung, Mohamed A. Alam
SPP: An anti-phishing single password protocol. Comput. Networks 51 (13) (2007)
Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed G. Gouda, Vitaly Shmatikov
Truth in advertising: lightweight verification of route integrity. PODC (2007)
Mehmet Hakan Karaata, Mohamed G. Gouda
A Stabilizing Deactivation/Reactivation Protocol. IEEE Trans. Computers 56 (7) (2007)
Mohamed G. Gouda, Yan Li
The Truth System: Can a System of Lying Processes Stabilize? SSS (2007)
Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda
Optimal Dispersal of Certificate Chains. IEEE Trans. Parallel Distributed Syst. 18 (4) (2007)
Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. Comput. Commun. 29 (11) (2006)
Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda
Hop Chains: Secure Routing and the Establishment of Distinct Identities. OPODIS (2006)
Mohamed G. Gouda, Eunjin Jung
Stabilizing Certificate Dispersal. J. Aerosp. Comput. Inf. Commun. 3 (10) (2006)
Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang
Fault Masking in Tri-redundant Systems. SSS (2006)
Chin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy
Convergence of IPsec in presence of resets. J. High Speed Networks 15 (2) (2006)
Mohamed G. Gouda
How to Assign Symmetric Keys in a Network of Small Computers. ICCCN (2006)
Amitanand S. Aiyer, Lorenzo Alvisi, Mohamed G. Gouda
Key Grids: A Protocol Family for Assigning Symmetric Keys. ICNP (2006)
Eunjin Jung, Mohamed G. Gouda
Vulnerability analysis of certificate graphs. Int. J. Secur. Networks 1 (1/2) (2006)
Eunjin Jung, Alex X. Liu, Mohamed G. Gouda
Key bundles and parcels: Secure communication in many groups. Comput. Networks 50 (11) (2006)
Young-ri Choi, Mohamed G. Gouda, Hongwei Zhang, Anish Arora
Stabilization of Grid Routing in Sensor Networks. J. Aerosp. Comput. Inf. Commun. 3 (5) (2006)
Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
Secret instantiation in ad-hoc networks. Comput. Commun. 29 (2) (2006)
Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah
Logarithmic Keying of Communication Networks. SSS (2006)
Eunjin Jung, Mohamed G. Gouda
Rating Certificates. ICCCN (2006)
Alex X. Liu, Jason M. Kovacs, Chin-Tser Huang, Mohamed G. Gouda
A secure cookie protocol. ICCCN (2005)
Anish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Mukundan Sridharan, Santosh Kumar, Hui Cao, Nick Seddon, Chris Anderson, Ted Herman, Chen Zhang, Nishank Trivedi, Mohamed G. Gouda, Young-ri Choi, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker
Project ExScal (Short Abstract). DCOSS (2005)
Mohamed G. Gouda
Self-Stabilizing Systems, Part 2. J. High Speed Networks 14 (2) (2005)
Alex X. Liu, Mohamed G. Gouda
Complete Redundancy Detection in Firewalls. DBSec (2005)
Mohamed G. Gouda, Alex X. Liu
A Model of Stateful Firewalls and Its Properties. DSN (2005)
Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda
Reliable bursty convergecast in wireless sensor networks. MobiHoc (2005)
Mohamed G. Gouda
Self-Stabilizing Systems, Part 1. J. High Speed Networks 14 (1) (2005)
F. Furman Haddix, Mohamed G. Gouda
A General Alternator. IASTED PDCS (2005)
Chin-Tser Huang, Mohamed G. Gouda
State Checksum and Its Role in System Stabilization. ICDCS Workshops (2005)
Mohamed G. Gouda, Eunjin Jung
Stabilizing Certificate Dispersal. Self-Stabilizing Systems (2005)
Benjamin Kuipers, Alex X. Liu, Aashin Gautam, Mohamed G. Gouda
Zmail: Zero-Sum Free Market Control of Spam. ICDCS Workshops (2005)
Jorge Arturo Cobb, Mohamed G. Gouda, Deepinder P. Sidhu
Hello again: Stabilization of the Hello protocol in OSPF. J. High Speed Networks 14 (1) (2005)
Mohamed G. Gouda, Young-ri Choi
A State-Based Model of Sensor Protocols. OPODIS (2005)
Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker
ExScal: Elements of an Extreme Scale Wireless Sensor Network. RTCSA (2005)
Mohamed G. Gouda, Young-ri Choi, Anish Arora
Sentries and Sleepers in Sensor Networks. OPODIS (2004)
Alex X. Liu, Mohamed G. Gouda
Diverse Firewall Design. DSN (2004)
Mohamed G. Gouda, Alex X. Liu
Firewall Design: Consistency, Completeness, and Compactness. ICDCS (2004)
Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda
Optimal dispersal of special certificate graphs. GLOBECOM (2004)
Anish Arora, Prabal Dutta, Sandip Bapat, Vinod Kulathumani, Hongwei Zhang, Vinayak Naik, Vineet Mittal, Hui Cao, Murat Demirbas, Mohamed G. Gouda, Young-ri Choi, Ted Herman, Sandeep S. Kulkarni, Umamaheswaran Arumugam, Mikhail Nesterenko, Adnan Vora, Mark Miyashita
A line in the sand: a wireless sensor network for target detection, classification, and tracking. Comput. Networks 46 (5) (2004)
Mohamed G. Gouda, Alex X. Liu
Formal Specification and Verification of a Micropayment Protocol. ICCCN (2004)

Mohamed G. Gouda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed G. Gouda