3 ms·
I recently skimmed a giant manuscript about the creation of a language for defining cryptographic requirements and primitives (120ish pages). I seem to recall t
by dfc 13y ago
I 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...