Added KEA+ models with adversarial key registration.

The idea is to confirm/deny results established manually in the context of
the ASICS paper.