Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2023-01-08 Thread Julien Grall
Hi Stefano, On 22/12/2022 21:28, Stefano Stabellini wrote: On Thu, 22 Dec 2022, Julien Grall wrote: What other hypervisors might or might not do should not be a factor in this discussion and it would be best to leave it aside. To be honest, Demi has a point. At the moment, VMF is a very

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-22 Thread Stefano Stabellini
On Thu, 22 Dec 2022, Julien Grall wrote: > > What other hypervisors might or might not do should not be a factor in > > this discussion and it would be best to leave it aside. > > To be honest, Demi has a point. At the moment, VMF is a very niche use-case > (see more below). So you would end up

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-22 Thread Demi Marie Obenour
On Thu, Dec 22, 2022 at 10:21:57AM +, Julien Grall wrote: > > > On 22/12/2022 10:14, Demi Marie Obenour wrote: > > On Thu, Dec 22, 2022 at 09:52:11AM +, Julien Grall wrote: > > > Hi Stefano, > > > > > > On 22/12/2022 00:38, Stefano Stabellini wrote: > > > > On Tue, 20 Dec 2022, Smith,

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-22 Thread Julien Grall
On 22/12/2022 10:14, Demi Marie Obenour wrote: On Thu, Dec 22, 2022 at 09:52:11AM +, Julien Grall wrote: Hi Stefano, On 22/12/2022 00:38, Stefano Stabellini wrote: On Tue, 20 Dec 2022, Smith, Jackson wrote: Hi Stefano, On 16/12/2022 01:46, Stefano Stabellini wrote: On Thu, 15 Dec

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-22 Thread Demi Marie Obenour
On Thu, Dec 22, 2022 at 09:52:11AM +, Julien Grall wrote: > Hi Stefano, > > On 22/12/2022 00:38, Stefano Stabellini wrote: > > On Tue, 20 Dec 2022, Smith, Jackson wrote: > > > > Hi Stefano, > > > > > > > > On 16/12/2022 01:46, Stefano Stabellini wrote: > > > > > On Thu, 15 Dec 2022, Julien

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-22 Thread Julien Grall
Hi Stefano, On 22/12/2022 00:38, Stefano Stabellini wrote: On Tue, 20 Dec 2022, Smith, Jackson wrote: Hi Stefano, On 16/12/2022 01:46, Stefano Stabellini wrote: On Thu, 15 Dec 2022, Julien Grall wrote: On 13/12/2022 19:48, Smith, Jackson wrote: Yes, we are familiar with the "secret-free

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-22 Thread Julien Grall
Hi Stefano, On 22/12/2022 00:53, Stefano Stabellini wrote: On Tue, 20 Dec 2022, Demi Marie Obenour wrote: On Tue, Dec 20, 2022 at 10:17:24PM +, Smith, Jackson wrote: Hi Stefano, On 16/12/2022 01:46, Stefano Stabellini wrote: On Thu, 15 Dec 2022, Julien Grall wrote: On 13/12/2022 19:48,

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-21 Thread Demi Marie Obenour
On Wed, Dec 21, 2022 at 04:53:46PM -0800, Stefano Stabellini wrote: > On Tue, 20 Dec 2022, Demi Marie Obenour wrote: > > On Tue, Dec 20, 2022 at 10:17:24PM +, Smith, Jackson wrote: > > > > Hi Stefano, > > > > > > > > On 16/12/2022 01:46, Stefano Stabellini wrote: > > > > > On Thu, 15 Dec 2022,

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-21 Thread Stefano Stabellini
On Tue, 20 Dec 2022, Demi Marie Obenour wrote: > On Tue, Dec 20, 2022 at 10:17:24PM +, Smith, Jackson wrote: > > > Hi Stefano, > > > > > > On 16/12/2022 01:46, Stefano Stabellini wrote: > > > > On Thu, 15 Dec 2022, Julien Grall wrote: > > > On 13/12/2022 19:48, Smith, Jackson wrote: > > >

RE: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-21 Thread Stefano Stabellini
On Tue, 20 Dec 2022, Smith, Jackson wrote: > > Hi Stefano, > > > > On 16/12/2022 01:46, Stefano Stabellini wrote: > > > On Thu, 15 Dec 2022, Julien Grall wrote: > > On 13/12/2022 19:48, Smith, Jackson wrote: > > >>> Yes, we are familiar with the "secret-free hypervisor" work. As > you > > >>>

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-20 Thread Demi Marie Obenour
On Tue, Dec 20, 2022 at 10:17:24PM +, Smith, Jackson wrote: > -Original Message- > > From: Julien Grall > > Sent: Friday, December 16, 2022 3:39 AM > > > > Hi Stefano, > > > > On 16/12/2022 01:46, Stefano Stabellini wrote: > > > On Thu, 15 Dec 2022, Julien Grall wrote: > > On

