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)
In this paper, a multi-repairmen machine repair problem comprising of M operating units together with k type of warm spares has been investigated. The failed units are immediately attended by repairmen if available. When there are no failed units in the queue for repair, the repairmen leave for a vacation of random length. When the vacation period is(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)
Rapid depletion of fossil fuels and water resources has become an international problem. Urban residential households are among the primary consumers of resources and are deeply affected by resource shortages. Despite the global nature of these problems, most of the solutions being developed to address these issues are based on studies done in the developed(More)