Speaking Skills Talk - Yue Niu June 17, 2024 11:00am — 12:00pm Location: In Person - Gates Hillman 8102 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 Event Website: https://csd.cmu.edu/calendar/speaking-skills-talk-yue-niu
