[openssl-project] dropping out

Kurt Roeckx kurt at roeckx.be
Fri Oct 12 16:32:31 UTC 2018

On Fri, Oct 12, 2018 at 02:01:42PM +0200, Andy Polyakov wrote:
> Another contributing factor is lack of opportunities to pursue
> so to say "fundamental" goals, formal validation of assembly code being
> one example.

Formal validation of the assembly code is something I would
actually like to see, and even talked with some people about it.
But I don't have the time to actually get this done.


More information about the openssl-project mailing list