1. 6

  2. 4

    This is an interesting video which I’ve watched, in the same vein I will just keep hyping (the free to download) Engineering a Safer World by Nancy Leveson (who’s at least edited one volume Richard Cook appears in) and her earlier Safeware (now 20 years old which is nice because some of the problems it addresses have started to be solved, an interesting note in there about ‘provable software’ where it notes in an aside that the proofs may be as long as the programs… in reality the security and correctness proofs of sel4.systems are much much longer than the programs)

    https://mitpress.mit.edu/books/engineering-safer-world (free download on left)

    https://www.youtube.com/watch?v=WzDptPlggkA - a 2015 presentation by Dr. Leveson that outlines in broad strokes much of the book

    1. 2

      Interestingly, this could be used to fuel the argument against unikernels, specifically the parts about monitoring.