sperformance

We all use testing to ensure our software works correctly in different situations. But testing alone is not enough as there is no way to run a program through every conceivable input. To build safe and secure systems, we need to use different methods. Enter formal methods.

https://www.brookings.edu/techstream/formal-methods-as-a-path-toward-better-cybersecurity/

#cybersecurity #software #hardware #hardwarehacking #softwareengineering #softwaredevelopment #softwareengineers

Formal methods as a path toward better cybersecurity

Industry and government should accelerate adoption of formal methods to reduce software vulnerabilities and bolster security.

Brookings
May 14, 2023 at 8:08amMastodon for iOS
Show threadsperformanceMay 14, 2023

In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, verification of software and hardware systems. Example TLA+, B, Z, Alloy and many others.

There are many stories and examples how formal methods help companies to develop better and more safe systems. One particular case remains DARPA Helicopter Hack-Proof Code Test.

Show threadsperformanceMay 14, 2023
DARPA loaded a special software into a helicopter’s flight control computer, inviting then a group of expert hackers to break into the software running on the helicopter. After repeated attempts, the flight control system stood strong against all attempts to gain unauthorized control.
Show threadsperformanceMay 14, 2023

Read how DARPA did this and how you can also build better and more secure software.

https://www.brookings.edu/techstream/formal-methods-as-a-path-toward-better-cybersecurity/

Formal methods as a path toward better cybersecurity

Industry and government should accelerate adoption of formal methods to reduce software vulnerabilities and bolster security.

Brookings