Twitxy Saved

CyLab

@CyLab

CyLab is @CarnegieMellon's Security & Privacy Institute. Our 300+ researchers are passionate about creating a world in which technology can be trusted.
Pittsburgh, PA cylab.cmu.edu Joined April 2009
1.6K Following 9.8K Followers 7K Posts

Latest posts 5

CyLab @CyLab
The inaugural Security and Privacy Undergraduate Research (SPUR) Scholars summer program gave students from universities across the country an opportunity to work alongside leading researchers on some of today's most pressing #cybersecurity challenges. cylab.cmu.edu/news/2026/10/2…
www.cylab.cmu.edu SPUR Scholars tackle security and privacy challenges in inaugural summer program The inaugural Security and Privacy Undergraduate Research (SPUR) Scholars summer program gave students from universities across the country an opportunity to work alongside leading researchers on...
CyLab @CyLab
.@CyLab researchers @somnus_qpang, @gingsmith, and Wenting Zheng have developed a framework that demonstrates how #AI agents could use cryptographic techniques to communicate secretly, even when a security system is monitoring every message they exchange. cylab.cmu.edu/news/2026/10/0…
www.cylab.cmu.edu Hiding secret messages in plain sight CMU researchers find that AI agents can use cryptographic techniques to communicate secretly
CyLab @CyLab
During “The AI Cyber Challenge” panel at the @CyLab Partners Conference, researchers and industry leaders explored how #AI is reshaping #cybersecurity, and what strategies organizations must utilize to keep pace. Read more and watch the full video below: cylab.cmu.edu/news/2026/11/0…
www.cylab.cmu.edu From human speed to machine speed During “The AI Cyber Challenge,” an opening keynote presentation and panel discussion at Carnegie Mellon University's 2026 CyLab Partners Conference, researchers and industry leaders explored how AI...
CyLab @CyLab
.@CyLab faculty member Bryan Parno, co-developer of Verus, is collaborating w/ @AdaCoreCompany to advance the development of safer, more reliable software.

Read more about how this collab will help strengthen software security in critical industries: aerospace-innovations.com/adacore-and-cm…
aerospace-innovations.com AdaCore and CMU Researchers Announce Collaboration around Formal Verification of Rust for High-In... Collaboration combines AdaCore’s three decades of high-integrity software assurance with Verus, a formal verification tool for Rust. AdaCore, a trusted pro