AdaCore Technologies for cyber security, part 4: Industrial scenario examples - Story
July 18, 2018This 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 - Blog
July 03, 2018Part 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 - Story
June 19, 2018This 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 - Story
May 18, 2018We'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.