From: Shark8 <onewingedshark@gmail.com>
Subject: Getting compilers right: a reliable foundation for secure software
Date: Sat, 24 Jun 2017 13:00:38 -0700 (PDT)
Date: 2017-06-24T13:00:38-07:00 [thread overview]
Message-ID: <863eef90-3e29-4c66-8377-203ce45c3337@googlegroups.com> (raw)
Slightly off topic, due to not being [strictly] Ada-related, but I thought everyone would find this interesting: https://www.microsoft.com/en-us/research/blog/getting-compilers-right-secure-software/
But more on topic: *Why the heck aren't Ada compilers on the forefront of secure/reliable compilers?*
reply other threads:[~2017-06-24 20:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox