Professor presents at retreat

Minseok Kwon, professor of computer science, presented his research on “Proof-Carrying Network Code” at the Cornell-Princeton Network Programming Initiative (NPI) annual retreat Oct. 11 at Cornell Tech in New York City. The research centers on the development of programming logics to specify and enforce security policies in federated network settings focusing on authorization and network behavioral policies, including firewalls.