
Once you know those basic features, you can drive your car. Todd Austin: Think about driving a car: The defined semantics of your car are that it has a steering wheel it has a left/right blinker it may have a stick shift depending on the kind of car it has as an on-off button.

Spectrum: If you could define "undefined semantics" for us, that would be great. Todd Austin: This is where the notion of undefined semantics comes in. Spectrum: That does sound like a challenge. The challenge is, how do you make it mind bogglingly difficult to understand for an attacker, but not affect the normal programmer? We just would essentially make it so mind bogglingly terrible to understand that the attackers would be discouraged from attacking this particular target. Our idea was that if we could make it really hard to make any exploit work on it, then we wouldn't have to worry about individual exploits. It makes the computer into a puzzle that happens to compute. Todd Austin: Morpheus is a secure CPU that was designed at the University of Michigan by a group of graduate students and some faculty. IEEE Spectrum: What is Morpheus, essentially?

Unhackable Software and What Comes Next.RISC-V, Homomorphic Computing, and the Cost of Security.The Sneaky Attacks Morpheus Defends Against.Michigan professor of electrical engineering and computer science Todd Austin explained what makes Morpheus so puzzling for hackers to penetrate. ( Spectre and Meltdown are among those.)Ī total of 10 vulnerabilities were uncovered among the five processors developed for SSITH, but none of those weak points were found in the University of Michigan processor, called Morpheus. It's aimed at developing processors that are inherently immune to whole classes of hardware vulnerabilities that can be exploited by malware. The hack attack was the first big test in a U.S.ĭefense Advanced Research Program Agency (DARPA) program called Security Integrated Through Hardware and firmware (SSITH).

Last summer, 580 cybersecurity researchers spent 13,000 hours trying to break into a new kind of processor.
