Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC | IEEE Conference Publication | IEEE Xplore