Are you a developer, manager, evaluator of security-critical projects? Are you a researcher in cybersecurity? Looking to slay dragons AND software vulnerabilities?
Then the 2018 Sound Static Analysis for Security two-day Workshop is for you! We are sponsoring the Workshop and are proud to have our CTO, Benjamin Monate as Guest-Speaker to discuss application of formal methods to flawed code-bases.
Register here, and join us at the National Institute for Standards and Technology (NIST) in Gaithersburg, MD on the 27th & 28th of June 2018.
You will get hands-on practical advices such as: the analysis of legacy code, uses in new developments, accountable for software quality. Most of all, master the art of expertly detecting your software security breaches.