BP: Formal proofs, the fine print and side effects

Toby Murray, Paul van Oorschot
[doi] [Google Scholar] [DBLP] [Citeseer]

2018 IEEE Cybersecurity Development (SecDev)
Volume
Pages 1-10
Sep. 2018