1.1: Finished and tested final HKA implementation.