@inproceedings{Murray_2018,
    doi = {10.1109/secdev.2018.00009},
    url = {https://doi.org/10.1109%2Fsecdev.2018.00009},
    year = {2018},
    month = {sep},
    publisher = {{IEEE}},
    author = {Toby Murray and Paul van Oorschot},
    title = {{BP}: Formal Proofs, the Fine Print and Side Effects},
    booktitle = {2018 {IEEE} Cybersecurity Development ({SecDev})}
}

@inproceedings{Murray_2018, doi = {10.1109/secdev.2018.00009}, url = {https://doi.org/10.1109%2Fsecdev.2018.00009}, year = {2018}, month = {sep}, publisher = {{IEEE}}, author = {Toby Murray and Paul van Oorschot}, title = {{BP}: Formal Proofs, the Fine Print and Side Effects}, booktitle = {2018 {IEEE} Cybersecurity Development ({SecDev})} }