- Announce - lists.sel4.systems

seL4 Foundation welcomes new member Penten
by Announcements about seL4 -- low volume list 08 Feb '21

08 Feb '21

Dear seL4 community, On behalf of the seL4 Foundation I’m please to welcome Penten Pty Ltd as our newest member. Penten is based in Canberra, Australia, and specialises in secure communications technology and artificial intelligence. Penten has been developing seL4-based products for a number of years, some of which are in daily use in multiple defence forces. Gernot Heiser Chairman, seL4 Foundation

1 0

seL4 YouTube Channel
by Announcements about seL4 -- low volume list 31 Dec '20

31 Dec '20

Dear seL4 community, As some of you have already noticed, we now have a YouTube channel run by the seL4 Foundation: https://www.youtube.com/channel/UCIqVY1XFPOPIZ1z2A9TrmMA/about. It presently has two playlists, one with the recordings of the seL4 material from this year’s UNSW Advanced Operating Systems course, and one with seL4 Summit talks from Trustworthy Systems. More to come, enjoy Gernot

1 0

Talk at RISC-V Summit
by Announcements about seL4 -- low volume list 05 Dec '20

05 Dec '20

Dear seL4 community, I’d like to let you know that I’ll be talking at the RISC-V Summit next week: https://l.feathr.co/landing-page--risc-v-2020---speakers-gernot-heiser Gernot

1 0

November release
by Announcements about seL4 -- low volume list 09 Nov '20

09 Nov '20

Announcing the releases of seL4, CAmkES and CapDL under the seL4 Foundation. Below you can find links to release notes with updates to other supporting projects to come before the end of the year. Versioned Releases: * seL4 12.0.0 ~ https://docs.sel4.systems/releases/sel4/12.0.0 * CAmkES 3.9.0 ~ https://docs.sel4.systems/releases/camkes/camkes-3.9.0 * CapDL 0.2.0 ~ https://docs.sel4.systems/releases/capdl/0.2.0 For more information on who we are, what we do and how to contact us see: https://sel4.systems/Foundation/ https://docs.sel4.systems/processes/#contact 🙂

1 0

Invitation to Attend the 3rd seL4 Summit
by Announcements about seL4 -- low volume list 15 Oct '20

15 Oct '20

Dear seL4 Community, The 3rd seL4 Summit will take place (virtually) on 15–18 November (US East Coast time). The program features a tutorial and 3 days packed with great talks and panels, see https://na.eventscloud.com/file_uploads/a236a51b4b76609e82fcc316992b73f4_20… Presentations will be streamed according to the schedule and available for download right after, and there will be an on-line discussion forum. Registration is only $80US: https://na.eventscloud.com/ereg/index.php?eventid=579066& Gernot

1 0

seL4 Summit 2020 - Call for Presentations *extended* to Sep 15.
by Announcements about seL4 -- low volume list 10 Sep '20

10 Sep '20

The deadline for abstracts for the 2020 seL4 Summit Call for Presentations has been extended to September 15, 2020. Correspondingly, the Author Notification date has also been extended to September 30, 2020. A copy of the Call for Presentations with the revised dates is include below. Dear colleagues, You are cordially invited to submit an abstract for consideration for presentation during the 3rd Annual seL4 Summit (supported by DARPA and AFRL), to be held virtually on November 15-18, 2020. seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The seL4 Summit is part of an effort to establish a Center of Excellence (COE) focused on seL4 ecosystems, aiming to mature the seL4 technology, stabilize the software distribution, train and expand the user base, and develop needed capabilities. The development of seL4, originally developed by NICTA and now supported by CSIRO’s Data61 in Australia, and the development of the COE supported by the Defense Advanced Research Projects Agency (DARPA), share a common focus where both efforts aim to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. For information about the First and Second seL4 Summit, please visit the Summit website at https://www.sel4-us.org/summit2020. The Organizing Committee invite researchers and practitioners from academia, industry, and government to present work of interest to the seL4 community during the Third Annual seL4 Summit. The abstract should include a title, name of the presenter, organization, a brief description of the work (or work in progress), and its relevance to seL4 and building assured systems. Interested topics include, but are not limited to, the following: - OS Kernel Design - Building Assured Systems - seL4 Center of Excellence and Ecosystem - Government Efforts - Capabilities and Applications based on a Microkernel - Embedded and Cyber Physical System - Formal Verification and Tools - Trusted Execution Environment - Correctness by Construction - Secure and Resilient Systems - Maturity, Assurance, and Transition - Artifacts and Certification Important Dates - Call for Presentation Submissions Due: originally 08/28/2020 extended to 09/15/2020 - Author Notification Due: originally 09/18/2020 extended to 09/30/2020 - Final Video (with sound) Presentation Due: 10/23/2020 Extended Abstracts for Presentation should be sent to Summit2020(a)sel4-us.org. seL4 Center of Excellence Organizing Committee - Douglas, Schafer AFRL - Jason Li, Siege Tech - Jerry Dussault, Griffiss Inst. - June Andronick, Data61 - Raymond Richards, DARPA I2O - Robbie VanVossen, DornerWorks - Renato Levy, IAI - Todd Carpenter, Adventium Labs

