Speaking Skills Talk - Yue Niu

— 12:00pm

In Person - Gates Hillman 8102

YUE NIU, Ph.D. Student, Computer Science Department, Carnegie Mellon University

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

Event Website:

Add event to Google
Add event to iCal