AES 512 bit encryption on TIVA

I was thinking of a c library. Is there any possibility we could use a C library to do this? 

any new possibility of having 512 bits encryption? 

well, thank you  Markel Robregado . As much as I needed 512 bits encryption, I need TI technology. So I cannot afford to go for a different processor or an MCU. Talking of which how much time are we thinking to encrypt a data bundle of may be 200 ASCII charactors with 512 bits of AES using a 80MHz TIVA MCU if by any chance I am lucky enough to find my self a library? I understand that the time totally depends on how efficient the C libray is written, but can it extend longer than 2-3 minutes?

For my application, a processor is an overkill. So I am not thinking of same. This is for a military based project. And I am requested to play a little part. I haven't yet decided. if I can do 512 with TIVA I will, otherwise i'm thinking of dropping the job.