5/23/2016 | 11:30-1:00 PM


5400 University Ave., West Des Moines, IA 50266


Farm Bureau Auditorium


SMT and Me

Chapter Meeting / May 23, 2016

SMT and Me

Short Description:

SMT solvers are a revolution in what kind of tasks we can delegate to our computer. Find hard to reach bugs, *prove* your software is correct, simplify your workflow, and amaze your coworkers with logic superpowers.

This talk is for a general audience. We will start solving puzzles in your Facebook feed and progress to other tasks we can now automate with SMT. The security take away is that these tools are so powerful we must write formal parsers on all input formats from now on. The "shellshock" vulnerability last year was the tip of the iceberg. We are in for a rough ride as vulnerabilities in the wild outpace major vendors like Ford, GM, IBM, Oracle, etc.


Chad Brewbaker is the CTO of DataCulture LLC. He specializes in architecting "serverless" applications for platforms like AWS Lambda. He also helps companies adopt precise languages (Haskell, Scala, Elm) to simplify QA, and advocates teaching functional programming alongside Algebra to middle school students.

Who We Are / Des Moines IA ISSA Chapter

ISSA Des Moines members are a diverse group of information security professionals, ranging from information security analysts and engineers to consultants and CIOs. Speakers have ranged from CTOs of high-tech security companies to lawyers speaking about regulation. The chapter holds monthly meetings over the noon hour on the fourth Monday of each month.

Event FAQS / speaker information

All presentations should be of interest to information security professionals (this could include technical, legal, or business) dimensions All presentations should: Process

last no more than 60 minutes excluding a brief question and answer session.

Vendor presentations should be kept at an educational level and not be a sales pitch.

Presentations that include demonstrations are preferred, however, not mandated

ISSA Speakers are provided an LCD projecter and use their own laptop Other requests for Audio/Visual equipment should go to the Program Director

The speaker does not have to provide lunch, but a larger crowd can be expected if it is provided. There are many times where lunch is provided and sponsored by the Des Moines ISSA chapter.