Security

Cornell researchers tackle fundamental security and privacy challenges while discovering emerging vulnerabilities in modern systems. Their work spans the entire computing stack, developing new security measures for operating systems, hardware architecture, cryptography, programming languages, and networks. Drawing on expertise in formal methods and systems design, the team investigates core challenges in computer security and privacy, shaping how increasingly complex digital environments are protected.