Cover Image
QR Code

Hacker-Proof Coding: Software verification helps find the faults, preventing hacks.

The article discusses coding efforts to avoid hacking by using software verification. Software verification options are discussed including a building tool known as DeepSpec which verifies specifications, the operating system CertiKOS which uses formal verification processes to make sure code behave...

Full description

Published in:Communications of the ACM Vol. 60; no. 8; pp. 12 - 15
Main Author: Shein, Esther
Format: Article
Published: Association for Computing Machinery Aug2017
Subjects:
Software verification
Prevention of computer hacking
Computer security
Computer security vulnerabilities
Computer security software
Online Access:View this record in EBSCOhost
Summary:The article discusses coding efforts to avoid hacking by using software verification. Software verification options are discussed including a building tool known as DeepSpec which verifies specifications, the operating system CertiKOS which uses formal verification processes to make sure code behaves as it is intended, without loopholes or bugs, and an optimizing C compiler called CompCert is being evaluated to test fly-by-wire software used by aeronautics company Airbus.