RxCRS focuses on building new techniques to provide reliable, robust, and clear input for existing binary analysis techniques, and retrofitting them to ensure their soundness. Recent convergences in the development of program analysis, formal protocol analysis, cryptography, and biology has fostered an environment ripe for the augmentation of the binary analysis process with reliability, robustness, and clarity. RxCRS aims to reduce the effort and cost required to find and remediate vulnerabilities in legacy medical devices.