The Challenges for Verifying Hardware Security

Conference: DVClub Europe – March 2016 (click here to see full programme)
Speaker: Mike Bartley (CEO and Founder)
Organisation: T&VS
Presentation Title: The Challenges for Verifying Hardware Security
Abstract: It is predicted that by 2020 50% of all chips will be connected to the internet, many of these also being safety related. Whilst verification engineers understand how to verify an IP or chip conforms to specification, it is not so clear how to verify the chip is secure. In this presentation Mike Bartley will outline how to convert security verification into hardware features and properties which can then potentially be verified using existing techniques and methodologies.
Speaker Bio: Mike Bartley has a PhD in Mathematics from Bristol University, an MSc in Software Engineering, an MBA from the Open University and over 25 years of experience in software testing and hardware verification. He has built and managed state-of-the-art test and verification teams in a number of companies who still use the methodologies he established. Since founding TVS in 2008 he has grown the company to over 100 employees worldwide. Dr Bartley is Chair of both the Bristol branch of the British Computer Society and the West of England Bristol Local Enterprise Partnership (LEP). He has had over 50 articles and presentations published on the subjects of hardware verification, software testing and outsourcing.
Presentation Materials