Ongoing
  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
  11. Achint Kaur An Environment for Design and Synthesis of Process Control Software
  12. Janees E K Decision Procedures and Inductive Proofs Using Equational Logic
  13. Mamata Desai(99305903) Distributed Intrusion Detection (Co-guide)

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

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

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

    26. 1997
  26. Amitay Issacs, Secure Distributed Web Indexing and Updating
  27. Parag Deshmukh, "Intelligent Network Management"
  28. S. Vijay Anand, "Secure Mobile Agents"
  29. G. Rajesh, "Conditional Equational Programming"