Skip to content

Non-deterministic multi-threading

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)992-998
JournalIEEE Transactions on Computers
Issue number7
DatePublished - 2007


The physical security of application specific embedded processors, such as those found in smart-cards, has becoming increasingly important since they are used more and more as conduits for sensitive financial and identity information. The advent of side-channel attacks has meant that a combination of algorithmic, software and hardware defence is required. In this paper we re-examine the issue of non-deterministic processors, simplifying previous designs using a multi-threaded architecture. From this simplification we are able to construct a formally reasoned assessment of the security level offered by such a device.


View research connections

Related faculties, schools or groups