Computationally secure information flow

  title={Computationally secure information flow},
  author={Peeter Laud},
This thesis presents a definition and a static program analysis for secure information flow. The definition of secure information flow is not based on non-interference, but on the computational independence of the program’s public outputs from its secret inputs. Such definition allows cryptographic primitives to be gracefully handled, as their security is usually defined to be only computational, not information-theoretical. The analysis works on a simple imperative programming language… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…