TS News

News

seL4 based AltoCrypt secure communication device wins AU Army development contract
2018-02-19 Australian company Penten Services has won a $1.3m innovation contract for their seL4 based AltoCrypt secure communication device. The device will provide secure wireless communication to the army to protect it from cyber threats. Read more here.

Gernot Heiser joined editorial board of the Research Highlights section of Comm. of the ACM
2018-02-12 Gernot Heiser has joined the editorial board of the highly prestigious Research Highlights section of Communications of the ACM. 24 Research Highlights are invited per year from the most impactful work published in ACM venues across all of computer science.

Dr June Andronick gives SUE talk about how industries should start switching to verified software
2018-01-30 "Trust Your Software?" - Trustworthy Systems' group leader June Andronick has given a SUE Talk as part of the Monash Business School executive education program 'Your Leadership Voice: Women in Focus'. SUE talks are bold, passionate and inspiring talks by successful, unstoppable and empowering women changing the face of business! You can learn more about the 'Your Leadership Voice: Women in Focus' program here.

Dr June Andronick gives SUE talk about how industries should start switching to verified software

2018-01-30 "Trust Your Software?" - Trustworthy Systems' group leader June Andronick has given a SUE Talk as part of the Monash Business School executive education program 'Your Leadership Voice: Women in Focus'. SUE talks are bold, passionate and inspiring talks by successful, unstoppable and empowering women changing the face of business! You can learn more about the 'Your Leadership Voice: Women in Focus' program here.

Meltdown-Spectre amplifies call for new hardware-software contract
2018-01-29 Gernot Heiser's call for a new hardware-software contract has been amplified by the revelations of the Meltdown-Spectre attacks. ZDNet wrote an article interviewing Gernot about the current issues with the ISA and what needs to be done to help mitigate these attacks in the future. Read the article here. Gernot's paper on the the Hardware-Software contract: "For Safety’s Sake: We Need a New Hardware-Software Contract!" can be found here, as well as a more layman-friendly article published in the Conversation titled "Insecure by design – lessons from the Meltdown and Spectre debacle" can be found here.

Meltdown-Spectre amplifies call for new hardware-software contract

2018-01-29 Gernot Heiser's call for a new hardware-software contract has been amplified by the revelations of the Meltdown-Spectre attacks.

ZDNet wrote an article interviewing Gernot about the current issues with the ISA and what needs to be done to help mitigate these attacks in the future. Read the article here.

Gernot's paper on the the Hardware-Software contract: "For Safety’s Sake: We Need a New Hardware-Software Contract!" can be found here, as well as a more layman-friendly article published in the Conversation titled "Insecure by design – lessons from the Meltdown and Spectre debacle" can be found here.

Bad benchmarks bedevil boffins' infosec efforts
2018-01-16 'Benchmark crimes' understate true performance impact of security controls. Gernot Heiser recently spoke to the Register to discuss their paper about how researchers can sometimes use misleading or inaccurate numbers in measuring the performance of their software. Read the Register article here.

Show older articles