Publications

Papers related to security

• Generic verification of security protocols
  A S Khan, M Mukund and S P Suresh
  Proc. SPIN '05, Springer LNCS 3639 (2005) 221-235.

• Generic verification of security protocols
  A S Khan, M Mukund and S P Suresh
  Technical Report, Chennai Mathematical Institute (2005).

• Click here for a complete list of papers.

• Subject-wise classification
  • Asynchronous automata, Mazurkiewicz trace theory
  • Message-passing systems
  • Timed systems
  • Bounded time-stamping
  • Logics for concurrency based on partial-orders
  • Non-interleaved models for concurrency
  • Automated verification
  • Computer Security