Today at around 16:00 I'm doing a lightning talk at the SEC-T security conference titled "SMT in reverse engineering, for dummies". A stream to the talk should be available on YouTube where you hopefully will be able to see the talk. It will probably also be available online afterwards. I will update this post with a link.

Unfortunately, the SEC-T arrangers lost all the recordings due to technical problems. Fortunately, I re-recorded my talk and put it on YouTube.

In the talk I'm referring to some scripts I have written. You can also download the slides as a PDF.