July 18, 2023

Two faculty members from the Cornell Ann S. Bowers College of Computing and Information Science have received the Computer Security Foundation (CSF) Symposium’s inaugural Test of Time Award for their 2008 paper introducing hyperproperties as a mathematical foundation for computer security policies. The approach has since been used much more broadly for reasoning about program behavior.