White-Box Cryptography: Formal Notions and (Im)possibility Results.

Amitabh Saxena Brecht Wyseur Bart Preneel

Published in: IACR Cryptol. ePrint Arch. (2008)

Keyphrases

white box
black box
source code
cellular automata
model theoretic
test data
formal methods
dynamic aspects
information security
formal model
mathematical theory
operational semantics
source code metrics
information retrieval
formal models