VF2017: IoT Systems and Security

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.
Slides