Chapter 1. Cyberphysical Microfluidic Biochips.- Chapter 2. Security and Trust.- Chapter 3. Prevention: Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips.- Chapter 4. Detection: Randomizing Checkpoints on Cyberphysical Digital Microfluidic Biochips.- Chapter 5. Mitigation: Tamper-Mitigating Routing Fabrics.- Chapter 6. Conclusions.
Per Brinch Hansen develops a programming system for a PC from the ground up, by designing a simplified dialect of Pascal (Edison) and implementing it portably. All the source code is published and, in this reviewer's opinion and experience, is free of error. If thst is not enough to attract a serious programmer, Brinch Hansen's implementation of concurrent processing in Edison (which also appears in his later work) and...
0Report