Publications

Papers related to automated verification

• Matching Scenarios with Timing Constraints
  P Chandrasekaran and M Mukund
  Proc. FORMATS 2006, Springer LNCS 4202 (2006) 98-112.

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

• Checking consistency of SDL+MSC specifications
  D D'Souza and M Mukund
  Proc. SPIN '03, Springer LNCS 2648 (2003) 151-165.

• 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