Publication detail

Modelling of Tamper-Proof Devices

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

Original Title

Modelling of Tamper-Proof Devices

Type

conference paper

Language

English

Original Abstract

This paper deals with modelling the certain security aspects of hardware implementations of cryptographic mechanisms. These implementations are called tamper-proof devices and they are typically smart cards or cryptographic coprocess. The design of most available tamper-proof devices does not deal with various forms of side effects of cryptographic algorithms execution. A side-channel is the term commonly used for places where such undesirable information appears. The volume and usefulness of information we are able to extract depends on the form of the side-channel. However, number of scientific papers proves that it is possible to effectively analyse information from side-channels and use the results for compromise of tamper-proof devices.

Keywords

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

Authors

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

RIV year

2004

Released

21. 4. 2004

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="6",
  address="Ostrava",
  isbn="80-85988-98-4",
  url="http://www.fit.vutbr.cz/~hrubym/publications/mosis04.ps"
}