[Cryptography] Yet more formal methods news: seL4 to go open source

Peter Gutmann pgut001 at cs.auckland.ac.nz
Wed Jun 11 03:19:51 EDT 2014


Bill Frantz <frantz at pwpconsult.com> writes:

>The most important value of open source, and I am thinking back to the days
>when IBM published the source for its systems, is that the source is the best
>documentation around. If you don't know how to use OpenSSL, looking at the
>source is a big help.

Uhh, I think you meant to say:

  If you don't know how to use OpenSSL, looking at the source is a big
  hindrance.

Peter.


More information about the cryptography mailing list