The work on “Securing Implantable Medical Devices with Runtime Enforcement Hardware” by “Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty” received Best Paper Award (Honorable Mention) in The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. Hammond Pearce, Matthew Kuo, and Partha Roop are from the University of Auckland, New Zealand, and Srinivas Pinisetty is from SES, IIT Bhubaneswar.