[Cryptography] Ada vs Rust vs safer C
John Levine
johnl at iecc.com
Fri Sep 16 18:57:44 EDT 2016
>Building a safer C seems more doable than converting massive amounts of C code, and programers, to new languages.
This paper is quite good. It observes that there is a great deal of
information in the object and executable files that is typically
thrown away at runtime. They do a combination of reasonable
inferences, e.g., the code in module A won't normally reference static
data in module B, and a high level description language that lets you
make assertions about what should access what when. They did it all
with standard GCC and clever linkers and loaders.
http://www.cs.dartmouth.edu/~sergey/elfbac/bh16-elfbac-whitepaper.pdf
More information about the cryptography
mailing list