Problems and methods related to cryptographic applications of smart cards