June 2023 - Summit-pc - lists.sel4.systems

(seL4 summit) program is out, please share it! :)
by June Andronick (seL4 Foundation) 26 Jun '23

26 Jun '23

Dear seL4 summit PC, As you may have seen, we have announced the program for the seL4 summit 2023. Please share it in your circles! https://sel4.systems/news/2023#summit-program-2023 https://www.linkedin.com/posts/sel4_program-of-the-sel4-summit-2023-activit… Thanks! June

1 0

Fw: seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4
by Birgit Brecknell 23 Jun '23

23 Jun '23

Dear PC Richard Skowyra supplied further info on their submission, as requested. Please see below. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm ________________________________ From: Skowyra, Richard - 0553 - MITLL <Richard.Skowyra(a)ll.mit.edu> Sent: Thursday, 22 June 2023 11:03 PM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Cc: summit(a)sel4.systems <summit(a)sel4.systems> Subject: RE: seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4 Hi Birgit, Sorry for the delayed response. Here’s the info you requested: Action item: The PC would like to understand the status of the work in your abstract. Are you reporting on completed work or is this more of a work in progress talk? This will help us to schedule the presentation and place it in the program. * The work we’re reporting on is completed, but it is a part of a larger in-progress effort to build a secure software stack for high-assurance applications. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. * Title: Magnetite: Rust-Based OS Services for seL4 * Presenters: Richard Skowyra, Juliana Furgala, or Samuel Jero. We’ll let you know who is presenting by mid-July. Best, Rick Skowyra From: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Sent: Thursday, June 8, 2023 6:33 PM To: Skowyra, Richard - 0553 - MITLL <Richard.Skowyra(a)ll.mit.edu> Cc: summit(a)sel4.systems Subject: [EXT] seL4 summit 2023: Magnetite: Rust-Based OS Services for seL4 Dear Richard We are pleased to notify you that your submission Magnetite: Rust-Based OS Services for seL4 has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question ZjQcmQRYFpfptBannerStart This Message Is From an External Sender This message came from outside the Laboratory. ZjQcmQRYFpfptBannerEnd Dear Richard We are pleased to notify you that your submission Magnetite: Rust-Based OS Services for seL4 has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question time). (The exact timing might change slightly when we finalise the program.) Action item: The PC would like to understand the status of the work in your abstract. Are you reporting on completed work or is this more of a work in progress talk? This will help us to schedule the presentation and place it in the program. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. Action item: You will receive further practical information soon, e.g. regarding the talk schedule, uploading abstracts, etc. Please look out for an email from the Linux Foundation with this information. The seL4 summit 2023 will be an in-person event, so speakers are expected to present in person (unless there are last minute unforeseen circumstances). If you are unable to attend in-person, please let us know as soon as possible and please try to find someone who could present in person on your behalf. Thanks for your submission and we look forward to a successful summit! Kind regards Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

Fw: seL4 summit 2023: Incremental assurance for a network stack
by Birgit Brecknell 21 Jun '23

21 Jun '23

Dear PC Michal Podhradsky supplied further info on their submission, as requested. Please see below. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm ________________________________ From: Michal Podhradsky <mpodhradsky(a)galois.com> Sent: Wednesday, 21 June 2023 2:02 AM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Subject: Re: seL4 summit 2023: Incremental assurance for a network stack Hello Birgit, sorry about the delay. To your questions: Status of the work: It is work-in-progress. Because of the project funding and schedule, the verification work starts in the beginning of July and goes until September. I understand that makes presenting more complicated, but I believe it is better to announce our results as early as we have them, rather than waiting for the 2024 summit. Happy to chat more if you prefer? Title: Incremental assurance for a Rust network stack Presenter: [Michal Podhradsky, Tiago Ferreira, Ben Hamlin, Ed Sandberg, Mike Dodds] I haven't received any follow up instructions from the Linux Foundation - how would you like me to update the abstract? Regards Michal On Thu, Jun 8, 2023 at 3:37 PM Birgit Brecknell <birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>> wrote: Dear Michal We are pleased to notify you that your submission Incremental assurance for a network stack has been accepted for the seL4 Summit 2023. The PC thought that your submission will be best as a short talk (15 mins, including question time). (The exact timing might change slightly when we finalise the program.) Action item: The PC requests more insight on the status of the work. Please provide more details in the abstract. Action item: Please send your finalised title and name of presenter asap (by 15 Jun 22), so that we can advertise the program. If you are not sure about the presenter yet, it is ok to have a list of presenters for now. Action item: You will receive further practical information soon, e.g. regarding the talk schedule, uploading abstracts, etc. Please look out for an email from the Linux Foundation with this information. The seL4 summit 2023 will be an in-person event, so speakers are expected to present in person (unless there are last minute unforeseen circumstances). If you are unable to attend in-person, please let us know as soon as possible and please try to find someone who could present in person on your behalf. Thanks for your submission and we look forward to a successful summit! Kind regards Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

