[Cryptography] letter versus spirit of the law ... UB delenda est

Ron Garret ron at flownet.com
Sun Oct 25 17:33:59 EDT 2015


On Oct 25, 2015, at 5:41 AM, Jerry Leichter <leichter at lrw.com> wrote:

> If you think the issue is C - suggest a good alternative.

Common Lisp.  Seriously.  If you constrain yourself to a particular subset of Common Lisp then you can get constant-time bounds-checked code that doesn’t cons (and hence does not invoke GC) using the language as currently defined and compilers as they currently exist.  You can even layer a C-like syntax on top of it and make a crypto-specific C-like DSL without too much pain.

rg



More information about the cryptography mailing list