nycerrrrrrrrrr 1 day ago

Since some people seem to not be familiar with Joanna, she is a massively influential security researcher. IMO most famous for her "Blue pill" attacks on Vista and Xen: https://blackhat.com/presentations/bh-usa-06/BH-US-06-Rutkow..., https://invisiblethingslab.com/resources/bh08/part3.pdf. Her work demonstrated that hardware virtualization is not in fact the security panacea we wish it was, but that it too is vulnerable to attack just like any other layer of the stack. This revelation resulted in significant changes in the security world.

She is also famous for the Qubes OS project and coining the term "evil maid attack".

  • Kiboneu 1 day ago

    > "Blue pill" attacks on Vista and Xen [...] Her work demonstrated that hardware virtualization is not in fact the security panacea we wish it was, but that it too is vulnerable to attack just like any other layer of the stack.

    Blue-pilling is a method for malware to hide from the OS by virtualizing it, not an attack on VMs. That's why it's called "blue pilling". I do agree though that VMs are not airtight and VM escapes have been demonstrated.

    • nycerrrrrrrrrr 1 day ago

      Yes, but when you blue-pill the hypervisor it becomes an attack on VMs. Her demonstrating the blue pill attack on Xen was really the "oh crap, these aren't as safe as we thought" moment.

mentalgear 1 day ago

Kudos to her pristine work in security, especially with QubesOS - more relevant as ever since LLMs are now finding and weaponizing bugs at lightspeed, QubesOS feels like the last trustworthy OS fortress left.

> What is Qubes OS?

Qubes OS is a free and open-source, security-oriented operating system for single-user desktop computing. Qubes OS leverages Xen-based virtualization to allow for the creation and management of isolated compartments called qubes.

These qubes, which are implemented as virtual machines (VMs), have specific:

    Purposes: with a predefined set of one or many isolated applications, for personal or professional projects, to manage the network stack, the firewall, or to fulfill other user-defined purposes.

    Natures: full-fledged or stripped-down virtual machines based on popular operating systems, such as Fedora, Debian, and Windows.

    Levels of trust: from complete to non-existent. All windows are displayed in a unified desktop environment with unforgeable colored window borders so that different security levels are easily identifiable.

source: https://doc.qubes-os.org/en/latest/introduction/intro.html

stared 1 day ago

Is there some important context I am missing?

  • gostsamo 1 day ago

    The author was known with a secure os project some years ago.

47282847 1 day ago

In case you read this: Hi Joanna! Nice to hear from you. Looking forward to your thoughts and sharing.

brcmthrowaway 1 day ago

Why did the author leave computer security industry?

  • tptacek 1 day ago

    Did they?

    • pgCKIN 1 day ago

      So it seems: "Today I no longer do computer security. I do other stuff, part of which running this blog :-)"

  • userbinator 1 day ago

    I hope it's because she realised its hidden purpose of advancing towards authoritarian dystopia.

    • superxpro12 22 hours ago

      but isnt e2ee also one of the technological advancements that actually fights against authoritarian dystopia?

    • fsflover 15 hours ago

      How so? Qubes OS is the best operating system you can have today to reclaim the control over your computer.

lo_zamoyski 19 hours ago

"For it seems that the struggle, the uncertainty, the incompleteness, they all might be the central theme of humanism, perhaps even its very essence."

Uncertainty and incompleteness are only meaningful in relation to certainty and completeness, and these point at desire. We desire food to complete us nutritionally, at least for a time. When we desire to know something, our minds come to rest - relatively speaking - when we arrive at that knowledge.

The questions then become: what is lacking to make something uncertain? What is lacking to make something incomplete? So, while these defects may be unavoidable (at least in his life), then the question one should be asking is what does the apparent insurmountably of this condition entail? What is the desire in question that isn't being satisfied?

piffien 1 day ago

> This blog is intended to be a reportage of my struggles between Rationality and Humanism. Pragmatism and Beauty. Formalism and Intuition. Freedom and Love. Individualism, Independence and Privacy on the one side, vs Egalitarianism, Sharing and Community on the other.

What is he on about? Sounds like his future blog posts could just be rambling about anything.

  • realo 1 day ago

    She.

    She was a brilliant cybersecurity researcher.

    Nowadays seems to have switched to poetry. Not the first one to do that, recently...

    IMHO she is up there on par with Yudkowsky.

CrzyLngPwd 1 day ago

She seems lost, and hopefully isn't being encouraged by a sychophantic LLM.

  • kome 1 day ago

    ???

    wild assumption. god forbid someone look for some humanity in this world.

    • CrzyLngPwd 14 hours ago

      Wild assumption, what are you assuming, exactly?

      In the world, she has attained a lot in a single blog post, and now she is elevated.

      Hurrah!

      Did I get that right?

askZqt 1 day ago

Well known security researcher resurfaces, first blog post mentions Claude:

https://tracesofhumanity.org/freediving-embodiment-and-human...

Please, please, please let this not be the incentive!

  • bbor 1 day ago

    I mean, 'mentions Claude while asking it about AI consciousness at the end of long post about consciousness'**. Seems fair?

    Apologies if I'm misreading 'incentive' and missing some jargon usage, ofc! Or if this just a lament that she's not a purist/gold star doomer? Cause I totally understand that.

jgord 1 day ago

Joanna, if your reading this, welcome back .. really miss your blog !

In my ideal future, Joanna would write about things like :

  - how do we secure LLMs leading up to AGI, presumably they can bypass our best attempt at airgap firewalls
  - is consciousness different from thinking from intelligence ?
  - how do we ensure AI is distributed so all humans can benefit, and not used as a multiplier of extreme wealth inequality ?
  - whats missing in current AI LLMs ?

I'll take a crack at the last one : imo, the current generation of LLMs is missing :

  - a bias for truth / fact .. or a mode switch to make it bias truthiness
  - reasoning by chains of formal language [ formal logic ]
  - reasoning by chains of probabilistic inference [ bayesian logic ]
  - reasoning by deep simulation [ stochastic modelling ]
  - spatial reasoning [ 3D model of space, machinery, physics. 3D reconstruction. model of humans and animals with bones, muscles, mass ] 
  - mathematical modelling [ proposing formulae, checking fit ]
  - psychological model of humans, of human populations, their needs / motivations / rewards and psychoses

Essentially AGI would require a proper merging of RL style [ NN learning from a stochastic simulation of future states ] and current ChatGPT style LLMs.

An implication of the above is that future AGI will need to run on fast branching CPU _and_ massively parallel GPU with a fast data path between them - ie. balanced compute.

However, the best part will be discovering what the real Joanna writes about !