I’ve been complaining about the security implications of DRM and “trusted computing” and “safe boot” for some time now. Susan Landau points out that the
Read morenotes on fault tolerance
Patent1 Patent2 Nonstop kernel. Suggestions? Something brilliant must have been discovered in 20 years? No?
Read moreBuilding what customers want
Visting LinuxWorld in San Francisco reminded me that one of the advantages Apple has in the cell-phone market is that it can set design goals
Read moreDRM and Trusted Boot: is Sili valley following Detroit?
The trend in standard processor boards is truly an example of the tail wagging the dog. Consumer demand for locking down their PCs to make
Read moreSpecifying the UNIX file system
The UNIX file system design is one of the most brilliant constructions in programming with a combination of conceptual simplicity, utility, and suitability for implementation
Read moreFormal methods for doing what?
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 moreThey took all the water, what could I do?
We’re in process of moving to Austin Texas where the humidity should help ripen new ideas.
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 moreLots of great inventions seem obvious in retrospect….
“Lots of great inventions seem obvious in retrospect. About 30 years ago, one of our clients realized that if you attach a small pom-pom to
Read more