HAT: Secure and Practical Key Establishment for Implantable Medical Devices | Publicación