News for hackers. Stuff that matters.

A comment on Unanswered user makes question their MS thesis and answers self 2 years later. Parent comment

Re:Unanswered user makes question their MS thesis and answer... by nitrogen on Monday January 04, 2021 @05:13AM (#25629476)
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.
[ Parent | on HN ]
Re:Unanswered user makes question their MS thesis and answer... by mleonhard on Monday January 04, 2021 @11:44AM (#25633805)
Yes. 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.

[ Parent | on HN ]