[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