RE: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-20 Thread Smith, Jackson
-Original Message- > From: Julien Grall > Sent: Friday, December 16, 2022 3:39 AM > > Hi Stefano, > > On 16/12/2022 01:46, Stefano Stabellini wrote: > > On Thu, 15 Dec 2022, Julien Grall wrote: > On 13/12/2022 19:48, Smith, Jackson wrote: > >>> Yes, we are familiar with the

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-16 Thread Julien Grall
Hi Demi, On 13/12/2022 22:22, Demi Marie Obenour wrote: On Tue, Dec 13, 2022 at 08:55:28PM +, Julien Grall wrote: On 13/12/2022 19:48, Smith, Jackson wrote: Hi Xen Developers, Hi Jackson, Thanks for sharing the prototype with the community. Some questions/remarks below. [snip] With

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-16 Thread Julien Grall
Hi Stefano, On 16/12/2022 01:46, Stefano Stabellini wrote: On Thu, 15 Dec 2022, Julien Grall wrote: On 13/12/2022 19:48, Smith, Jackson wrote: Yes, we are familiar with the "secret-free hypervisor" work. As you point out, both our work and the secret-free hypervisor remove the directmap

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-15 Thread Stefano Stabellini
On Thu, 15 Dec 2022, Julien Grall wrote: > > > On 13/12/2022 19:48, Smith, Jackson wrote: > > > > Hi Xen Developers, > > > > > > Hi Jackson, > > > > > > Thanks for sharing the prototype with the community. Some > > > questions/remarks below. > > > > > > > My team at Riverside Research is

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-15 Thread Julien Grall
On 15/12/2022 19:27, Smith, Jackson wrote: Hi Julien, Hi Jackson, -Original Message- From: Julien Grall Sent: Tuesday, December 13, 2022 3:55 PM To: Smith, Jackson On 13/12/2022 19:48, Smith, Jackson wrote: Hi Xen Developers, Hi Jackson, Thanks for sharing the prototype

RE: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-15 Thread Smith, Jackson
Hi Julien, -Original Message- From: Julien Grall Sent: Tuesday, December 13, 2022 3:55 PM To: Smith, Jackson > > On 13/12/2022 19:48, Smith, Jackson wrote: > > Hi Xen Developers, > > Hi Jackson, > > Thanks for sharing the prototype with the community. Some > questions/remarks below. > >

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-14 Thread Julien Grall
Hi, On 13/12/2022 23:05, Julien Grall wrote: > On 13/12/2022 22:22, Demi Marie Obenour wrote: On Tue, Dec 13, 2022 at 08:55:28PM +, Julien Grall wrote: On 13/12/2022 19:48, Smith, Jackson wrote: Hi Xen Developers, Hi Jackson, Thanks for sharing the prototype with the community. Some

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-13 Thread Demi Marie Obenour
On Tue, Dec 13, 2022 at 11:05:49PM +, Julien Grall wrote: > Hi Demi, > > On 13/12/2022 22:22, Demi Marie Obenour wrote: > > On Tue, Dec 13, 2022 at 08:55:28PM +, Julien Grall wrote: > > > On 13/12/2022 19:48, Smith, Jackson wrote: > > > > Hi Xen Developers, > > > > > > Hi Jackson, > > >

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-13 Thread Julien Grall
Hi Demi, On 13/12/2022 22:22, Demi Marie Obenour wrote: On Tue, Dec 13, 2022 at 08:55:28PM +, Julien Grall wrote: On 13/12/2022 19:48, Smith, Jackson wrote: Hi Xen Developers, Hi Jackson, Thanks for sharing the prototype with the community. Some questions/remarks below. [snip] With

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-13 Thread Demi Marie Obenour
On Tue, Dec 13, 2022 at 08:55:28PM +, Julien Grall wrote: > On 13/12/2022 19:48, Smith, Jackson wrote: > > Hi Xen Developers, > > Hi Jackson, > > Thanks for sharing the prototype with the community. Some questions/remarks > below. [snip] > > With this technique, we protect the integrity

Re: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-13 Thread Julien Grall
On 13/12/2022 19:48, Smith, Jackson wrote: Hi Xen Developers, Hi Jackson, Thanks for sharing the prototype with the community. Some questions/remarks below. My team at Riverside Research is currently spending IRAD funding to prototype next-generation secure hypervisor design ideas on

[RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-13 Thread Smith, Jackson
Hi Xen Developers, My team at Riverside Research is currently spending IRAD funding to prototype next-generation secure hypervisor design ideas on Xen. In particular, we are prototyping the idea of Virtual Memory Fuses for Software Enclaves, as described in this paper: