Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Fri, 25 Oct 2019 18:37:44 +0300
From: Georgi Guninski <>
Subject: Re: Formal verification of open source software

On Fri, Oct 25, 2019 at 3:17 PM Hanno Böck <> wrote:
> There's been a lot of work in the crypto community in this direction.
> Most of it is code under OSS licenses:

Thanks for the links.

Are there known bugs in formally verified software or hardware?

Is there any software which comes with monetary warranty?

Are loops sizes in C code serious problem for verification?
(something like infinity in math. IIRC Coq have problem with this).

Powered by blists - more mailing lists

Please check out the Open Source Software Security Wiki, which is counterpart to this mailing list.

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.