Methodology for Dynamic Power Verification of Contactless Smartcards.

Julien Mercier Christian Dufaza Mathieu Lisart

Published in: PATMOS (2006)

Keyphrases

smart card
java card
dynamic environments
case study
database
data sets
databases
privacy preserving
security requirements
face verification
signature verification
formal verification
digital signature