[Cryptography] eliminating manufacturer's ability to backdoor users

[Jerry Leichter]

> 
> Anyone else have ideas?
> 
> Yes:
> 
> 1) Have manufacturers provide a *generic* FPGA
> 2) Use a framework like Cryptol (http://www.cryptol.net/ <http://www.cryptol.net/>) to produce Verilog/VHDL versions of cryptographic ciphers from a *generic* description
> 3) Cryptographers build specific algorithms in the framework of e.g. Cryptol
> 
> Users can now obtain a Cryptol description of any algorithm which they can compile and load onto an FPGA themselves.
And this is helpful to your typical - or even highly atypical - buyer of an iPhone - how?
                                                        -- Jerry


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20160222/89296738/attachment.html>