Add authenticated AES library and simple interface.