3 ms·

The extent to which truly secure computing is possible depends in large part on which of the many possible "cryptographic universes" we live in (based on how th

• bmc7505 5y ago
  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