Professor Paul Van Oorschot

Recent publications

  1. Murray, T.; Van Oorschot, P. BP: Formal Proofs, the Fine Print and Side Effects. 2018 IEEE Cybersecurity Development (SecDev). IEEE. 2018, pp. 1-10. DOI: 10.1109/SecDev.2018.00009