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.
Translated title of the contribution | Non-deterministic Multi-threading |
---|---|
Original language | English |
Pages (from-to) | 992-998 |
Journal | IEEE Transactions on Computers |
Volume | 56 |
Issue number | 7 |
Publication status | Published - 2007 |