U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

Sound Static Analysis for Security (SSAS) Workshop

This two-day workshop focuses on decreasing software security vulnerabilities by orders of magnitude, using the strong guarantees that only sound static analysis can provide. The workshop is aimed at developers, managers and evaluators of security-critical projects, as well as researchers in cybersecurity.

The program features experts on sound static analysis applied to security, around three theme topics:

  • Analysis of legacy code,
  • Use in new development, and
  • Accountable software quality.

Each topic will be introduced by a renowned international expert: David A. Wheeler from the Institute for Defense Analyses on the analysis of legacy code, K. Rustan M. Leino from Amazon on use in new development, and Visiting Research Engineer at CEA and Independent Consultant David Cok on accountable software quality. Tutorials and vendor displays will offer attendees the opportunity to practice and connect with technology and tool experts.

This workshop is a continuation and expansion of the Frama-C & SPARK Day 2017 which took place in Paris, France.

Event Details

Starts: June 27, 2018 - 09:00 AM EDT
Ends: June 28, 2018 - 05:30 PM EDT

Format: In-person Type: Workshop

Website


Location

Green Auditorium
100 Bureau Drive
Gaithersburg, MD 20878

Related Topics

Security and Privacy: general security & privacy

Technologies: software & firmware

Created May 22, 2018, Updated June 22, 2020