Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR. - K. V. Krishnam Raju; V. Valli Kumari; N. Sandeep Varma; K. V. S. V. N. Raju (ICT, 2010)

Checking Anonymity Levels for Anonymized Data. - V. Valli Kumari; N. Sandeep Varma; A. Sri Krishna; K. Venkata Ramana; K. V. S. V. N. Raju (ICDCIT, 2011)