Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC.
Klaus RothbartUlrich NeffeChristian StegerReinhold WeissEdgar RiegerAndreas MühlbergerPublished in: MEMOCODE (2005)
Keyphrases
- extended abstract
- smart card
- operating environment
- simulation environment
- simulation tools
- secret key
- simulation tool
- formal methods
- java card
- remote user authentication scheme
- authentication protocol
- sys tems
- test bed
- mobile robot
- digital signature
- authentication scheme
- public key
- embedded systems
- power analysis
- differential power analysis
- information systems