Computer Science Speaking Skills Talk
— 12:00pm
Location:
In Person
-
Newell-Simon 3305
Speaker:
YUE NIU
,
Ph.D. Student, Computer Science Department, Carnegie Mellon University
https://yuesforest.com/index.xml
A type-theoretic view of information flow
Information dependency is a fundamental notion in the theory of programming languages. Examples of dependencies include resource usage and program modules, where the computational cost of a function depends on the value of inputs and the "shape" of runtime program components is determined by static type information.
In the aforementioned examples dependency is asymmetric — the value of a function does not depend on the cost of inputs, and the shape of a module does not depend on runtime components. The most prototypical such asymmetry arises in information flow security, where the value of a high security bit may depend on a low security bit, but not vice versa. A phase distinction is a type-theoretic way of organizing the interactions amongst programs existing at different security levels.
This talk broaches the logic and geometry of phase distinctions and indicates applications to information flow security.
Presented in Partial Fulfillment of the CSD Speaking Skills Requirement.