Add AES128-CTR enc/dec functions