Thanks! The paper is interesting, but not language-based. They change runtime (more precisely libc-free) and kernel. I was thinking about something different.

Thanks! The paper is interesting, but not language-based. They change runtime (more precisely libc-free) and kernel. I was thinking about something different. In C++ you could create a wrapper type (similar to smart pointers) which zeros on deallocation. However, there is the problem that the compiler could optimize the zeros away, because nobody reads those writes. So you really need language/compiler support to do this correctly and future-proof.