This repository contains all papers and slides I have contributed to, presented or delivered.
Simon Lynch, Saul Johnson
In this workshop paper, we aim to provide a foundation of techniques and tools to make construction of software systems that utilize planning and inference mechanisms more accessible to developers working in the Clojure programming language.
Joao Ferreira, Saul Johnson, Alexandra Mendes, Phil Brooke
We propose the use of modern proof assistants to specify, implement, and verify password quality checkers. We use the proof assistant Coq, focusing on Linux PAM, a widely-used implementation of pluggable authentication modules for Linux.
During this talk we'll demonstrate a particularly deceptive phishing attack, advise on what can be done to protect against it occurring and examine Ordinator—a browser extension specifically engineered to prevent phishing attacks that use an open redirect from a legitimate login page to gain the trust of users.