Effective Theorem Proving for Hardware Verification. - David Cyrluk; S. Rajan; Natarajan Shankar; Mandayam K. Srivas (TPCD, 1994)

An Integration of Model Checking with Automated Proof Checking. - S. Rajan; Natarajan Shankar; Mandayam K. Srivas (CAV, 1995)

A Formal Basis for Structured Multimedia Collaborations. - S. Rajan; P. Venkat Rangan; Harrick M. Vin (ICMCS, 1995)

PVS: Combining Specification, Proof Checking, and Model Checking. - Sam Owre; S. Rajan; John M. Rushby; Natarajan Shankar; Mandayam K. Srivas (CAV, 1996)

How not to share a set of secrets - K. R. Sahasranand; Nithin Nagaraj; S. Rajan (CoRR, 2010)