4 ms·
I have said this before, but what we really need is the equivalent of SQL for cryptography. We need a language that can be used to describe what kind of securi
by betterunix 13y ago
I have said this before, but what we really need is the equivalent of SQL for cryptography. We need a language that can be used to describe what kind of security is needed from a cryptosystem and a compiler to turn that into code. It is not just that cryptography is hard to implement; it is also easy to use it incorrectly, compose it poorly with other systems (see the Skype attack), etc.
- dfc 13y agoI recently skimmed a giant manuscript about the creation of a language for defining cryptographic requirements and primitives (120ish pages). I seem to recall that the author was either from Stanford and/or had a name that begins with a "P". I wish I had saved the citation. Hopefully someone else will be able to recognize what I am referring to with my shoddy reference.
- pbsd 13y agoThat does sound like CAO [1,3,4], from the CACE [2] project. [1] https://eprint.iacr.org/2005/160 https://eprint.iacr.org/2005/160 [2] http://www.cace-project.eu/ http://www.cace-project.eu/ [3] http://www.cace-project.eu/downloads/deliverables-y2/CACE_D5.2_M18.pdf http://www.cace-project.eu/downloads/deliverables-y2/CACE_D5... [4] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.113.8971&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.113...
- tptacek 13y agoWhy do you think that would be more valuable than something like Nacl?