Text this: An Energy‐Conscious, Regulation‐Ready and Formally Verified Security Protocol for Low‐Power Medical and Safety Devices