Program Overview:

Cornell has one of the largest and most visible groups of security researchers found anywhere, tackling the fundamental problems of security and privacy in modern computing systems. Cornell has been a leader in computer security for decades, making widely recognized contributions that range from theoretical foundations to practical implementations to influence on government policy.

Cornell researchers are exploring the full space of security and privacy topics and working at every level of the computing stack, with research on operating system and distributed system security, cryptography, language-based security, hardware-based security, network security, and security and privacy policies. We have a strong presence both in research that develops new methods for building secure computing systems and in research that identifies new kinds of security and privacy vulnerabilities. Security is a cross-cutting concern, and our work draws on the synergy with groups working on programming languages, operating systems, and logic and formal methods.