1 0

UNSW seL4 teaching videos available
by Announcements about seL4 -- low volume list 02 Aug '20

02 Aug '20

Dear seL4 community, I’m pleased to announce yet another contribution of UNSW Sydney to the seL4 community: This year I’m making the seL4-related videos from my UNSW Advanced Operating Systems class freely available. You’ll find them at the UNSW CSeLearning COMP9242 YouTube channel: https://www.youtube.com/playlist?list=PLbSaCpDlfd6qLbEsKquVo3--0gwYBmrUV At present there are the first two modules, which provide some background on microkernels and seL4, and discuss the seL4 API. More material will show up over the next two months. The complete course material, including all lecture slides, the project spec and code, are available, as always, from the COMP9042 web site: https://www.cse.unsw.edu.au/~cs9242/current/ Enjoy, Gernot

1 1

seL4 Summit 2020 - Call for Presentation
by Announcements about seL4 -- low volume list 28 Jul '20

28 Jul '20

Dear colleagues, You are cordially invited to submit an abstract for consideration for presentation during the 3rdAnnual seL4 Summit (supported by DARPA and AFRL), to be held virtually on November 15-18, 2020. seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The seL4 Summit is part of an effort to establish a Center of Excellence (COE) focused on seL4 ecosystems, aiming to mature the seL4 technology, stabilize the software distribution, train and expand the user base, and develop needed capabilities. The development of seL4 is supported by NICTA in Australia, and the development of the COE is being supported by the Defense Advanced Research Projects Agency (DARPA), both efforts aim to create technology for the construction of high-assurance cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. For information about the First and Second seL4 Summit, please visit the Summit website at https://www.sel4-us.org/summit2020. The Organizing Committee invite researchers and practitioners from academia, industry, and government to present work of interest to the seL4 community during the Third Annual seL4 Summit. The abstract should include a title, name of the presenter, organization, a brief description of the work (or work in progress), and its relevance to seL4 and building assured systems. Interested topics include, but are not limited to, the following: * OS Kernel Design * Building Assured Systems * seL4 Center of Excellence and Ecosystem * Government Efforts * Capabilities and Applications based on a Microkernel * Embedded and Cyber Physical System * Formal Verification and Tools * Trusted Execution Environment * Correctness by Construction * Secure and Resilient Systems * Maturity, Assurance, and Transition * Artifacts and Certification Important Dates * Call for Presentation Submissions Due: 08/28/2020 * Author Notification Due: 09/18/2020 * Final Video (with sound) Presentation Due: 10/23/2020 Extended Abstracts for Presentation should be sent to Summit2020(a)sel4-us.org<mailto:Summit2020@sel4-us.org>. seL4 Center of Excellence Organizing Committee Douglas Schafer AFRL Jason Li Siege Tech Jerry Dussault Griffiss Inst. June Andronick Data61 Raymond Richards DARPA I2O Robbie VanVossen DornerWorks Renato Levy IAI Todd Carpenter Adventium Labs

1 0

The seL4 Foundation Welcomes Adventium Labs!
by Announcements about seL4 -- low volume list 22 Jul '20

22 Jul '20

Dear seL4 community, We’re happy to announce the newest member of the seL4 Foundation: Minneapolis-based company Adventium Labs. Adventium Labs develops solutions for safe and secure software-intensive complex systems, with specialties in separation architectures, model-based system engineering, and mathematical analysis technologies. They are leveraging these capabilities to extend seL4 into safety and security critical industries, including medical devices, defense and commercial avionics, and industrial control. Gernot seL4 Foundation Chair

1 0

RISC-V (RV64) is the third ISA with verified seL4
by Announcements about seL4 -- low volume list 09 Jun '20

09 Jun '20

Dear seL4 community, I’m extremely pleased to announce that we have completed the functional correctness proof of seL4 on the RV64 ISA. Congratulations to our awesome Proof Engineering Team on achieving this major milestone for seL4! And many thanks to HENSOLDT Cyber for making it possible. My blog discusses provides a bit more context for this announcement: https://microkerneldude.wordpress.com/2020/06/09/sel4-is-verified-on-risc-v/ What we have now is the refinement proof from the seL4 formal spec to the C implementation, putting RV64 on the same level as x64 in terms of seL4 verification. The binary verification, which extends this refinement to the binary code of the kernel is progressing, stay tuned for more news on that in the foreseeable future. Gernot for the Trustworthy Systems team and the seL4 Foundation

1 0