Leveraging Modern Applications and Tools

Modern applications are becoming increasingly complex to manage, let alone design. This talk focuses on leveraging modern languages (e.g. Scala, Haskell, OCaml, F#, &c.) and tools (such as formal analysis, model extraction, &c.) to create secure, operationally correct, and understood applications. This talk is practically focused, discussing attacks such as IDOR, Access Control, and the like, and how modern language stacks, when combined with tooling, can equip developers and security architects to understand and secure the enterprise from both abuse and attacks.

Stefan Edwards (@lojikil)

Stefan was a coal miner until 1956, when a tragic accident involving a tuna sandwich made him fall back on his "side gig" with "those computer thingies." With a child-like sense of wonder and terrible HTML, he has been described as "a human fuzzer, but not in a good way" by many of his colleagues. He enjoys discussing absurdism, agronomy, programming language theory, and talking about himself in the third person. Tuna sandwiches are out of the question, however.