So, How Secure are your Coding Practices? Ask AdaCore

October 19, 2018
Developing secure code is no longer optional, but that doesn't mean it's easy. Some software engineers use vulnerability databases like CWE and OWASP to ensure their code is robust as possible, however, this reactionary approach doesn't lend itself to coding correctly the first time. Ada's SparkML enables the development of security-critical software on the first attempt, as AdaCore's Rob Tice explained to Brandon Lewis, Editor-in-Chief of Embedded Computing Design, at Arm TechCon 2018.
Previous Video
Spectre, Meltdown, and Tortuga Logic's Hardware Security Verification at Arm TechCon
Spectre, Meltdown, and Tortuga Logic's Hardware Security Verification at Arm TechCon

The Spectre and Meltdown vulnerabilties resulted from speculative execution, designed to satisfy our need f...

Next Video
Achronix eFPGA Technology Offers AI Flexibility, Today and Tomorrow
Achronix eFPGA Technology Offers AI Flexibility, Today and Tomorrow

With Moore’s law coming to an end and the growing volume of data that will require to be processed to drive...