[Cryptography] Subject: Re: Swift and cryptography
Viktor Dukhovni
cryptography at dukhovni.org
Wed Jun 11 11:09:35 EDT 2014
On Wed, Jun 11, 2014 at 08:23:06AM -0400, Phillip Hallam-Baker wrote:
> The problem of programming is how to get the intention of the designer
> into machine code. A programming language, formal methods are only
> tools to help to that end.
>
> [...]
>
> Crypto is a problem that is almost uniquely suited to a conventional
> imperative language. So the question of interest should probably be
> whether SWIFT is a language that would be useful as a medium for
> interchange of algorithm specifications.
I think you're advocating for Cryptol DSL (or equivalent of they
have competition):
https://news.ycombinator.com/item?id=7642434
http://www.cryptol.net/
which was mentioned on this list some time back.
--
Viktor.
More information about the cryptography
mailing list