RobertJasiek wrote:hyperpape wrote:there are in principle higher levels of security than what Robert wants.
As I have argued elsewhere, what I really want is absolute operating system and software security: for stated requirements, proven by mathematical theorems for a well-defined finite space of admitted algorithms...!
I'm not mathematically sure (after all, I'm not into this type of research), but you can check this computer. I think it is hacking proof, mostly.