I'm working on a card reader using the SAM AV2 chip that will read cards using key diversification. I understand the diversification algorithm, but there are steps to "encrypt x using AES". I assume AES is built into the AV2 chip, but I don't see commands to simply encrypt an input, using a key from the key store.
In the NXP Reader library there is the phCryptoSym_Encrypt( ) command, that seems to implement AES in the library itself, but that means we need to get the key from the key store on the AV2 chip, which reduces the security level. Am I looking at this right?