Talks

Over the years I’ve given a few talks, and I figured eventually I should probably organize all of them.

These aren’t all of my talks, or even all of the public talks, but a fair number of them that have slides

2016

Using Your’e Types More Good: a quick talk on types & security
On Being an Eeyore in InfoSec: a talk propounding my all the things we have historically done, but haven’t adopted
Make love! the lojikil way, part 0: Randomness: a quick talk on random number generation (partially given at a client)
Make love! the lojikil way, part 1: compilers: a quick talk on compiler strategy
My mobile Heraclitus Seminar: a quick look at the top 5 things I want developers to stop doing

My Anabasis, or, on being a type-heavy scheme programmer in infosec: living off the land in Scala, and modeling violence with types
Make love! the lojikil way, part 2: types: type theory & correctness for things we want in infosec

Swimming with the kubectl fish: a review of what we found during the CNCF Kubernetes audit
Symbolically executing a fuzzy tyrant, or, how to fuck literally anything: a rant/discussion about testing tools and how program analysis techniques can be used for infosec
Return to the hundred acre wood: a review of all the things that have changed in 2016, and what is still broken

The Kyoto School of Go Nihilism: a talk on Golang security problems (private client)
Go-ing for an evening stroll: an updated version for GitHub Security monthly
The Multician of Venice: a history of software composition & security
The good, the bad, the blockchain: a discussion of what Blockchain does and does not do well