Publication Details

Modelling of Tamper-Proof Devices

HRUBÝ Martin, PERINGER Petr and RÁBOVÁ Zdeňka. Modelling of Tamper-Proof Devices. In: Proceedings of 38th International Conference MOSIS'04. Ostrava, 2004, p. 6. ISBN 80-85988-98-4.
Czech title
Modelování zařízení odolných proti útokům
Type
conference paper
Language
english
Authors
URL
Keywords

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

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 coprocessThe 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.

Annotation

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.

Published
2004
Pages
6
Proceedings
Proceedings of 38th International Conference MOSIS'04
Conference
MOSIS 2004 - Modelling and Simulation of Systems, Rožnov pod Radhoštěm, CZ
ISBN
80-85988-98-4
Place
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB7422,
   author = "Martin Hrub\'{y} and Petr Peringer and Zde\v{n}ka R\'{a}bov\'{a}",
   title = "Modelling of Tamper-Proof Devices",
   pages = 6,
   booktitle = "Proceedings of 38th International Conference MOSIS'04",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-85988-98-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7422"
}
Back to top