How to disembed a program? (Extended abstract)

DOI10.1007/978-3-540-28632-5_32MaRDI QIDQ5311460zbMATH OpenOpenAlexFDO

Authors Benoît Chevallier-Mames, David Naccache, Pascal Paillier, David Pointcheval

Publication date 23 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99451

zbMATH Keywords

embedded cryptography, RSA screening schemes, ROM-less smart cards, program authentication, compilation theory, provable security, mobile code

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Founding Cryptography on Tamper-Proof Hardware Tokens
• Reusing tamper-proof hardware in UC-secure protocols
• One-Time Programs
• Authenticated operation of open computing devices
• Secure Code Update for Embedded Devices via Proofs of Secure Erasure

Cited in

(1)

• Secure application execution in mobile devices

This page was built for publication: How to disembed a program? (Extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5311460)