AdaCore Technologies for cyber security, part 4: Industrial scenario examples - StoryJuly 18, 2018
This part presents a number of security-related scenarios that may arise in real-world projects.
AdaCore Technologies for cyber security, part 3: Security vulnerabilities and their mitigation - BlogJuly 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."
AdaCore Technologies for cyber security, part 2: The challenge of secure software - StoryJune 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.
AdaCore Technologies for cyber security, part 1 - StoryMay 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.