Towards a block-cipher circuit resistant to multiple side channel attacks. This project aims to design, implement and verify the first ever fully comprehensive countermeasure against simultaneous attacks on devices performing a cryptographic task, such as a smart card or a mobile phone used for an electronic payment, through a variety of side channels. Side channel attacks aim to obtain unauthorized access to secret cryptographic keys used by such devices, by collecting and statistically process ....Towards a block-cipher circuit resistant to multiple side channel attacks. This project aims to design, implement and verify the first ever fully comprehensive countermeasure against simultaneous attacks on devices performing a cryptographic task, such as a smart card or a mobile phone used for an electronic payment, through a variety of side channels. Side channel attacks aim to obtain unauthorized access to secret cryptographic keys used by such devices, by collecting and statistically processing measurements of by-products of the physical operation of these devices, such as the consumed power or electromagnetic radiation. Rapid proliferation of personal devices used for electronic payments or containing sensitive data makes such a comprehensive countermeasure urgently needed.Read moreRead less
Design automation for secure, reliable and energy efficient embedded processors. This project seeks to create a methodology to design and generate processors which are both secure, reliable and energy efficient for deployment in Internet of Things (IoT) systems, which require little on-going maintenance. In such systems, both security and reliability are paramount, particularly in medical devices, control devices in critical machinery, financial transactions and automotive electronics. The proje ....Design automation for secure, reliable and energy efficient embedded processors. This project seeks to create a methodology to design and generate processors which are both secure, reliable and energy efficient for deployment in Internet of Things (IoT) systems, which require little on-going maintenance. In such systems, both security and reliability are paramount, particularly in medical devices, control devices in critical machinery, financial transactions and automotive electronics. The project will use an open RISC-V processor which is sufficiently flexible to function as a base processor, with a myriad of tools such as compilers and debuggers available. Reliable computing machinery will enable systems to work in hostile environments and be functionally correct for longer.Read moreRead less