There are different kinds of secure computing. The kind of security you are referring to is based on cryptographic schemes like homomorphic encryption or zero-k

There are different kinds of secure computing. The kind of security you are referring to is based on cryptographic schemes like homomorphic encryption or zero-knowledge proofs. The kind of security I am referring to is language-based security. https://en.wikipedia.org/wiki/Language-based_security https://en.wikipedia.org/wiki/Language-based_security