Publication result detail

Modelling of Tamper-Proof Devices

HRUBÝ, M.; PERINGER, P.; RÁBOVÁ, Z.

Original Title

Modelling of Tamper-Proof Devices

English Title

Modelling of Tamper-Proof Devices

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

This paper deals with modelling the certain security aspects ofhardware implementations of cryptographic mechanisms.These implementations are called tamper-proof devices and they aretypically smart cards or cryptographic coprocessThe design of mostavailable tamper-proof devices does not deal with various forms of sideeffects ofcryptographic algorithms execution. A side-channel is the term commonlyused for places wheresuch undesirable information appears. The volume and usefulness ofinformation we are able to extractdepends on the form of the side-channel. However, number of scientificpapers proves that it ispossible to effectively analyse information from side-channels and usethe results for compromise oftamper-proof devices.

English abstract

This paper deals with modelling the certain security aspects ofhardware implementations of cryptographic mechanisms.These implementations are called tamper-proof devices and they aretypically smart cards or cryptographic coprocessThe design of mostavailable tamper-proof devices does not deal with various forms of sideeffects ofcryptographic algorithms execution. A side-channel is the term commonlyused for places wheresuch undesirable information appears. The volume and usefulness ofinformation we are able to extractdepends on the form of the side-channel. However, number of scientificpapers proves that it ispossible to effectively analyse information from side-channels and usethe results for compromise oftamper-proof devices.

Keywords

tamper-proof hardware, cryptographic attacks, cryptography, heterogeneous modelling, HELEF

Key words in English

tamper-proof hardware, cryptographic attacks, cryptography, heterogeneous modelling, HELEF

Authors

HRUBÝ, M.; PERINGER, P.; RÁBOVÁ, Z.

Released

21.04.2004

Publisher

Marq software s.r.o.

Location

Ostrava

ISBN

80-85988-98-4

Book

Proceedings of 38th International Conference MOSIS'04

Pages from

255

Pages to

260

Pages count

6

URL

http://www.fit.vutbr.cz/~hrubym/publications/mosis04.ps

BibTex

@inproceedings{BUT16917,
  author="Martin {Hrubý} and Petr {Peringer} and Zdeňka {Rábová}",
  title="Modelling of Tamper-Proof Devices",
  booktitle="Proceedings of 38th International Conference MOSIS'04",
  year="2004",
  pages="255--260",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-98-4",
  url="http://www.fit.vutbr.cz/~hrubym/publications/mosis04.ps"
}