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. ...
Getting Infosec Awareness Off The Ground!
Yesterday, my colleague Alexander Markov and I gave a brief presentation at Off The Ground ...
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 ...