TECO designs and manufactures Security Access Module cards for the mutual authentication between the smart cards and the readers.  The keys are then loaded into the SAM cards in a secure process.