[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