1 0

Fw: seL4 summit 2023: seL4 and how to make working with hardware enjoyable
by Birgit Brecknell 21 Jun '23

21 Jun '23

Dear PC Ed Sandberg supplied further info on their submission, as requested. Please see below. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm ________________________________ From: ed sandberg <ed.sandberg(a)galois.com> Sent: Wednesday, 21 June 2023 6:17 AM To: Birgit Brecknell <birgit.brecknell(a)unsw.edu.au> Subject: Re: seL4 summit 2023: seL4 and how to make working with hardware enjoyable [You don't often get email from ed.sandberg(a)galois.com. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ] Hello Birgit, Sorry for the late reply. Responses inline. On 6/8/23 17:36, Birgit Brecknell wrote: > Dear Ed > > We are pleased to notify you that your submission *seL4 and how to make > working with hardware enjoyable *has been accepted for the seL4 Summit 2023. > > The PC thought that your submission will be best as a short talk (15 > mins, including question time). (The exact timing might change slightly > when we finalise the program.) > > *Action item:* The PC is interested in seeing this published as a cook > book/recipe. Please provide more details in the abstract. The work is ongoing but we will have more concrete results in time for the summit. When ready I would be happy to provide a Makefile for you to publish so anyone can re-create my experiments. > > *Action item:* Please send your finalised title and name of presenter > asap (by 15 Jun 22), so that we can advertise the program. If you are > not sure about the presenter yet, it is ok to have a list of presenters > for now. Title: seL4 and how to make working with hardware enjoyable Presenter: [Ed Sandberg, Michal Podhradsky, Tiago Ferreira, Ben Hamlin, Mike Dodds] > > *Action item:* You will receive further practical information soon, e.g. > regarding the talk schedule, uploading abstracts, etc. Please look out > for an email from the Linux Foundation with this information. > > The seL4 summit 2023 will be an in-person event, so speakers are > expected to present in person (unless there are last minute unforeseen > circumstances). If you are unable to attend in-person, please let us > know as soon as possible and please try to find someone who could > present in person on your behalf. > > Thanks for your submission and we look forward to a successful summit! > > Kind regards > Birg, on behalf of the PC Chairs Ihor and Darren, and the whole PC committee > > --- > > *Dr. Birgit Brecknell* > > Project Officer > > Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au > <mailto:birgit.brecknell@unsw.edu.au> > > seL4 Foundation, birgit(a)sel4.systems <mailto:birgit@sel4.systems> > > 0433 880 571 > > *Mon *9am-5pm > > *Wed*9am-12pm > > *Fri *9am-5pm > > -- Edward Sandberg Galois, Inc

1 0

seL4 summit 2023: draft program for comment
by Birgit Brecknell 19 Jun '23

19 Jun '23

Dear PC Please find attached the draft program for the seL4 summit 2023. We plan to announce the program on 16 Jun. Please send any feedback/comments by 15 Jun. cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm

3 6

summit 2023 panel session
by Birgit Brecknell 16 Jun '23

16 Jun '23

Dear PC As part of the summit, we'll be running a panel session "OS on seL4: so many options!" We compiled a list of groups who could send representatives: UNSW, Google, Gapfruit, Magnetite (MIT), Kry10, Hensoldt Cyber. We will reach out to the groups to ask for representatives (one per group) to sit on the panel. Please let us know by Wed 21 Jun if you would like us to modify the above, or if you have any further suggestions. cheers Birg, on behalf of the chairs, Darren and Ihor --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0