%0 Conference Proceedings %T On Secure Embedded Token Design %+ University of Bristol [Bristol] %+ Aalto University %A Hoerder, Simon %A Järvinen, Kimmo %A Page, Daniel %Z Part 3: Smart Cards and Embedded Devices %< avec comité de lecture %( Lecture Notes in Computer Science %B 7th International Workshop on Information Security THeory and Practice (WISTP) %C Heraklion, Greece %Y Lorenzo Cavallaro %Y Dieter Gollmann %I Springer %3 Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems %V LNCS-7886 %P 112-128 %8 2013-05-28 %D 2013 %R 10.1007/978-3-642-38530-8_8 %Z Computer Science [cs]Conference papers %X Within a broader context of mobile and embedded computing, the design of practical, secure tokens that can store and/or process security-critical information remains an ongoing challenge. One aspect of this challenge is the threat of information leakage through side-channel attacks, which is exacerbated by any resource constraints. Along these lines, this paper extends previous work on use of Yao circuits via two contributions. First, we show how careful analysis can fix the maximum number of leakage occurrences observed during a DPA attack, effectively bounding leakage from a Yao-based token. To achieve this we use modularised Yao circuits, which also support our second contribution: the first Yao-based implementation of a secure authentication payload, namely HMAC based on SHA-256. %G English %Z TC 11 %Z WG 11.2 %2 https://inria.hal.science/hal-01485937/document %2 https://inria.hal.science/hal-01485937/file/978-3-642-38530-8_8_Chapter.pdf %L hal-01485937 %U https://inria.hal.science/hal-01485937 %~ IFIP-LNCS %~ IFIP %~ IFIP-TC %~ IFIP-TC11 %~ IFIP-WISTP %~ IFIP-WG11-2 %~ IFIP-LNCS-7886