Implementation of tool for automatic transformation of weak JavaCard source code construction into its more secure equivalent. It also supports automatic addition of software fault analysis countermeasures.
Implementation of tool for automatic transformation of weak JavaCard source code construction into its more secure equivalent. It also supports automatic addition of software fault analysis countermeasures. (en)