TS News

News

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.

CDDC wins two national iAwards
2017-08-31 The Cross-Domain Desktop Compositor (CDDC) is a fruitful collaboration of Trustworthy Systems with DST Group. After having won three state-level iAwards in South Australia earlier in the year, it has now won the national awards in the categories Infrastructure & Platforms Innovation of the Year and Research & Development Project of the Year. The iAwards are an annual program of the Australian Information Industry Association (aiia) that recognises and rewards technology innovations that have the potential to, or are already having, a positive impact on the community.

CDDC wins two national iAwards

2017-08-31 The Cross-Domain Desktop Compositor (CDDC) is a fruitful collaboration of Trustworthy Systems with DST Group. After having won three state-level iAwards in South Australia earlier in the year, it has now won the national awards in the categories Infrastructure & Platforms Innovation of the Year and Research & Development Project of the Year. The iAwards are an annual program of the Australian Information Industry Association (aiia) that recognises and rewards technology innovations that have the potential to, or are already having, a positive impact on the community.

Congratulations to Dr. Legg!
2017-07-04 Alex Legg has been awarded his PhD for his thesis entitled "A Counterexample Guided Method for Reactive Synthesis". Alex is now working for Google.

Show older articles