John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” – the general failure of researchers
Read moreChapter 2: liveness and scheduling
Draft is available https://www.yodaiken.com/papers/rec.html
Read moreOperating system design and specification: Part 1.
[Note: This is the first in a series of “chapters”. I’ll be revising as I see errors and in response to comments. As usual, this
Read moreSecurity cannot be improved by waving flags
Via Schneier comes a story about the US Navy and a disgruntled contractor who just plead guilty: He confessed to programming malicious software codes into
Read moreEnterprise operating systems
Can anyone name a single feature of “enterprise†operating systems available today that was not already working in VMS or Solaris or SGI’s system 10
Read moreDifference between theory and practice in security and reliability.
Theory of how F-22 Fighter software is going to be made bulletproof. Practice. Update: More practice (noted by Ben_k on Bruce Schneier’s weblog). Update2: See
Read moreOperating system interfaces are what you bump into…
Operating system interfaces are what you bump into when you are trying to do your work. There is no need for workaday users to see
Read moreSecurity notes
David Elliot Bell has an interesting essay on the US government and software security – little “inside baseball”, but informative. He cites my critique of
Read moreTalmudic codes
My knowledge of Talmud is, to be generous, zilch, but consider the format and style of Talmud. This is what you get when each commentator
Read moreAdding value to Windows
Andy Bechtolscheim says: It’s really hard to add value to Windows. Whatever you add, Microsoft is going to take away from you. Linux has opportunities.
Read more