One, if not THE key functionality in the Cryptech system is the True Random Number Generator (TRNG). We therefore need to discuss, investigate and test to find a TRNG that we and the users of Cryptech can trust and can verify to be trusted.
An Implementation, Performance and Randomness Analysis. A paper that uses Javacard to implement different TRNGs and evluates them.