[Cryptography] Secure erasure
Tony Arcieri
bascule at gmail.com
Tue Sep 13 17:49:24 EDT 2016
On Fri, Sep 9, 2016 at 9:10 AM, Henry Baker <hbaker1 at pipeline.com> wrote:
> There *is* such a computer language notion: so-called "linear" types.
>
> A "linear" object is one which has exactly one reference, and the language
> and type system conspire to ensure that this constraint is preserved.
In Rust they're referred to as affine types, lifetimes, or region types.
But they do exactly that. Unfortunately they don't zero-on-drop anymore,
but that's semantics you can easily add through Rust's Drop trait, and
there are many libraries for storing secrets which implement such semantics.
--
Tony Arcieri
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20160913/f4d84bda/attachment.html>
More information about the cryptography
mailing list