A Logo

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

Help Irongeek.com pay for
bandwidth and research equipment:

Subscribestar or Patreon

Search Irongeek.com:

Affiliates:
Irongeek Button
Social-engineer-training Button

Help Irongeek.com pay for bandwidth and research equipment:

paypalpixle


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.

Copyright 2020, IronGeek
Louisville / Kentuckiana Information Security Enthusiast