https://sauljohnson.com/ https://sauljohnson.com/about https://sauljohnson.com/404 https://sauljohnson.com/contact https://sauljohnson.com/publications https://sauljohnson.com/writing https://sauljohnson.com/publications/a-modular-generative-honeypot-shell https://sauljohnson.com/publications/skeptic-automatic-justified-and-privacy-preserving-password-composition-policy-selection https://sauljohnson.com/publications/lost-in-disclosure-on-the-inference-of-password-composition-policies https://sauljohnson.com/publications/certified-password-quality-a-case-study-using-coq-and-linux-pluggable-authentication-modules https://sauljohnson.com/publications/clojure-tools-for-symbolic-artificial-intelligence https://sauljohnson.com/writing/the-magic-of-magic-how-literal-magic-shaped-my-communication-style https://sauljohnson.com/writing/guest-lecture-let-s-make-cybersecurity-real https://sauljohnson.com/writing/guest-lecture-looking-to-the-future-of-machine-learning https://sauljohnson.com/writing/guest-lecture-at-nhl-stenden https://sauljohnson.com/writing/a-paper-at-rsda-in-berlin https://sauljohnson.com/writing/world-congress-on-formal-methods-in-porto https://sauljohnson.com/writing/my-second-postgraduate-research-conference-at-teesside https://sauljohnson.com/writing/pint-of-science-at-baker-street-kitchen https://sauljohnson.com/writing/you-will-pwn-yourself-with-your-own-clipboard https://sauljohnson.com/writing/cyphyassure-spring-school-in-york https://sauljohnson.com/writing/talking-phishing-at-eaglescliffe-golf-club https://sauljohnson.com/writing/csf-at-floc-in-oxford https://sauljohnson.com/writing/taking-password-security-seriously-(part-3) https://sauljohnson.com/writing/taking-password-security-seriously-(part-2) https://sauljohnson.com/writing/taking-password-security-seriously-(part-1) https://sauljohnson.com/writing/you-don-t-need-to-click-submit... https://sauljohnson.com/writing/getting-infosec-awareness-off-the-ground https://sauljohnson.com/writing/paper-at-ifm-2017 https://sauljohnson.com/writing/euroclojure-2017