Toby Murray
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Are any of these lines of work applicable for hardware designs that provide timing channel resistance? That was a topic of interest over a decade ago (e.g. dl.acm.org/doi/10.1145/...) which has only become more pressing in the post-Spectre era
A Hardware Design Language for Timing-Sensitive Information-Flow Security | ACM SIGARCH Computer Architecture News
Information security can be compromised by leakage via low-level hardware features.
One recently prominent example is cache probing attacks, which rely on timing channels
created by caches. We introdu...
dl.acm.org
January 27, 2026 at 11:12 PM
Are any of these lines of work applicable for hardware designs that provide timing channel resistance? That was a topic of interest over a decade ago (e.g. dl.acm.org/doi/10.1145/...) which has only become more pressing in the post-Spectre era
CORE does decide for each rankings round which conferences *must* get reassessed. They published that list in May 2025 for the 2026 round that just concluded. There were heaps of theory venues on that list and at the time I remember feeling a lot of unease that ha sadly been borne out since
January 24, 2026 at 2:08 AM
CORE does decide for each rankings round which conferences *must* get reassessed. They published that list in May 2025 for the 2026 round that just concluded. There were heaps of theory venues on that list and at the time I remember feeling a lot of unease that ha sadly been borne out since
What, indeed, when we have ACRA? www.unsw.edu.au/news/2022/02...
Statement on evaluating the quality of Computer Science research
ACRA is an informal alliance of The Australian National University (ANU) School of Computing, The University of Melbourne School of Computing and Information Systems, University of New South Wales Sch...
www.unsw.edu.au
January 23, 2026 at 11:21 PM
What, indeed, when we have ACRA? www.unsw.edu.au/news/2022/02...
Sure. Code and data files (downloaded from the CORE rankings portal) available here: gist.github.com/tobycmurray/...
January 23, 2026 at 6:51 AM
Sure. Code and data files (downloaded from the CORE rankings portal) available here: gist.github.com/tobycmurray/...
Sorry, Sharon. It wasn't my intent to diminish your work bringing this story to light.
January 22, 2026 at 12:58 AM
Sorry, Sharon. It wasn't my intent to diminish your work bringing this story to light.
Here are the 4613-associated venues that changed rank. 2/2
January 21, 2026 at 6:43 AM
Here are the 4613-associated venues that changed rank. 2/2
Congratulations from a fellow South Australian graduate.
Aside: I first heard of you in early 2003 while taking a computer vision class taught by Mike Brooks at Adelaide Uni, which was also available to Flinders students. I had no idea at that time that you’d studied there.
Aside: I first heard of you in early 2003 while taking a computer vision class taught by Mike Brooks at Adelaide Uni, which was also available to Flinders students. I had no idea at that time that you’d studied there.
January 19, 2026 at 2:37 AM
Congratulations from a fellow South Australian graduate.
Aside: I first heard of you in early 2003 while taking a computer vision class taught by Mike Brooks at Adelaide Uni, which was also available to Flinders students. I had no idea at that time that you’d studied there.
Aside: I first heard of you in early 2003 while taking a computer vision class taught by Mike Brooks at Adelaide Uni, which was also available to Flinders students. I had no idea at that time that you’d studied there.
Super cool. This seems to bring together — very cleanly — various strands that have been floating around for the last few years.
January 11, 2026 at 11:15 PM
Super cool. This seems to bring together — very cleanly — various strands that have been floating around for the last few years.
Will AGI still forget half of what I told it 5 minutes ago when it has to compact its context?
January 11, 2026 at 9:45 AM
Will AGI still forget half of what I told it 5 minutes ago when it has to compact its context?
IIUC you talk about generation and verification as fundamental steps of learning and programming alike. Where does design fit in?
January 7, 2026 at 12:30 PM
IIUC you talk about generation and verification as fundamental steps of learning and programming alike. Where does design fit in?
Batmania would’ve been particularly fitting for the future home of the MCG
December 31, 2025 at 11:16 PM
Batmania would’ve been particularly fitting for the future home of the MCG
What blows me away is that the regulatory environment is so poor that this defective design trend was able to persist for decades. How many accidents did it contribute to during that time? Why do we let tech idiots have this much power over us?
introvert.com
was.to
December 28, 2025 at 11:22 PM
What blows me away is that the regulatory environment is so poor that this defective design trend was able to persist for decades. How many accidents did it contribute to during that time? Why do we let tech idiots have this much power over us?