StarfishNet: decentralised security for low-power wireless networks

Add to your list(s) Download to your calendar using vCal

• Justin King-Lacroix, University of Oxford
• Thursday 12 February 2015, 11:00-12:00
• Room 245, School of Computer Science.

If you have a question about this talk, please contact Matthijs Melissen.

Low-power wireless networks are being deployed in an increasing number of application domains, including medical devices, building control, and home automation. However, the protocols in use over these wireless networks are often poorly-suited to the application, in terms of either weak security or poor power-efficiency.

In an attempt to remedy this, I’ve been working on StarfishNet, a network-layer protocol designed for embedded, low-power wireless networks. It provides the services now expected by application-layer software developers, including strong authentication and encryption, reliable in-order message delivery, and minimal power and data overhead.

As well as writing the protocol itself, I’ve also done some verification work on the authentication sequence using the Tamarin protocol verification tool.

I will present StarfishNet itself and what gap it fills, and talk a little bit about its development. I’ll then talk about the security properties I’ve verified. If there’s interest (/time), I’ll also show some preliminary benchmarks I’ve gathered using my testbed hardware.

This talk is part of the Computer Security Seminars series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Computer Security Seminars
• Room 245, School of Computer Science
• computer sience

Note that ex-directory lists are not shown.