Search results for "Mohamed G. Gouda"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alex X. Liu, Jason M. Kovacs, Mohamed G. Gouda	A secure cookie scheme.	Computer Networks	2012	DBLP DOI BibTeX RDF
1	Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda	Is that you? Authentication in a network without identities.	IJSN	2011	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb, Mohamed G. Gouda	Stabilization of max-min fair networks without per-flow state.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Hrishikesh B. Acharya	Nash equilibria in stabilizing systems.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	On the Hardness of Topology Inference.	ICDCN	2011	DBLP DOI BibTeX RDF
1	Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda	TPP: The Two-Way Password Protocol.	ICCCN	2011	DBLP DOI BibTeX RDF
1	Taehwan Choi, Mohamed G. Gouda	HTTPI: An HTTP with Integrity.	ICCCN	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Firewall verification and redundancy checking are equivalent.	INFOCOM	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Brief announcement: RedRem: a parallel redundancy remover.	SPAA	2011	DBLP DOI BibTeX RDF
1	Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda	Is That You? Authentication in a Network without Identities.	GLOBECOM	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda	Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda	The K-Observer Problem in Computer Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda	The best keying protocol for sensor networks.	WOWMOM	2011	DBLP DOI BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda	Complete Redundancy Removal for Packet Classifiers in TCAMs.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	redundant rules, Packet classification, Ternary Content Addressable Memory (TCAM)
1	Young-ri Choi, Chin-Tser Huang, Mohamed G. Gouda	Stabilization of Flood Sequencing Protocols in Sensor Networks.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	flood sequencing protocol, sensor networks, Self-stabilization, sequence numbers
1	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 Journal on Selected Areas in Communications	2010	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	The Weak Network Tracing Problem.	ICDCN	2010	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Aditya Joshi, Mohamed G. Gouda	Firewall modules and modular firewalls.	ICNP	2010	DBLP DOI BibTeX RDF
1	Yan Li, Mohamed G. Gouda	IP Fast Reroute in Networks with Shared Risk Links.	Networking	2010	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	On the Power of Non-spoofing Adversaries.	DISC	2010	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Projection and Division: Linear-Space Verification of Firewalls.	ICDCS	2010	DBLP DOI BibTeX RDF	firewall verification, projection, division
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Brief Announcement: On the Hardness of Topology Inference.	SSS	2010	DBLP DOI BibTeX RDF
1	Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda	Hop chains: Secure routing and the establishment of distinct identities.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda	Firewall Policy Queries.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
1	Yan Li, Mohamed G. Gouda	The Blocking Option in Routing Protocols.	SRDS	2009	DBLP DOI BibTeX RDF	Blocking Option, Security, Routing Protocols, Distance Vector
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Linear-Time Verification of Firewalls.	ICNP	2009	DBLP DOI BibTeX RDF
1	Yan Li, Mohamed G. Gouda	Balanced Peer Lists: Towards a Collusion-Resistant BGP.	ICCCN	2009	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	Brief announcement: the theory of network tracing.	PODC	2009	DBLP DOI BibTeX RDF	topology tracing, network topology, traceroute, topology inference
1	Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda	Consistent Fixed Points and Negative Gain.	PDCAT	2009	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda	Brief Announcement: Consistent Fixed Points and Negative Gain.	SSS	2009	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Hrishikesh B. Acharya	Nash Equilibria in Stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Mohamed G. Gouda	A Theory of Network Tracing.	SSS	2009	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Alex X. Liu	Formal Specification and Verification of a Secure Micropayment Protocol.	I. J. Network Security	2008	DBLP BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda	Diverse Firewall Design.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
1	Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni	Logarithmic keying.	TAAS	2008	DBLP DOI BibTeX RDF	keying scheme, Secure communications, symmetric keys
1	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	DBLP DOI BibTeX RDF
1	Yan Li, Mohamed G. Gouda	Sources and Monitors: A Trust Model for Peer-to-Peer Networks.	ICCCN	2008	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Alex X. Liu, Mansoor Jafry	Verification of Distributed Firewalls.	GLOBECOM	2008	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb, Mohamed G. Gouda	Stabilization of Max-Min Fair Networks without Per-flow State.	SSS	2008	DBLP DOI BibTeX RDF	quality of service, Stabilization, computer networks, max-min fairness
1	Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb	Pharewell to Phishing.	SSS	2008	DBLP DOI BibTeX RDF
1	Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda	Reliable bursty convergecast in wireless sensor networks.	Computer Communications	2007	DBLP DOI BibTeX RDF
1	Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda	Optimal Dispersal of Certificate Chains.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	certificate graph, certificate dispersal, public-key management, authentication, authentication, security and protection, Security and privacy protection
1	Mehmet Hakan Karaata, Mohamed G. Gouda	A Stabilizing Deactivation/Reactivation Protocol.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Deactivation/reactivation, fault tolerance, sensor networks, stabilization, network protocols
1	Mohamed G. Gouda, Alex X. Liu, Lok M. Leung, Mohamed A. Alam	SPP: An anti-phishing single password protocol.	Computer Networks	2007	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Alex X. Liu	Structured firewall design.	Computer Networks	2007	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, F. Furman Haddix	The alternator.	Distributed Computing	2007	DBLP DOI BibTeX RDF	System transformation, Serial execution, Distributed systems, Concurrency, Self-stabilization
1	Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed G. Gouda, Vitaly Shmatikov	Truth in advertising: lightweight verification of route integrity.	PODC	2007	DBLP DOI BibTeX RDF	security, BGP, interdomain routing
1	Mohamed G. Gouda, Yan Li	The Truth System: Can a System of Lying Processes Stabilize?	SSS	2007	DBLP DOI BibTeX RDF	Distributed Systems, Self-Stabilization, Network Protocols
1	Young-ri Choi, Mohamed G. Gouda	Stabilization of Flood Sequencing Protocols in Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF	Flood sequencing protocol, Sensor networks, Self-stabilization, Sequence numbers
1	Eunjin Jung, Mohamed G. Gouda	Vulnerability analysis of certificate graphs.	IJSN	2006	DBLP DOI BibTeX RDF
1	Chin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy	Convergence of IPsec in presence of resets.	J. High Speed Networks	2006	DBLP BibTeX RDF
1	Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora	Secret instantiation in ad-hoc networks.	Computer Communications	2006	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora	Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215].	Computer Communications	2006	DBLP DOI BibTeX RDF
1	Eunjin Jung, Alex X. Liu, Mohamed G. Gouda	Key bundles and parcels: Secure communication in many groups.	Computer Networks	2006	DBLP DOI BibTeX RDF
1	Chin-Tser Huang, Mohamed G. Gouda	Hop Integrity in the Internet		2006	DOI RDF
1	Amitanand S. Aiyer, Lorenzo Alvisi, Mohamed G. Gouda	Key Grids: A Protocol Family for Assigning Symmetric Keys.	ICNP	2006	DBLP DOI BibTeX RDF
1	Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda	Hop Chains: Secure Routing and the Establishment of Distinct Identities.	OPODIS	2006	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang	Fault Masking in Tri-redundant Systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah	Logarithmic Keying of Communication Networks.	SSS	2006	DBLP DOI BibTeX RDF	keying scheme, Secure communications, symmetric keys
1	Mohamed G. Gouda	Self-Stabilizing Systems, Part 1.	J. High Speed Networks	2005	DBLP BibTeX RDF
1	Mohamed G. Gouda	Self-Stabilizing Systems, Part 2.	J. High Speed Networks	2005	DBLP BibTeX RDF
1	Jorge Arturo Cobb, Mohamed G. Gouda, Deepinder P. Sidhu	Hello again: Stabilization of the Hello protocol in OSPF.	J. High Speed Networks	2005	DBLP BibTeX RDF
1	Tommy M. McGuire, Mohamed G. Gouda	The Austin Protocol Compiler		2005	DOI RDF
1	Benjamin Kuipers, Alex X. Liu, Aashin Gautam, Mohamed G. Gouda	Zmail: Zero-Sum Free Market Control of Spam.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
1	Chin-Tser Huang, Mohamed G. Gouda	State Checksum and Its Role in System Stabilization.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Alex X. Liu	A Model of Stateful Firewalls and Its Properties.	DSN	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Young-ri Choi	A State-Based Model of Sensor Protocols.	OPODIS	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda	Complete Redundancy Detection in Firewalls.	DBSec	2005	DBLP DOI BibTeX RDF	Redundant Rules, Network Security, Firewall
1	Mohamed G. Gouda, Eunjin Jung	Stabilizing Certificate Dispersal.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
1	F. Furman Haddix, Mohamed G. Gouda	A General Alternator.	IASTED PDCS	2005	DBLP BibTeX RDF
1	Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda	Reliable bursty convergecast in wireless sensor networks.	MobiHoc	2005	DBLP DOI BibTeX RDF	bursty convergecast, contention control, reliable and real-time transport, wireless sensor network, error control
1	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.	Computer Networks	2004	DBLP DOI BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda	Diverse Firewall Design.	DSN	2004	DBLP DOI BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne H. H. Ngu	Firewall Queries.	OPODIS	2004	DBLP DOI BibTeX RDF	Firewall Queries, Network Security, Firewalls
1	Mohamed G. Gouda, Young-ri Choi, Anish Arora	Sentries and Sleepers in Sensor Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	Sentry election, Sentry-Sleeper protocol, Sensor Networks, Self-stabilization, Energy management
1	Mohamed G. Gouda, Alex X. Liu	Formal Specification and Verification of a Micropayment Protocol.	ICCCN	2004	DBLP BibTeX RDF
1	Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda	Optimal Dispersal of Certificate Chains.	DISC	2004	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Eunjin Jung	Certificate Dispersal in Ad-Hoc Networks.	ICDCS	2004	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Alex X. Liu	Firewall Design: Consistency, Completeness, and Compactness.	ICDCS	2004	DBLP DOI BibTeX RDF
1	Vinayak Naik, Anish Arora, Sandip Bapat, Mohamed G. Gouda	Dependable Systems - Whisper: Local Secret Maintenance in Sensor Networks.	IEEE Distributed Systems Online	2003	DBLP BibTeX RDF
1	Mohamed G. Gouda, Marco Schneider	Maximizable routing metrics.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	communication system signaling, trees (graphs), routing, protocols, distributed algorithms, computer networks, routing metrics, communication system routing, link state, distance vector
1	Mohamed G. Gouda, Chin-Tser Huang	A secure address resolution protocol.	Computer Networks	2003	DBLP DOI BibTeX RDF
1	Chin-Tser Huang, Mohamed G. Gouda, E. N. Elnozahy	Convergence of IPsec in Presence of Resets.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
1	Murat Demirbas, Anish Arora, Mohamed G. Gouda	A Pursuer-Evader Game for Sensor Networks.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb, Mohamed G. Gouda, Ravi Musunuri	A Stabilizing Solution to the Stable Path Problem.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
1	Eunjin Jung, Alex X. Liu, Mohamed G. Gouda	Key Bundels and Parcels: Secure Communication in Many Groups.	Networked Group Communication	2003	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda	Multiphase Stabilization.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	multiphase recovery, periodic reset, spanning tree construction, convergence, self-stabilization, Computing system
1	Jorge Arturo Cobb, Mohamed G. Gouda	Stabilization of General Loop-Free Routing.	J. Parallel Distrib. Comput.	2002	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire	Hop integrity in computer networks.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	SYN attack, message modification, message replay, smurf attack, security, internet, authentication, network protocol, router, denial-of-service attack
1	Mohamed G. Gouda, Chin-Tser Huang, E. N. Elnozahy	Key Trees and the Security of Interval Multicast. (PDF / PS)	ICDCS	2002	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda	Elements of security: Closure, convergence, and protection.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
1	Xiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam	Batch rekeying for secure group communications.	WWW	2001	DBLP DOI BibTeX RDF	secure group communications, group key management, rekeying
1	Mohamed G. Gouda	The Theory of Weak Stabilization.	WSS	2001	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb, Mohamed G. Gouda	Stabilization of Routing in Directed Networks.	WSS	2001	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Chin-Tser Huang, Anish Arora	On the Security and Vulnerability of PING.	WSS	2001	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Tommy M. McGuire	Alert communication primitives above TCP.	J. High Speed Networks	2000	DBLP BibTeX RDF
1	Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam	Secure group communications using key graphs.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	security, privacy, multicast, group communications, confidentiality, key distribution, group key management, rekeying
1	Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire	Hop Integrity in Computer Networks. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	hop integrity, secret exchange protocol, weak integrity protocol, strong integrity protocol, stateless protocol, protocols, network security, Transmission Control Protocol, computer networks, computer networks, TCP/IP, transport protocols, Internet Protocol, network protocol, security of data, router, telecommunication network routing, telecommunication security, message transmission

Publications of "Mohamed G. Gouda" ( http://dblp.L3S.de/Authors/Mohamed_G._Gouda )