Boffins promise protection and perfect performance with new ZeRØ, No-FAT memory safety techniques

Fast, easy to implement, and knocks attacks like Spectre on the head – what's the catch?

Researchers at the Columbia University School of Engineering and Applied Science have showcased two new approaches to providing computers with memory protection without sacrificing performance – and they're being implemented in silicon by the US Air Force Research Lab.

Modern processors are things of magic, but like any magic they can sometimes work in unexpected ways. Take the Spectre and Meltdown families of vulnerabilities, for example: speculative execution frameworks added to improve performance have turned into a boon for ne'er-do-wells looking to access secrets hidden in supposedly protected memory regions.

In the years since their disclosure, fixes for Spectre, Meltdown, and a whole host of related vulnerabilities have been released. For some workloads, though, the cure can be worse than the disease: a report released this week found specific workloads running 1.6-2x slower than on the same platform without the fixes in place.

"Memory safety has been a problem for nearly 40 years and numerous solutions have been proposed," said Simha Sethumadhavan, associate professor at Columbia University.

"We believe that memory safety continues to be a problem because it does not distribute the burden in a fair manner among software engineers and end-users. With these two papers, we believe we have found the right balance of burdens."

"No-FAT and ZeRØ are two major steps toward putting an end to a longstanding problem," agreed Miguel Arroyo, PhD, co-lead author of the two papers. "Memory safety attacks cost the cyber community millions of dollars. Now we can avoid that and keep everyone's data safe – it's a win-win!"

The first of the papers, ZeRØ (you can watch the presentation here), presents a novel set of memory instructions and a new encoding scheme for metadata, designed to protect both the code and the pointers of a computing system. Requiring, its inventors have claimed, only minor changes to the architecture and being easy to add to modern processors, ZeRØ provides protection with zero measured performance loss – hence the name.

"ZeRØ offers memory security at no cost and it is a perfect complement to systems that mitigate memory attacks," said fourth-year PhD student Mohamed Tarek, co-author on the papers. "The keys to widespread adoption of security techniques are low performance overhead and convenience."

The second paper, No-FAT, aims to reduce the overhead of checking memory safety in the first place. Designed to dramatically boost the speed of fuzzing analyses, an automated approach to finding security vulnerabilities, No-FAT uses memory binning to improve performance.

NoFAT presentation

NoFAT presentation

As an added bonus, No-FAT introduces protections of its own against certain types of speculative execution vulnerabilities – including the original Spectre variant – at a very low performance cost, measured at around 8 per cent on the SPEC CPU2017 benchmark. Better still, it can boost the performance of garbage collection in memory-safe languages and may provide a platform for enhancing the predictability of memory prefetch and dynamic RAM (DRAM) controllers.

Premium on ideas

The lofty claims made by the researchers appear to have caught the attention of the US military complex. The work was partially funded with grants from the Office of Naval Research and the US Air Force, along with a Qualcomm Innovation Fellowship and what the university describes as "a gift from Bloomberg," and is being implemented in a processor design at the Air Force Research Lab.

"Ransomware is currently impacting businesses all across the globe and is getting out of hand," ESET UK cybersecurity expert Jake Moore told The Register. "The usual methods of mitigating impact are clearly not up to scratch or keeping up with the standards required. Therefore, any new ideas are hotly contended and happily received.

"With a constant deluge of attacks this new research looks, in theory, to be advantageous in thwarting attempts – but the real proof is in the pudding, and only time will tell if it can withstand the barrage of daily attacks. However, what we have learnt is that threat actors are persistent in their ways and circumnavigation is in their blood."

Columbia University has published landing pages for both ZeRØ and No-FAT, with links to download preprints of the papers under open access terms. ®

Similar topics

Other stories you might like

  • Prisons transcribe private phone calls with inmates using speech-to-text AI

    Plus: A drug designed by machine learning algorithms to treat liver disease reaches human clinical trials and more

    In brief Prisons around the US are installing AI speech-to-text models to automatically transcribe conversations with inmates during their phone calls.

    A series of contracts and emails from eight different states revealed how Verus, an AI application developed by LEO Technologies and based on a speech-to-text system offered by Amazon, was used to eavesdrop on prisoners’ phone calls.

    In a sales pitch, LEO’s CEO James Sexton told officials working for a jail in Cook County, Illinois, that one of its customers in Calhoun County, Alabama, uses the software to protect prisons from getting sued, according to an investigation by the Thomson Reuters Foundation.

    Continue reading
  • Battlefield 2042: Please don't be the death knell of the franchise, please don't be the death knell of the franchise

    Another terrible launch, but DICE is already working on improvements

    The RPG Greetings, traveller, and welcome back to The Register Plays Games, our monthly gaming column. Since the last edition on New World, we hit level cap and the "endgame". Around this time, item duping exploits became rife and every attempt Amazon Games made to fix it just broke something else. The post-level 60 "watermark" system for gear drops is also infuriating and tedious, but not something we were able to address in the column. So bear these things in mind if you were ever tempted. On that note, it's time to look at another newly released shit show – Battlefield 2042.

    I wanted to love Battlefield 2042, I really did. After the bum note of the first-person shooter (FPS) franchise's return to Second World War theatres with Battlefield V (2018), I stupidly assumed the next entry from EA-owned Swedish developer DICE would be a return to form. I was wrong.

    The multiplayer military FPS market is dominated by two forces: Activision's Call of Duty (COD) series and EA's Battlefield. Fans of each franchise are loyal to the point of zealotry with little crossover between player bases. Here's where I stand: COD jumped the shark with Modern Warfare 2 in 2009. It's flip-flopped from WW2 to present-day combat and back again, tried sci-fi, and even the Battle Royale trend with the free-to-play Call of Duty: Warzone (2020), which has been thoroughly ruined by hackers and developer inaction.

    Continue reading
  • American diplomats' iPhones reportedly compromised by NSO Group intrusion software

    Reuters claims nine State Department employees outside the US had their devices hacked

    The Apple iPhones of at least nine US State Department officials were compromised by an unidentified entity using NSO Group's Pegasus spyware, according to a report published Friday by Reuters.

    NSO Group in an email to The Register said it has blocked an unnamed customers' access to its system upon receiving an inquiry about the incident but has yet to confirm whether its software was involved.

    "Once the inquiry was received, and before any investigation under our compliance policy, we have decided to immediately terminate relevant customers’ access to the system, due to the severity of the allegations," an NSO spokesperson told The Register in an email. "To this point, we haven’t received any information nor the phone numbers, nor any indication that NSO’s tools were used in this case."

    Continue reading

Biting the hand that feeds IT © 1998–2021