TS News

News

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.

Ramana Kumar has won the John C. Reynolds Doctoral Dissertation Award
2017-07-03 Ramana Kumar has been awarded the very prestigious John C. Reynolds Doctoral Dissertation Award for his PhD. It is awarded annually to the author of an outstanding doctoral dissertation in the area of programming languages. You can read more about the award and Ramana's thesis here.

Show older articles