ForAllSecure Tech Talk

  • When Jan 31, 2019 from 03:00 PM to 04:30 PM (America/Los_Angeles / UTC-800)
  • Add event to calendar iCal

Thursday, January 31st, 2019

3:00-4:30PM
Spilker 143

Interested in learning how to tackle challenging CTF problems from some of the best in the field? Want to learn more about symbolic execution and SMT solvers in practice? Join Applied Cybersecurity and ForAllSecure for a talk on tools and techniques for CTFs!

RSVP here: https://goo.gl/forms/AMzHT57Nqrh2FKTt1

ForAllSecure combines autonomous machine-based cybersecurity tools with the creativity of humans. The company crafted a fully autonomous cybersecurity system,
taking first place at the DARPA Cyber Grand Challenge.

They will talk about using SMT solvers in reversing and CTFs,symbolic execution for CTFs, and real world applications.