Closing date: 21 September 2021
Modern Industrial IoT devices will offer an emerging set of security capabilities underpinned by innovations in hardware support for introspection, obfuscation, and attestation. These Secure System on Chip (SoC) Devices must communicate with management services which manage device lifecycle using attestation and provisioning services. Secure Device Firmware accesses local and management services through defined secure service APIs and is composed of several packages and libraries. Software programming, maintenance, and assurance throughout the device lifecycle from design inception to retirement requires composition of the modular software, the APIs and their associated integration into software development methods and tools. This needs to be thoughtfully designed to meet the twin objectives of programming effectiveness and improved device assurance across the secure hardware-firmware boundaries.
The proposed PhD will define metrics for programming, debugging and code maintenance effectiveness together with security assurance and explore the definition and merits of different abstraction mechanisms for their optimisation. The work will be based on a commercially available hardware platform which features an integrated extensible security engine. This will allow new capabilities to be quickly prototyped and evaluated for their potential for integration and deployment into the relevant software developer ecosystem and toolchains.
Prior to any application, please contact Prof Awais Rashid (email@example.com) to discuss your research proposal to see if it aligns with his current research. No indication of an offer can be made until a completed application has been received.
Applicants must hold/achieve a minimum of a Master’s degree (or international equivalent) in Computer Science, Software Engineering, Computer Engineering or Electronics Engineering. Applicants without a master’s qualification may be considered on an exceptional basis, provided they hold a first-class undergraduate degree. Please note, acceptance will also depend on evidence of readiness to pursue a research degree.
Basic skills and knowledge required:
This is a fully funded 4-year studentship covering a minimum £18,800 tax-free stipend per year, tuition fees at UK student rates, and equipment and travel allowance to support research related activities. Open to Home (UK) and EU citizens who have confirmation of UK settlement or pre-settlement status under the EU Settlement Scheme. Applicants must have been ordinarily resident in the UK for at least 3 years prior to the start of the studentship (with some further constraint regarding residence for education).
Call for Events is now open! We're supporting Members and Expert Fellows to lead activities that explore aspects of TIPS in the Digital Economy. We will help to organise the activity with up to £5,000 to cover the associated costs.