Calling all developers, managers, evaluators or security-scritcal projects & researchers
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 its CTO, Benjamin Monate as Guest-Speaker to discuss application of formal methods-based tools 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 advice on the analysis of legacy code, uses in new developments, accountable software quality. Most of all, master the art of expertly killing your software security breaches.
Looking forward to see you all there!