Title: Multi-level Design Validation in a Secure Embedded System
Authors: Schaumont, Patrick ×
Hwang, David
Yang, Shenglin
Verbauwhede, Ingrid #
Issue Date: 2006
Publisher: IEEE
Series Title: IEEE Transactions on Computers vol:55 issue:11 pages:1380-1390
Abstract: In this paper, we present the simulation-based validation approach that we used during the design of ThumbPod-2, a portable fingerprint authentication system. The particular nature of secure system design has considerable impact on the simulation requirements and design flow. We present two key contributions. We will first show that rigorous design of secure digital systems requires a multilevel validation approach, meaning validation at multiple steps in the design flow. Indeed, an attacker chooses the easiest entry point and does not stick with one abstraction level. Second, we show the use of a cosimulation and codesign environment called GEZEL that can support this type of multilevel validation. We will illustrate this multilevel design validation strategy with the verification of security of the ThumbPod-2 device.
ISSN: 0018-9340
Publication status: published
KU Leuven publication type: IT
Appears in Collections:ESAT - COSIC, Computer Security and Industrial Cryptography (+)
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
article-630.pdf Published 2887KbAdobe PDFView/Open Request a copy

These files are only available to some KU Leuven Association staff members


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science