On top of those fundamentals, there have been more recent developments:

https://doc.rust-lang.org/std/ptr/index.html#strict-provenan...

https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html

https://www.ralfj.de/blog/2020/12/14/provenance.html

https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html