1. S. Muthukrishnan Environment for PLC Verification
  2. Vatsalya Agrawal Hardware Verification using Inductive Proofs
  3. Tushar Anil Doshi Intelligent Bandwidth Management
    Completed in 2004
  4. Abhijit Toley Inductive Proofs in Verification
  5. Tanneru Kameshwara R Verification of Distributed Control Systems
  6. Vaibhav Gundapwar IP Multicasting in MPLS networks
    Completed in 2003
  7. Amanda Grace Rapsang Verifiable Object Oriented Modelling Environment
  8. Aldrin John D'Souza Verification of security protocols.
  9. Kapil Bajaj Characterisation of "Local" Networks (Co-guide)
  10. Renu Bhattar Policy Framework for MPLS Network (Co-guide)

  11. 2001
  12. Achint Kaur An Environment for Design and Synthesis of Process Control Software
  13. Janees E K Decision Procedures and Inductive Proofs Using Equational Logic
  14. Mamata Desai(99305903) Distributed Intrusion Detection (Co-guide)

  15. 2000
  16. G. A. Abhay A Tool for Design and Analysis of Policy based Network Management
  17. Satya Sundar Sahoo Formal Specification and Verification of Process Control Software.
  18. Miranda Maria Irene Secure Authentication and Access Control System (Co-guide)

  19. 1999
  20. Rony Gabriel Intelligent Integrated network and system Management
  21. Deepak Tawri IPSec and Network Security'
  22. Hemangee Sane Decision Proceudres used in Hardware Verification
  23. Kalpesh Kapur Issues in Verification of Mobile Agents
  24. Nikunj Vaidya Multi Protocol Label Switching

  25. 1998
  26. Madhumita Chatterjee ``Verification of Authentication Protocols''
  27. Shah Manish Vardhilal Tool for Mechanized Design Verification
  28. Gopale Shyamsunder Ramesh Equational Theorem Proving Methods for Hardware Verification
  29. Sudheer Y R Implementation of RSVP

  30. 1997
  31. Amitay Issacs, Secure Distributed Web Indexing and Updating
  32. Parag Deshmukh, "Intelligent Network Management"
  33. S. Vijay Anand, "Secure Mobile Agents"
  34. G. Rajesh, "Conditional Equational Programming"