Delaune Lab

Research focus

ERC Starting Grant · 2016

Reasoning about Physical properties Of security Protocols with an Application To contactless Systems

The shrinking size of microprocessors as well as the ubiquity of wireless communication have led to the proliferation of portable computing devices with novel security requirements. Whereas traditional security protocols achieve their security goals relying solely on cryptographic primitives like encryptions and hash functions, the protocols employed to secure these devices establish and rely in addition on properties of the physical world. For instance, they may use, as basic building blocks, protocols for ensuring physical proximity, secure localisation, or secure neighbourhood discovery. Unfortunately, we often hear about ill-conceived systems, and portable computing devices raise some…

From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.