@article{fisher-2017-the, title={The HACMS program: using formal methods to eliminate exploitable bugs}, volume={375}, ISSN={1471-2962}, url={http://dx.doi.org/10.1098/rsta.2015.0401}, DOI={10.1098/rsta.2015.0401}, number={2104}, journal={Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences}, publisher={The Royal Society}, author={Fisher, Kathleen and Launchbury, John and Richards, Raymond}, year={2017}, month=Sept, pages={20150401} }