[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAGUWgD-Dhg-ORKcT5=rV5Dpz=6J0DAaOOHA5SaZ=HMPfvuZBmw@mail.gmail.com>
Date: Fri, 25 Oct 2019 18:37:44 +0300
From: Georgi Guninski <gguninski@...il.com>
To: oss-security@...ts.openwall.com
Subject: Re: Formal verification of open source software
On Fri, Oct 25, 2019 at 3:17 PM Hanno Böck <hanno@...eck.de> 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.
