From: "Peter C. Chapin" <chapinp@acm.org>
Subject: Re: SPARKSkein released
Date: Mon, 16 Aug 2010 07:42:37 -0400
Date: 2010-08-16T07:42:37-04:00 [thread overview]
Message-ID: <4c69244c$0$2385$4d3efbfe@news.sover.net> (raw)
In-Reply-To: <0ef90b80-0b92-4e4c-895f-bddb4b024675@z28g2000yqh.googlegroups.com>
On 2010-08-16 03:37, Rod Chapman wrote:
> Altran Praxis and AdaCore have released SPARKSkein - a new reference
> implementation of Skein-512 written and verified using the SPARK
> language and toolset...
This is great! Thanks for pointing it out.
Peter
next prev parent reply other threads:[~2010-08-16 11:42 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-16 7:37 SPARKSkein released Rod Chapman
2010-08-16 11:42 ` Peter C. Chapin [this message]
2010-08-16 16:18 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox