NTL is a high-performance, portable C++ library providing data structures and algorithms for manipulating signed, arbitrary length integers, and for vectors, matrices, and polynomials over the integers and over finite fields. JavaCard is a dialect of Java that enables Java technology to run on new generation smart cards and other devices with limited memory.As JavaCard is becomingincr easingly popular, there has been a strong interest, both from academics and industrials, to reason formally about the JavaCard platform. International Conference on Research in Smart Cards, E-smart 2001, Cannes, France. Top Software Keywords Show more Show less Security Tools - Smart Card ToolSet PRO 3.3.6 Discover any ISO-7816 smart card on the APDU level easy Smart Card ToolSet PRO is a program for working with any of ISO-7816 compatible smart cards on the APDU level.