3 ms·
To use the compiler for security you would need a way to prove that a given piece of machine code was generated by a trustworthy compiler, and not modified afte
by nitrogen 6y ago
To use the compiler for security you would need a way to prove that a given piece of machine code was generated by a trustworthy compiler, and not modified after it was loaded.
- mleonhard 6y agoYes. The idea is that all software is distributed as source code. The OS compiles the software itself. To prevent software modification, we need a new CPU with two memory controllers, one for data and one for code. The code memory controller can only read, not write. A separate CPU runs the compiler and writes the code RAM.