If the runtime code is audited and compiled in a secure compiler then the executable is good and secure. Run it on a clean system(embedded system) which is also physically secure. Its not only possible it already exists. Many countries do have tried and tested such systems (am not sure if compiler is audited by them) used in production.