for malware hiding, you could avoid that by demanding that the programs contain mathematical proofs that they do not do a certain number of malicious things, or that they only do a particular non-malicious thing?
No you can't, because you can't define what is malicious.
Your partner going through your underwear drawer is perfectly fine. However if you see a stranger doing the same well, its about time to call the cops.
Your partner going through your underwear drawer is perfectly fine. However if you see a stranger doing the same well, its about time to call the cops.