News
|
seL4 teaching videos available
|
|---|
|
2020-06-02 – Yet another contribution of UNSW
Sydney to the seL4 community: This year Gernot Heiser is making
the seL4-related videos from his UNSW Advanced Operating Systems
class freely available. You’ll find them at
the UNSW
CSeLearning COMP9242 YouTube channel. 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. |
|
Announcing the seL4 Foundation whitepaper: "The seL4
Microkernel – An Introduction"
|
|---|
| 2020-05-25 This white paper provides an introduction to and overview of seL4. We explain what seL4 is (and is not) and explore its defining features. We explain what makes seL4 uniquely qualified as the operating-system kernel of choice for security- and safety- critical systems, and generally embedded and cyber-physical systems. In particular, we explain seL4’s assurance story, its security- and safety-relevant features, and its benchmark-setting performance. We also discuss typical usage scenarios, including incremental cyber retrofit of legacy systems.
You can download it at https://sel4.systems/About/ |
|
The seL4 Foundation has launched
|
|---|
|
2020-04-07 We have taken an exciting step to expand the seL4 community, by setting up the seL4 Foundation. It forms an open, transparent and neutral organisation tasked with growing the seL4 ecosystem. It brings together developers of the seL4 kernel, developers of seL4-based components and frameworks, and those adopting seL4 in real-world systems. Its focus is on coordinating, directing and standardising development of the seL4 ecosystem in order to reduce barriers to adoption, raising funds for accelerating development, and ensuring clarity of verification claims.
You can learn more by visiting the seL4 Foundation section of our newly revamped sel4.systems website, or reading Gernot's announcement blog. |
|
TS wins ACM SIGOPS Hall of Fame Award
|
|---|
|
2019-11-07 We have won the ACM Special Interest Group in
Operating Systems (SIGOPS) Hall of Fame Award for our
paper: seL4: Formal Verification of an OS Kernel published at the 2009 ACM SIGOPS Symposium on Operating Systems Principles (SOSP). This award recognises "the most influential Operating Systems papers that were published at least ten years in the past." The citation notes that "the work has become the basis for a large amount of subsequent work in provably correct systems.”. Congratulations! See more detail here. |
| 2019-11-05 Upcoming Seminar on DARPA Cyber Assurance Briefings |
|---|
|
Dr. Raymond Richards is the Program Manager for DARPA's Cyber Assured Systems Engineering (CASE) and Automated Rapid Certification Of Software (ARCOS) Programs. CASE is developing cutting-edge methods and tools for the creation of systems that are inherently resilient to cyber-attacks. ARCOS will apply data analytics to assurance evidence to develop arguments that software is fit for use.
On the Friday, 8th of November 2019 we invite you to
attend Dr. Raymond Richard's seminar. This seminar will
provide an:
Details:
Location: Seminar Room 113, Level 1, Building K17
UNSW
Date: Friday, 8th of November
2019
Time: 10:00am - 11:30am
|