Conference Papers

• Kapoor Hemangee K Formal modeling and verification of an asynchronous DLX pipelinein Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, 2006, (SEFM 2006), pp. 118-127.
• A novel LO circuit for sub-harmonic mixerin Proceedings of the 10th VLSI Design & Test Symposium, Goa, Aug., 2006, pp 40-46.
• Anish Mathuria, Vadnala Praveen Kumar An efficient key assignment scheme for access control in a hierarchyin Proceedings of Second International Conference on Information Systems Security (ICISS 2006), [LNCS, vol. 4332], Dec. 17-21, 2006, pp. 205-219.
• Chaudhary Sanjay, Purohit Performance analysis of information services in computational gridsin Proceedings of 14th International Conference on Advanced Computing & Communications, Mangalore, Dec., 2006, pp. 96-101.
• Boyd, Choo Kim-Kwang Raymond, Colin and Mathuria, Anish Mathuria An extension to Bellare and Rogaway (1993) Model: Resetting compromised long-term keysin Proceedings of 11th Australasian Conference on Information Security and Privacy (ACISP 2006), [LNCS, vol. 4058], Melbourne, Australia, Jul. 3-5, 2006, pp. 371-382.
• Chaudhary Sanjay, Laliwala Zakir Semantic and rules based automated negotiationin Proceedings of 1st International Workshop on Service and Process-Oriented Software Engineering, Bangalore, Dec., 2006.
• Madhumita Mazumdar From improving icons to swadeshi heroes-scientists as moral exemplars in colonial Bengalin Proceedings of the 19th European Conference on Modern South Asian Studies, Netherlands, June, 2006.
• Chaudhary Sanjay, Laliwala Zakir, Pratik Kumar, Sorathia Vikram Integrating stateful services in workflowin Proceedings of the 13th Asia Pacific Software Engineering Conference, 2006, (APSEC 2006), pp. 131-138.
• Bhavsar Arnav V, Mitra Suman K., Patel Hima M Face recognition using modular principal component analysis and support vector machinein Proceedings 3rd IET International Conference on Visual Information Engineering, (VIE2006), Sep., 2006, pp. 74-78.
• Chaudhary Sanjay, Purohit A grid based application for provision of regional images and real time weather informationin Proceedings of 41st National Annual Convention CSI-2006, Kolkata, Nov. 2006.