TS News

News

New partnership formed to protect human rights organisations from cyber-attacks
2021-11-29 – UNSW Sydney has signed a research agreement with Swiss technology company Neutrality to develop cyber network safeguards for organisations whose integrity and trust is essential in protecting people. “This project aims at protecting communications of humanitarian and other non-government organisations from cyber-attacks, which often result in loss of lives”, said UNSW Trustworthy Systems leader and John Lions Chair, Scientia Professor Gernot Heiser. “Trustworthy Systems will work with Neutrality in the development of such secure communication, leveraging the mathematically proved security enforcement provided by our seL4 microkernel technology.” Full UNSW announcement.

New partnership formed to protect human rights organisations from cyber-attacks

2021-11-29 – UNSW Sydney has signed a research agreement with Swiss technology company Neutrality to develop cyber network safeguards for organisations whose integrity and trust is essential in protecting people.

“This project aims at protecting communications of humanitarian and other non-government organisations from cyber-attacks, which often result in loss of lives”, said UNSW Trustworthy Systems leader and John Lions Chair, Scientia Professor Gernot Heiser. “Trustworthy Systems will work with Neutrality in the development of such secure communication, leveraging the mathematically proved security enforcement provided by our seL4 microkernel technology.”

Full UNSW announcement.

Alaska Center for Energy Power joins the Laot team
2021-10-27 – The Alaska Center for Energy and Power (ACEP) has joined the Laot project team. ACEP will conduct tests and demonstrations in their Fairbanks facility.

First release of the seL4 Core Platform
2021-10-22 – The seL4 Core Platform (seL4CP) has been proposed in an seL4 RFC. It was co-designed and -implemented with the Laot project and has now been publicly released for feedback and (eventual) TSC endorsement.

Gernot Heiser and ETH Zurich co-authors win Best Paper award at DATE'21
2021-10-10 The paper “Microarchitectural Timing Channels and their Prevention on an Open-Source 64-bit RISC-V Core” by Nils Wistoff, Moritz Schneider, Frank K. Gurkaynak, Luca Benini and Gernot Heiser won Best Paper at the Tier-1 Design, Automation and Test in Europe (DATE) conference.

Gernot explains why seL4 is safe – and the role of TS
2021-09-28 – Following CSIRO's abandoning of TS and the seL4 technology TS developed, the seL4 community and the seL4 Foundation have grown a lot. This has led to concerns that the broader participation might have the potential to undermine the integrity of seL4. In his latest blog, Gernot explains why there is no reason for such concern, and how TS is re-building to continue driving the research that keeps seL4 define the state of the art.

Gernot explains why seL4 is safe – and the role of TS

2021-09-28 – Following CSIRO's abandoning of TS and the seL4 technology TS developed, the seL4 community and the seL4 Foundation have grown a lot. This has led to concerns that the broader participation might have the potential to undermine the integrity of seL4. In his latest blog, Gernot explains why there is no reason for such concern, and how TS is re-building to continue driving the research that keeps seL4 define the state of the art.

Show older articles