Learn More
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional correctness before they are used in practice. Application of formal methods for verification of security protocols would enhance their reliability thereby, increasing the usability of(More)
Recent research work has explored solutions to address the problem of increased energy consumption by providing feedback to individuals about their consumption patterns, thus motivating them for conservative actions. In particular, university dormitory setting provides an excellent venue to explore effectiveness of energy feedback mechanisms. Most of such(More)
Most organizations in the developing world still rely on paper for record keeping, giving rise to many problems in aggregation, storage, transmission and analysis of data. Errors and time delays associated with paper data are particularly problematic in the domain of healthcare. We present a case study of CommCare, a low-cost mobile phone data collection(More)
In this paper, we propose an algorithm to detect a chain of cooperative malicious node in ad-hoc network that disrupts transmission of data by feeding wrong routing information along with the detection algorithm. We also propose a mechanism to detect and remove the black and gray hole attacks. Our technique is based on sending data in terms of equal but(More)
Forty percent of the world's population, including a significant portion of the rural and urban poor sections of the population in India, does not have access to reliable electricity supply. Concurrently, there is rapid penetration of battery-operated portable computing devices such as laptops, both in the developing and developed world. This generates a(More)
Though rapid depletion of natural resources has become a global problem, most of the solutions developed to address it are based on studies done in the developed world. Moreover, the commercial sector is among the primary consumers of resources, yet research work has been mostly limited to residential users. We present a study exploring employees'(More)