75 points by sciences44 13 hours ago | 5 comments
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.

james_hsiao 7 hours ago
[flagged]
khurs 7 hours ago
adg001 10 hours ago
Author of the paper here; AMA.
bunabhucan 1 hour ago
In comparing xen to qubes bulletins does the vastly different user count affect the analysis?
46 minutes ago
adg001 40 minutes ago
[dead]
1 hour ago
adg001 10 hours ago
Joel_Mckay 9 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

akimbostrawman 6 hours ago
Does this work with IOMMU?
Joel_Mckay 1 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

nullc 8 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!

8 hours ago
lolokfine 8 hours ago
[dead]
8 hours ago
preetham_rangu 9 hours ago
Security claims backed by public evidence are a lot more convincing than marketing.
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.
Topfi 6 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."

msm_ 5 hours ago
[dead]