Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger: Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC. MEMOCODE 2005: 253-254