• Select your website

14 December 2016

Altran expertise cited in United States Government’s National Institute of Standards and Technology report ‘Dramatically Reducing Software Vulnerabilities’

Altran expertise cited in United States Government’s National Institute of Standards and Technology report ‘Dramatically Reducing Software Vulnerabilities’

Altran experts’ work recognised in latest study giving recommendations for cyber security best practice

In response to a request for methods from the White House’s Office of Science and Technology Policy, National Institute of Standards and Technology (NIST) computer scientist Paul E. Black has compiled the report Dramatically Reducing Software Vulnerabilities, which gathers together the newest strategies from across industry and other sources for reducing bugs in software. The report makes reference to sources from Altran UK thought leaders Janet Barnes, Roderick Chapman and Florian Schanda, as well as Altran’s Correctness-by-Construction methodology and the SPARK programming language and toolset from Altran and AdaCore.

The document contains five overarching principles as recommended courses of action for reducing software vulnerability. Four of the principles – advocating formal methods, strong tool use, a modularised design and appropriate tools and languages – are directly informed by the work of Altran UK experts based at the company’s Expertise Centre specialised in the development of safety-critical and high-integrity software.

Neil White, Director of the Expertise Centre, said: “The NIST report is strong endorsement of our scientific approach to the production of secure software, and sends a clear message to the industry on producing software professionally.”

Software Engineering

Learn more about Altran's software engineering capability

SPARK

Learn more about SPARK, the foremost language, toolset and design discipline for the engineering of high assurance software.