Hello,
I looked at an old Genode demo from 2006 or so a while ago and found it had secure X11 forwarding. I'm very interested in this feature with virtual machines to get a nice environment for something like Turmvilla, though last time I checked the code it seemed this feature disappeared.
Cheers, Jookia.