Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 992-998 |
| Journal | IEEE Transactions on Computers |
| Volume | 56 |
| Issue number | 7 |
| Publication status | Published - 2007 |