At the heart of cryptography is creating trust. Carnegie Mellon University CyLab researchers are researching state-of-the-art techniques for establishing secure communication between two or more parties in the presence of a growing number of adversaries. Strong, robust cryptography allows us to shop online, manage personal finances, and communicate with one another without worrying about criminals stealing our information.
Provably-secure code incorporated into Linux kernel
This month, code from the provably correct and secure “EverCrypt” cryptographic library, which CyLab’s Bryan Parno and his team helped develop and release last year, was officially incorporated into the Linux kernel — the core of the Linux operating system.
New tool gives researchers a better look at online anonymous marketplaces
In a study presented at the Knowledge Discovery and Data (KDD) Mining Conference, Xiao Hui Tai teamed up with two other researchers to develop an algorithm that will help law enforcement agencies crack down on illicit products being sold on online anonymous marketplaces.
Achieving provably-secure encryption
Earlier this week, a team consisting of researchers from CyLab released the world's first verifiably secure industrial-strength cryptographic library—a set of code that can be used to protect data and is guaranteed to protect against the most popular classes of cyberattacks.
Africa's first university-level blockchain course helps spread trusted tech throughout continent
Blockchain technologies have been touted by many as a huge advancement in trust – something that can create trust where it didn't exist before. That's exactly why Carnegie Mellon made sure it would be the first to offer a university-level course on it in Africa.
CyLab's Bryan Parno shares Distinguished Paper Award win with demonstration of verifiable security
In a paper presented at the USENIX Security Symposium, Bryan Parno and a team of researchers demonstrated a new programming tool that enables high-performance cryptographic code to be verifiably correct and secure.
Blockchain @ CMU
Explore the Blockchain @ CMU initiative.
Explore Other Research Topics