Non-deterministic multi-threading

Peter Leadbitter, Daniel Page, Nigel Smart

Research output: Contribution to journalArticle (Academic Journal)peer-review


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.
Translated title of the contributionNon-deterministic Multi-threading
Original languageEnglish
Pages (from-to)992-998
JournalIEEE Transactions on Computers
Issue number7
Publication statusPublished - 2007


Dive into the research topics of 'Non-deterministic multi-threading'. Together they form a unique fingerprint.

Cite this