Tools for exploration inside Smart Cards - View it on GitHub