I'm with Peter M. On that one. I was going to reply "Yes" to AES from
memory. But then couldn't find anything to back it up. But it seems I do
recall reading somewhere that EFS uses AES, up to 256-bit. Which I do
believe is what's required for Secret and Top Secret in mandatory access
control settings.