This talk was given at the Annual Auscert conference as a long form (4h) workshop https://2021.conference.auscert.org.au/index.html