Formal Verification of Secure Software Systems - Aaron Bedra (Central Ohio Infosec Summit 2016) (Hacking Illustrated Series InfoSec Tutorial Videos)

Feel free to include my content in your page via my
RSS feed Follow @irongeek_adc

Help Irongeek.com pay for
bandwidth and research equipment:
Subscribestar or Patreon

Search Irongeek.com:

Affiliates:

Help Irongeek.com pay for bandwidth and research equipment:

Formal Verification of Secure Software Systems - Aaron Bedra (Central Ohio Infosec Summit 2016) (Hacking Illustrated Series InfoSec Tutorial Videos)

Formal Verification of Secure Software Systems
Aaron Bedra

Bio: Aaron is Chief Security Officer at Eligible. He is the creator of Repsheet, an open source threat intelligence framework. Aaron is the co-author of Programming Clojure, 2nd Edition and a frequent open source contributor

Back to Central Ohio Infosec Summit 2016 video list

Printable version of this article

15 most recent posts on Irongeek.com:

If you would like to republish one of the articles from this site on your webpage or print journal please contact IronGeek.