Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC.

Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mhlberger

Browse the full MEMOCODE paper archive.