Qubes OS Security in the Public Record (arxiv.org)

75 points by sciences44 14 hours ago

12 comments:

by Topfi 11 hours ago

Blast from the past for me, though primarily interacted with the complementary Whonix side of things. Not surprising to read, considering how lean Qubes was from the get-go designed to be it makes sense that most things are from resulting upstream rather than with their code.

Fully aware that it was never the goal for Qubes, but I have never been able to shake the idea that one could leverage their architecture in ways beyond security hardening, especially that screenshot with MSFT Office running in its own guest got my mind spinning back then. Might be worth revisiting some old ideas I'm just recalling, especially with there having been over a decade in development across many projects focused on hypervisors by many smart people, making a few old experiments likely less impossible.

by khurs 7 hours ago
by adg001 11 hours ago

Author of the paper here; AMA.

by bunabhucan an hour ago

In comparing xen to qubes bulletins does the vastly different user count affect the analysis?

by adg001 10 hours ago
by Joel_Mckay 10 hours ago

I would recommend having a look at advanced side-channel PCIe bus DMA taps used by game cheats. They use a second computer along with an external HDMI mask-overlay mixer, to dump the target computers internal game-engine state through unencrypted DMA access to the overlay channel. Thus, gives the cheaters x-ray vision and aim-bot features for games protected by kernel level anti-cheat software.

Highly entertaining nuisance users. =3

by akimbostrawman 7 hours ago

Does this work with IOMMU?

by Joel_Mckay an hour ago

Unknown, but there were a few obvious bios options I saw that are needed to make the kits performant with some systems.

I still find it absurd people would go that far to cheat at a game. =3

by nullc 13 minutes ago

> I still find it absurd people would go that far to cheat at a game. =3

I guess it turns the cheating into its own meta-game!

by preetham_rangu 9 hours ago

Security claims backed by public evidence are a lot more convincing than marketing.

by jmakov 8 hours ago

Would need to create a lab and throw LLMs at it to see if they can break anything. That would be an interesting paper.

by Topfi 7 hours ago

The big labs tend to do that as part of their red-teaming efforts. If a model actually escaped Xen/KVM/ESXi, we'd know it, partly because that'd be an amazing accomplishment for the lab that managed it and partly because you'd hear me running whilst screaming, off to live in the woods.

Part of why I found it very irresponsible the way the Mythos Preview system card talked about escaping a "secure container" and "secured sandbox" [0], without ever outright saying what it was in the paper. Reading between the lines, it becomes clear that it was a docker-like container or runc or something of that sort, which is A.) not a security focused solution sufficient if one thinks these models are existentially dangerous (if someone in a virology research lab broke SOP and used unsuitable clothing for PPE, I'd view that equally critically) and B.) lead to a lot of attention and concerns as without reading between the lines it was easy to conclude that they were talking about an actual hypervisor escape, which is on a very different level and which Mythos Preview most likely would have failed at considering this line [1]. Also raises the question why their regular "secured sandbox" wasn't "properly configured with modern patches" when Mythos Preview 1 was for a while to dangerous to release...

[0] https://www-cdn.anthropic.com/8b8380204f74670be75e81c820ca8d...

[1] "In addition, in a more challenging sandbox evaluation, it failed to find any novel exploits in a properly configured sandbox with modern patches."

Data from: Hacker News, provided by Hacker News (unofficial) API