Add AE.scala and AESpec.scala