Ecole d'ingénieur et centre de recherche en télécommunications

Extending tamper-proof hardware security to untrusted execution environments

Loureiro, Sergio;Bussard, Laurent;Roudier, Yves

CARDIS 2002, 5th IFIP/USENIX International Conference on Smart Card Research and Advanced Applications, November 21-22, 2002, San Jose, USA

This paper addresses mobile code protection with respect to potential integrity and confidentiality violations originating from the untrusted runtime environment where the code execution takes place. Both security properties are defined in a framework where code is modeled using Boolean circuits. Two protection schemes are presented. The first scheme addresses the protection of a function that is evaluated by an untrusted environment and yields an encrypted result only meaningful for the party providing the function. The second scheme addresses the protection of a piece of software executed by an untrusted environment. It enforces the secure execution of a series of functions while allowing interactions with the untrusted party. The latter technique relies on trusted tamper-proof hardware with limited capability. Executing a small part of the computations in the tamper-proof hardware extends its intrinsic security to the overall environment.

Document Bibtex

Type:Conférence
Langue:English
Ville:San Jose
Pays:ÉTATS-UNIS
Date:
Département:Réseaux et Sécurité
Eurecom ref:1077
Copyright: © IFIP. Personal use of this material is permitted. The definitive version of this paper was published in CARDIS 2002, 5th IFIP/USENIX International Conference on Smart Card Research and Advanced Applications, November 21-22, 2002, San Jose, USA and is available at :
Bibtex: @inproceedings{EURECOM+1077, year = {2002}, title = {{E}xtending tamper-proof hardware security to untrusted execution environments}, author = {{L}oureiro, {S}ergio and {B}ussard, {L}aurent and {R}oudier, {Y}ves}, booktitle = {{CARDIS} 2002, 5th {IFIP}/{USENIX} {I}nternational {C}onference on {S}mart {C}ard {R}esearch and {A}dvanced {A}pplications, {N}ovember 21-22, 2002, {S}an {J}ose, {USA}}, address = {{S}an {J}ose, {\'{E}}{TATS}-{UNIS}}, month = {11}, url = {http://www.eurecom.fr/publication/1077} }
Voir aussi: