TS News

News

TS will have a strong presence at a seL4 Summit
2022-09-20 – The first Summit organised by the seL4 Foundation will take place 10–13 October in Munich, Germany. TS will have a prominent role, with a total of 5 contributions: TS Leader Gernot Heiser will deliver a keynote on the state of seL4-related research. Zoltan Kocsis will present the new seL4 Core Platform (seL4CP), and on-going work on its verification and extension of its functionality Lucy Parker will present the design and performance of the new seL4 Device Driver Framework (sDDF) Gernot will also provide an overview of seL4’s principles, abstractions and use patterns The on-site only bootcamp on the final day will have a session on the seL4CP, led by Ivan Velickovic Scott Buckley and Craig McLaughlin will complete the on-site TS delegation, with more TS folks participating remotely. For details check the Summit Program.

TS will have a strong presence at a seL4 Summit

2022-09-20 – The first Summit organised by the seL4 Foundation will take place 10–13 October in Munich, Germany. TS will have a prominent role, with a total of 5 contributions:

TS Leader Gernot Heiser will deliver a keynote on the state of seL4-related research.
Zoltan Kocsis will present the new seL4 Core Platform (seL4CP), and on-going work on its verification and extension of its functionality
Lucy Parker will present the design and performance of the new seL4 Device Driver Framework (sDDF)
Gernot will also provide an overview of seL4’s principles, abstractions and use patterns
The on-site only bootcamp on the final day will have a session on the seL4CP, led by Ivan Velickovic

Scott Buckley and Craig McLaughlin will complete the on-site TS delegation, with more TS folks participating remotely.

For details check the Summit Program.

Gernot elected Fellow of the Royal Society of NSW
2022-08-18 – TS group leader Gernot Heiser has been elected a Fellow of the Royal Society of New South Wales, the oldest learned society of the Southern hemisphere.

UK's National Cybersecurity Centre supports Trustworthy Systems research
2022-06-22 – The British government backs UNSW Sydney researchers to advance their world-leading cyber security technology, which protects critical computer systems from cyber attacks. The United Kingdom's National Cyber Security Centre (NCSC) will fund UNSW Engineering’s Trustworthy Systems research group to boost development of its seL4 microkernel technology – the world's most advanced cybersecurity technology. Scientia Professor Gernot Heiser, leader of the Trustworthy Systems team that invented the technology, said the NCSC has been evaluating seL4 for some time now, and are working with their defence industry partners to deploy it in real-world computer systems. Full UNSW media release. NCSC-supported projects include: Verification of the seL4 Core Platform Development of a provably secure general-purpose operating system as well as various improvements to the seL4 microkernel. Some of the support goes to our partner Proofcraft for work on verifying seL4 on the 64-vit Arm architecture (AArch64) and for multicore processors.

UK's National Cybersecurity Centre supports Trustworthy Systems research

2022-06-22 – The British government backs UNSW Sydney researchers to advance their world-leading cyber security technology, which protects critical computer systems from cyber attacks.

The United Kingdom's National Cyber Security Centre (NCSC) will fund UNSW Engineering’s Trustworthy Systems research group to boost development of its seL4 microkernel technology – the world's most advanced cybersecurity technology.

Scientia Professor Gernot Heiser, leader of the Trustworthy Systems team that invented the technology, said the NCSC has been evaluating seL4 for some time now, and are working with their defence industry partners to deploy it in real-world computer systems.
Full UNSW media release.

NCSC-supported projects include:

Verification of the seL4 Core Platform
Development of a provably secure general-purpose operating system
as well as various improvements to the seL4 microkernel.

Some of the support goes to our partner Proofcraft for work on verifying seL4 on the 64-vit Arm architecture (AArch64) and for multicore processors.

Gernot delivers keynote at ACM SYSTOR
2022-06-15 – TS group leader Gernot Heiser delivered a keynote at the ACM Systems and Storage Conference in Haifa, Israel. The talk, titled “Can we make trustworthy systems a reality?” examines the successes and challenges of taking the seL4 microkernel to the real world, and looks at current research done on and around seL4 at UNSW.

UNSW-SSRC collaboration to fortify systems and prevent hacking
2022-02-09 – UNSW has partnered with Secure Systems Research Center to implement ground-breaking cyber security technology. “This collaborative effort between UNSW and SSRC will aim to extend the formally verified seL4 microkernel to support tight integration of virtualised systems,” said UNSW Trustworthy Systems leader and John Lions Chair, Scientia Professor Gernot Heiser. Full UNSW announcement. Full SSRC announcement.

UNSW-SSRC collaboration to fortify systems and prevent hacking

2022-02-09 – UNSW has partnered with Secure Systems Research Center to implement ground-breaking cyber security technology.

“This collaborative effort between UNSW and SSRC will aim to extend the formally verified seL4 microkernel to support tight integration of virtualised systems,” said UNSW Trustworthy Systems leader and John Lions Chair, Scientia Professor Gernot Heiser.

Full UNSW announcement.
Full SSRC announcement.

Show older articles