SDI Seminar - Jeff Mogul January 23, 2025 Thinking About Availability in Large Service Infrastructures, and Especially in Cloud Networks
Student Bug Bounty Discovery Supports picoCTF’s Cybersecurity Education Efforts with $462,000 Gift Tuesday, January 7, 2025 Seunghyun Lee, a first-year Ph.D. student in Carnegie Mellon University’s Computer Science Department , was recently conducting some routine research on Google Chrome’s source code. Through his fuzzing research, Lee discovered a faulty implementation in Google Chrome's WebAssembly type system. Subtle design issues in the WebAssembly code, including optimizing compilers, facilitated a series of bugs that led to fragile sites that could easily be exploited. More
Enabling Developers to Write Provably Correct Software Monday, November 18, 2024 Computer code is the foundation of technology today. As software becomes an increasingly pervasive part of our lives, we need ways to ensure that critical software systems remain free of certain classes of defects and vulnerabilities. CSD professors Bryan Parno, Marijn Heule and Ruben Martins along with Jeremy Avigad, a professor in the philosophy department, are focusing on just that. More
Skarlatos Receives Intel Rising Star Faculty Award for Data Center Innovations Wednesday, September 11, 2024 Dimitrios Skarlatos, an assistant professor in Carnegie Mellon University’s Computer Science Department, has received a 2024 Intel Rising Star Faculty Award. Presented annually, the $50,000 award recognizes early career faculty whose work has the potential to disrupt industries and facilitates long-term collaboration between academia and senior technical leaders at Intel. More
