Krishna Sampigethaya

Learn More
Communication messages in vehicular ad hoc networks (VANET) can be used to locate and track vehicles. While tracking can be beneficial for vehicle navigation, it can also lead to threats on location privacy of vehicle user. In this paper, we address the problem of mitigating unauthorized tracking of vehicles based on their broadcast communications, to(More)
In vehicular ad hoc networks (VANET), it is possible to locate and track a vehicle based on its transmissions, during communication with other vehicles or the road-side infrastructure. This type of tracking leads to threats on the location privacy of the vehicle’s user. In this paper, we study the problem of providing location privacy in VANET by allowing(More)
In wireless networks, the location tracking of devices and vehicles (nodes) based on their identifiable and locatable broadcasts, presents potential threats to the location privacy of their users. While the tracking of nodes can be mitigated to an extent by updating their identifiers to decorrelate their traversed locations, such an approach is still(More)
Electronic voting is an emerging social application of cryptographic protocols. A vast amount of literature on electronic voting has been developed over the last two decades. In this paper, we provide a framework that classifies these approaches and defines a set of metrics under which their properties can be compared. Such a methodology reveals important(More)
Energy efficiency, noise and emissions footprint reduction are major “green” performance targets of next-generation air transportation systems. Automatic Dependent Surveillance Broadcast (ADS-B) is an advanced “cyber-physical” concept that can help meet such targets by enabling highly accurate air traffic surveillance. However,(More)
Modern global aviation must rise up to the challenge of safely, securely and efficiently managing increasingly crowded skies under growing passenger, business and societal demands. The “e-enabled aircraft” plays a central role in overcoming this grand challenge. Aeronautical-specific and commercial wireless data links as well as Internet(More)
Commercial aviation is at the threshold of the era of the e-enabled airplane, brought about by the convergence of rapidly expanding world-wide data communication infrastructures, network-centric information processing and commoditized lightweight computational hardware. With advanced avionics, processing and wireless communication capabilities, the(More)
We propose a generic method to construct forward-secure signature schemes from standard signature schemes. The proposed construction is more computationally efficient than previously proposed schemes. In particular, the key updating operation in the proposed scheme is orders of magnitude more computationally efficient than previous schemes, making it(More)