Posts from the ‘Formal methods’ Category

• Recent Posts

  • Benchmarking Crimes Meet Formal Verification
  • GoFetch: Will people ever learn?
  • ML accelerates the cyber arms race — we need real security more than ever
  • TS in 2022: We’re Back!
  • A Story of Betrayal: CSIRO’s War On TS
  • Dishonest and Contradictory: Fact-Checking CSIRO’s Communications about the Trustworthy Systems Group
  • Where is seL4 Heading?
  • seL4 Integrity Enforcement Proved for RISC-V
  • There’s more to it, Dr Marshall!
  • “Trustworthy Systems Research is Done” – Are You Kidding, CSIRO?

• Categories

  • academia
  • CSIRO
  • embedded systems
  • Formal methods
  • Open Kernel Labs
  • operating systems and virtualization
  • politics and society
  • safety and security
  • seL4
  • Trustworthy Systems

• Archives

  • April 2025
  • April 2024
  • November 2022
  • March 2022
  • February 2022
  • November 2021
  • September 2021
  • August 2021
  • July 2021
  • May 2021
  • November 2020
  • June 2020
  • April 2020
  • March 2020
  • December 2019
  • November 2019
  • August 2019
  • March 2019
  • August 2018
  • February 2018
  • June 2016
  • April 2016
  • April 2015
  • February 2015
  • December 2014
  • November 2014
  • October 2014
  • September 2014
  • August 2014
  • July 2014
  • May 2013
  • April 2013
  • March 2013
  • October 2012
  • September 2012
  • June 2012
  • February 2012
  • January 2012
  • September 2011
  • November 2010
  • October 2010
  • August 2009
  • July 2009
  • April 2009
  • March 2009
  • February 2009
  • July 2008
  • April 2008
  • March 2008
  • February 2008
  • January 2008