|Conference:||Verification Futures 2017 (click here to see full programme)|
|Speaker:||Roger Shepherd (Founder and Managing Director), Chipless Ltd|
|Presentation Title:||IoT Systems and Security|
|Abstract:||Security is hard – the IoT makes it harder. Why and why? What can be done to improve security? What might we try to verify about secure systems?|
- IoT makes a hard problem harder
- Who can you trust?
- Verification challenges
|Speaker Bio:||Roger Shepherd joined Inmos in 1979 working on the transputer, occam, and many other things. He ran a processor design group within STMicroelectronics. In mid-2014 he set up his consulting company Chipless, which is a founder member of the IoT Security Foundation. Recently he was CTO of Lujam Security Ltd.|