Information security and formal methods stuff, sometimes music and language.
You Don't Need to Click Submit...
I already have your keystrokes. The fact that you never clicked submit on my phishing form doesn't matter one jot. ...
Paper at iFM 2017!
I had the opportunity to present a paper I worked on alongside a few of my colleagues at the 13th international conference on Integrated Formal Methods (iFM 2017). ...
EuroClojure 2017!
This month I had the privilege of speaking at EuroClojure 2017 in Berlin, offering a ...