Df Fsd2018 Header V3 Bandeau

Sound Static Analysis for Security Workshop

Sound Static Analysis for Security: this two-day workshop is focused 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 developments, 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 the use in new developments, 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.

The workshop will be held at the National Institute of Standards and Technology (NIST) in Gaithersburg, Maryland. It is a continuation and expansion of the Frama-C & SPARK Day 2017 which took place in Paris, France.

A renowned group of international experts.

David Wheeler
  • David A. Wheeler
    Institute for Defense Analyses
Rustan Leino
  • K. Rustan M. Leino
David Cok
  • David Cok
    Visiting Research Engineer at CEA and Independent Consultant
Paul Black
  • Paul E. Black
  • Ben Hocking, Dependable Computing
  • Alexey Khoroshilov, ISPRAS
  • Jon Aytac, Sandia National Labs
  • Benjamin Monate, TrustInSoft
  • Alexander Senier, Componolit
  • Claire Dross, AdaCore
  • Mariano M. Moscato, National Institute of Aerospace
  • Roderick Chapman, Protean Code Limited
  • Julien Signoles, CEA
  • Laurent Voisin, Systerel
  • David Mentré, MERCE
  • Stuart Matthews, Altran
  • Henny Sipma, Kestrel Technology, LLC
  • Joe Kiniry & Daniel Zimmerman, Galois
Facilities Places Gaithersburg Administration Bldg

About NIST

Founded in 1901, NIST has the mission to promote U.S. innovation and industrial competitiveness by advancing measurement science, standards, and technology in ways that enhance economic security and improve our quality of life.