"But how do you verify that the compiler produces the code you wanted it to create?" You open it in disassembler and look through. It's a white box. "But how d

"But how do you verify that the compiler produces the code you wanted it to create?" You open it in disassembler and look through. It's a white box. "But how do you verify that the Computer actually does what is in the Bytecode?" It is much closer to the original question. hardware backdoors is a difficult topic