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 contribution||Non-deterministic Multi-threading|
|Journal||IEEE Transactions on Computers|
|Publication status||Published - 2007|