Mohamed G. Gouda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
98
Venues
32
Active years
1976–2016
Best venue rank
A*
Where they publish
- CSSS18 papers
- BICCCN12 papers
- AICDCS9 papers
- BICNP9 papers
- A*PODC5 papers
- A*SIGCOMM5 papers
- BOPODIS4 papers
- CISCC4 papers
- NationalICDCN3 papers
- BGLOBECOM3 papers
- BSRDS3 papers
- ADSN2 papers
- A*SIGMOD2 papers
- A*INFOCOM1 paper
- ASIGCSE1 paper
- CWoWMoM1 paper
- BSPAA1 paper
- BNetworking1 paper
- CPDCAT1 paper
- BDBSEC1 paper
- BDCOSS1 paper
- BMOBIHOC1 paper
- BRTCSA1 paper
- A*WWW1 paper
- CFORTE1 paper
- BICTAI1 paper
- BCONCUR1 paper
- BMFCS1 paper
- A*ICALP1 paper
- A*PODS1 paper
- CICCC1 paper
- A*ICSE1 paper
Papers
98 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICDCN | A secure credit card protocol over NFC. | Oliver Jensen, Mohamed G. Gouda, Lili Qiu |
| 2016 | SSS | Analysis of Computing Policies Using SAT Solvers (Short Paper). | Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2015 | SSS | The Implication Problem of Computing Policies. | Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah |
| 2014 | SSS | Incremental Verification of Computing Policies. | Ehab S. Elmallah, Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2011 | GLOBECOM | Is That You? Authentication in a Network without Identities. | Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2011 | ICCCN | TPP: The Two-Way Password Protocol. | Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2011 | ICCCN | HTTPI: An HTTP with Integrity. | Taehwan Choi, Mohamed G. Gouda |
| 2011 | ICDCN | On the Hardness of Topology Inference. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2011 | INFOCOM | Firewall verification and redundancy checking are equivalent. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2011 | SIGCSE | NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates. | Sushil K. Prasad, Almadena Yu. Chtchelkanova, Sajal K. Das, Frank Dehne, Mohamed G. Gouda, Anshul Gupta, Joseph F. JJ, 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 |
| 2011 | WoWMoM | The best keying protocol for sensor networks. | Taehwan Choi, Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2011 | SPAA | Brief announcement: RedRem: a parallel redundancy remover. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2011 | SSS | The K-Observer Problem in Computer Networks. | Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda |
| 2011 | SSS | Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks. | Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda |
| 2010 | ICDCN | The Weak Network Tracing Problem. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2010 | ICDCS | Projection and Division: Linear-Space Verification of Firewalls. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2010 | ICNP | Firewall modules and modular firewalls. | Hrishikesh B. Acharya, Aditya Joshi, Mohamed G. Gouda |
| 2010 | Networking | IP Fast Reroute in Networks with Shared Risk Links. | Yan Li, Mohamed G. Gouda |
| 2010 | SSS | Brief Announcement: On the Hardness of Topology Inference. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2009 | ICCCN | Balanced Peer Lists: Towards a Collusion-Resistant BGP. | Yan Li, Mohamed G. Gouda |
| 2009 | ICNP | Linear-Time Verification of Firewalls. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2009 | PDCAT | Consistent Fixed Points and Negative Gain. | Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda |
| 2009 | PODC | Brief announcement: the theory of network tracing. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2009 | SRDS | The Blocking Option in Routing Protocols. | Yan Li, Mohamed G. Gouda |
| 2009 | SSS | Brief Announcement: Consistent Fixed Points and Negative Gain. | Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda |
| 2009 | SSS | A Theory of Network Tracing. | Hrishikesh B. Acharya, Mohamed G. Gouda |
| 2009 | SSS | Nash Equilibria in Stabilizing Systems. | Mohamed G. Gouda, Hrishikesh B. Acharya |
| 2008 | GLOBECOM | Verification of Distributed Firewalls. | Mohamed G. Gouda, Alex X. Liu, Mansoor Jafry |
| 2008 | ICCCN | 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 |
| 2008 | ICCCN | Sources and Monitors: A Trust Model for Peer-to-Peer Networks. | Yan Li, Mohamed G. Gouda |
| 2008 | SSS | Pharewell to Phishing. | Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb |
| 2008 | SSS | Stabilization of Max-Min Fair Networks without Per-flow State. | Jorge Arturo Cobb, Mohamed G. Gouda |
| 2007 | PODC | Truth in advertising: lightweight verification of route integrity. | Edmund L. Wong, Praveen Balasubramanian, Lorenzo Alvisi, Mohamed G. Gouda, Vitaly Shmatikov |
| 2007 | SSS | Stabilization of Flood Sequencing Protocols in Sensor Networks. | Young-ri Choi, Mohamed G. Gouda |
| 2007 | SSS | The Truth System: Can a System of Lying Processes Stabilize? | Mohamed G. Gouda, Yan Li |
| 2006 | ICCCN | How to Assign Symmetric Keys in a Network of Small Computers. | Mohamed G. Gouda |
| 2006 | ICCCN | Rating Certificates. | Eunjin Jung, Mohamed G. Gouda |
| 2006 | ICNP | Key Grids: A Protocol Family for Assigning Symmetric Keys. | Amitanand S. Aiyer, Lorenzo Alvisi, Mohamed G. Gouda |
| 2006 | OPODIS | Hop Chains: Secure Routing and the Establishment of Distinct Identities. | Rida A. Bazzi, Young-ri Choi, Mohamed G. Gouda |
| 2006 | SSS | Fault Masking in Tri-redundant Systems. | Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang |
| 2006 | SSS | Logarithmic Keying of Communication Networks. | Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah |
| 2005 | DBSEC | Complete Redundancy Detection in Firewalls. | Alex X. Liu, Mohamed G. Gouda |
| 2005 | DCOSS | Project ExScal (Short Abstract). | 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 |
| 2005 | DSN | A Model of Stateful Firewalls and Its Properties. | Mohamed G. Gouda, Alex X. Liu |
| 2005 | ICCCN | A secure cookie protocol. | Alex X. Liu, Jason M. Kovacs, Chin-Tser Huang, Mohamed G. Gouda |
| 2005 | MOBIHOC | Reliable bursty convergecast in wireless sensor networks. | Hongwei Zhang, Anish Arora, Young-ri Choi, Mohamed G. Gouda |
| 2005 | OPODIS | A State-Based Model of Sensor Protocols. | Mohamed G. Gouda, Young-ri Choi |
| 2005 | RTCSA | 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, 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 |
| 2005 | SSS | Stabilizing Certificate Dispersal. | Mohamed G. Gouda, Eunjin Jung |
| 2004 | DSN | Diverse Firewall Design. | Alex X. Liu, Mohamed G. Gouda |
| 2004 | GLOBECOM | Optimal dispersal of special certificate graphs. | Eunjin Jung, Ehab S. Elmallah, Mohamed G. Gouda |
| 2004 | ICCCN | Formal Specification and Verification of a Micropayment Protocol. | Mohamed G. Gouda, Alex X. Liu |
| 2004 | ICDCS | Certificate Dispersal in Ad-Hoc Networks. | Mohamed G. Gouda, Eunjin Jung |
| 2004 | ICDCS | Firewall Design: Consistency, Completeness, and Compactness. | Mohamed G. Gouda, Alex X. Liu |
| 2004 | OPODIS | Sentries and Sleepers in Sensor Networks. | Mohamed G. Gouda, Young-ri Choi, Anish Arora |
| 2004 | OPODIS | Firewall Queries. | Alex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne H. H. Ngu |
| 2003 | ICCCN | The mote connectivity protocol. | Young-ri Choi, Mohamed G. Gouda, Moon C. Kim, Anish Arora |
| 2003 | SSS | A Stabilizing Solution to the Stable Path Problem. | Jorge Arturo Cobb, Mohamed G. Gouda, Ravi Musunuri |
| 2003 | SSS | A Pursuer-Evader Game for Sensor Networks. | Murat Demirbas, Anish Arora, Mohamed G. Gouda |
| 2002 | ICDCS | Key Trees and the Security of Interval Multicast. | Mohamed G. Gouda, Chin-Tser Huang, E. N. Elnozahy |
| 2001 | ICCCN | An anti-replay window protocol with controlled shift. | Chin-Tser Huang, Mohamed G. Gouda |
| 2001 | WWW | Batch rekeying for secure group communications. | Xiaozhou (Steve) Li, Yang Richard Yang, Mohamed G. Gouda, Simon S. Lam |
| 2000 | ICCCN | Anti-replay window protocols for secure IP. | Mohamed G. Gouda, Chin-Tser Huang, Eric Li |
| 2000 | ICNP | Hop Integrity in Computer Networks. | Mohamed G. Gouda, E. N. Elnozahy, Chin-Tser Huang, Tommy M. McGuire |
| 1999 | ISCC | General and Scalable State Feedback for Multimedia Systems. | Alaa Youssef, Hussein M. Abdel-Wahab, Kurt Maly, Mohamed G. Gouda |
| 1998 | ICDCS | Accelerated Heartbeat Protocols. | Mohamed G. Gouda, Tommy M. McGuire |
| 1998 | ICNP | Maximizable Routing Metrics. | Mohamed G. Gouda, Marco Schneider |
| 1998 | SIGCOMM | Secure Group Communications Using Key Graphs. | Chung Kei Wong, Mohamed G. Gouda, Simon S. Lam |
| 1997 | ICNP | Balanced Routing. | Jorge Arturo Cobb, Mohamed G. Gouda |
| 1997 | ISCC | Flow scheduling protocols without real-time clocks. | Amal El-Nahas, Khalil M. Ahmed, Mohamed G. Gouda |
| 1997 | ISCC | Inter-stream adaptation for collaborative multimedia applications. | Alaa Youssef, Hussein M. Abdel-Wahab, Kurt Maly, Mohamed G. Gouda |
| 1996 | ICDCS | Sentries for the Execution of Concurrent Programs. | Sarah E. Chodrow, Mohamed G. Gouda |
| 1996 | ICDCS | Group Routing without Group Routing Tables. | Jorge Arturo Cobb, Mohamed G. Gouda |
| 1996 | ICNP | Time-Shift Scheduling: Fair Scheduling of Flows in High Speed Networks. | Jorge Arturo Cobb, Mohamed G. Gouda, Amal El-Nahas |
| 1996 | PODC | Memory Requirements for Silent Stabilization (Extended Abstract). | Shlomi Dolev, Mohamed G. Gouda, Marco Schneider |
| 1995 | FORTE | Stabilizing Client/Server Protocols without the Tears. | Mohamed G. Gouda |
| 1995 | ICNP | A wireless link protocol: design by refinement. | Mohamed G. Gouda, Sanjoy Paul |
| 1995 | ISCC | Ordered Delivery over One-way Virtual Circuits. | Jorge Arturo Cobb, Mohamed G. Gouda |
| 1994 | ICDCS | Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. | Anish Arora, Mohamed G. Gouda, George Varghese |
| 1994 | ICTAI | 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, Chih-Kan Wang, Rwo-Hsi Wang |
| 1993 | ICNP | Flow theory: Verification of rate-reservation protocols. | Jorge Arturo Cobb, Mohamed G. Gouda |
| 1992 | ICDCS | Asynchronous Unison (Extended Abstract). | Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda |
| 1992 | SRDS | The Sentry System. | Sarah E. Chodrow, Mohamed G. Gouda |
| 1990 | CONCUR | Convergence of Iteration Systems (Extended Abstract). | Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
| 1989 | MFCS | System Simulation and the Sensitivity of Self-Stabilization. | Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier |
| 1989 | SIGCOMM | Block Acknowledgement: Redesigning the Window Protocol. | Geoffrey M. Brown, Mohamed G. Gouda, Raymond E. Miller |
| 1988 | SIGCOMM | Delivery and discrimination: the Seine protocol. | Mohamed G. Gouda, Nicholas F. Maxemchuk, Utpal Mukherji, Krishan K. Sabnani |
| 1987 | PODC | The Elusive Atomic Register Revisited. | Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda |
| 1987 | SRDS | Independent Recovery. | Chung-Kuo Chang, Mohamed G. Gouda |
| 1985 | SIGCOMM | Modeling physical layer protocols using communicating finite state machines. | Mohamed G. Gouda, Khe-Sing The |
| 1984 | ICALP | Communicating Finite State Machines with Priority Channnels. | Mohamed G. Gouda, Louis E. Rosier |
| 1984 | PODC | A Technique for Proving Liveness of Communicating Finite State Machines with Examples. | Mohamed G. Gouda, Chung-Kuo Chang |
| 1984 | PODS | Using Semiouterjoins to Process Queries in Multidatabase Systems. | Hai-Yann Hwang, Umeshwar Dayal, Mohamed G. Gouda |
| 1983 | SIGCOMM | Maximal progress state exploration. | Mohamed G. Gouda, Yao-Tin Yu |
| 1981 | SIGMOD | Optimal Semijoin Schedules For Query Processing in Local Distributed Database Systems. | Mohamed G. Gouda, Umeshwar Dayal |
| 1978 | SIGMOD | A Hierarchial Controller for Concurrent Accessing of Distributed Databases. | Mohamed G. Gouda |
| 1976 | ICCC | Protocol Machines: A Concise Formal Model and its Automatic Implementation. | Mohamed G. Gouda, Eric G. Manning |
| 1976 | ICSE | On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures. | Mohamed G. Gouda, Eric G. Manning |