41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0cce5-a3eb-706f-9e98-fb81f11dd636

The Whitehouse report on adopting memory safety

shape-of-code.com · published 3 March 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at shape-of-code.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 18
Words captured: 896

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf

whitehouse.gov

https://gcc.gnu.org/onlinedocs/gcc-7.2.0/gcc/Instrumentation-Options.html

gcc.gnu.org

https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/

cl.cam.ac.uk

https://shape-of-code.com/2016/08/29/does-using-formal-methods-mean-anything/

shape-of-code.com

https://www.cisa.gov/sites/default/files/2023-12/The-Case-for-Memory-Safe-Roadmaps-508c.pdf

cisa.gov

https://github.com/microsoft/MSRC-Security-Research/blob/master/presentations/2019_08_WOOT/WOOT19%20-%20Trends%20and%20challenges%20in%20vulnerability%20mitigation.pdf

github.com

https://www.portokalidis.net/files/unsafe_rust_fse23.pdf

portokalidis.net

Array bound checking in C: the early products Read at the source ↗

shape-of-code.com

https://dl.acm.org/doi/abs/10.1145/3551349.3559494

dl.acm.org

https://arxiv.org/abs/2311.05063

arxiv.org

https://arxiv.org/abs/1611.09187

arxiv.org

https://purl.stanford.edu/zm955yw2192

purl.stanford.edu

https://rustsec.org/advisories/

rustsec.org

https://arxiv.org/abs/2308.04785

arxiv.org

https://ink.library.smu.edu.sg/sis_research/8644/

ink.library.smu.edu.sg

https://en.wikipedia.org/wiki/Intel_MPX

en.wikipedia.org

https://www.pure.ed.ac.uk/ws/portalfiles/portal/75756332/MPX_Explained.pdf

pure.ed.ac.uk

https://www.sunburst-project.org/

sunburst-project.org