AdaCore

Dr. Roderick Chapman is an independent consulting engineer with more than 20 years of experience in the development and certification of critical software. Following graduation from the University of York in the U.K., Rod joined Praxis (now Altran UK). Rod is a regular speaker at international conferences, and he is widely recognized as a leading authority on high integrity software development, programming language design, and software verification tools.

Articles 1 - 4
Software & OS

AdaCore Technologies for cyber security, part 4: Industrial scenario examples - Story

July 18, 2018

This part presents a number of security-related scenarios that may arise in real-world projects.

Software & OS

AdaCore Technologies for cyber security, part 3: Security vulnerabilities and their mitigation - Blog

July 03, 2018

Part three considers a number of specific and high-profile software vulnerabilities, inspired by the CWE/SANS ?Top 25 Most Dangerous Software Errors."

Software & OS

AdaCore Technologies for cyber security, part 2: The challenge of secure software - Story

June 19, 2018

This article considers why building and operating secure computer systems appears to be so difficult, as evidenced by the frequency and magnitude of attacks reported in the media.

Security

AdaCore Technologies for cyber security, part 1 - Story

May 18, 2018

We're all serious about security, some more than others. This first in a series of articles on cyber-security shows that it's really necessary and it's really possible to be secure.

Articles 1 - 4