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@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm ________________________________ From: Michal Podhradsky <mpodhradsky@galois.com> Sent: Wednesday, 21 June 2023 2:02 AM To: Birgit Brecknell <birgit.brecknell@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@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@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm