ICMY: this December, the School of Computer Science at #USyd will host an absolutely incredible line-up of speakers, jointly with the SMRI (@sydmathinst.bsky.social) and the Faculty of Engineering!
ποΈ Mon 1: Bob Tarjan
ποΈ Tue 2: Moti Yung
ποΈ Wed 10: Shafi Goldwasser
Details and how to attend below! β΄
23.11.2025 21:33 β π 6 π 5 π¬ 1 π 0
e-petitions
e-petitions
My petition to the π¦πΊ Australian government: make part-time PhD students' stipends tax exempt!
π Read and sign here: www.aph.gov.au/e-petitions/...
β° Deadline: October 1
03.09.2025 05:54 β π 19 π 18 π¬ 4 π 3
Lastly, a new scoring system that tracks evasion behaviour using our algorithm would be more fun, and a lot more effective.
18.07.2025 15:40 β π 0 π 0 π¬ 0 π 0
We show how easy it is to slip through. But also, how traceable those patterns are if you actually look.
I believe:
1. Static lists arenβt enough.
2. We need adaptive tagging.
3. Sanctions should follow funds, not addresses.
4. Enforcement has to think like adversaries β not just regulators.
18.07.2025 15:40 β π 0 π 0 π¬ 1 π 0
Some services did "apply" sanctions, but it felt more like checking a box than actually stopping anything.
Sanctioning addresses without understanding the flow of money is like putting up a roadblock and hoping nobody finds a detour.
18.07.2025 15:40 β π 0 π 0 π¬ 1 π 0
Within weeks, the vast majority had been moved out. Through new wallets. Through obfuscation. Through patterns so fast and automated, you'd think it was part of an exploit.
18.07.2025 15:40 β π 0 π 0 π¬ 1 π 0
Evasion Under Blockchain Sanctions
Together with Endong Liu, Mark Ryan, and Pascal Berrang, we studied this in our new paper: Evasion Under Blockchain Sanctions (arxiv.org/html/2507.11...)
Spoiler: the funds didnβt stay put. Not even close.
18.07.2025 15:40 β π 0 π 0 π¬ 1 π 0
Iβve always wondered: do blockchain sanctions actually work?
You know the drill π₯± someone adds an address to the OFAC list, wallets and frontends start blocking it, some headlines pop upβ¦ and then what? Do the funds actually stop moving?
18.07.2025 15:40 β π 0 π 0 π¬ 1 π 0
At last, a promising use for AI agents: crypto theft
: Boffins outsmart smart contracts with evil automation
Arthur Gervais, professor in information security at UCL, and Liyi Zhou, a lecturer in computer science at USYD, have developed an AI agent system called A1 that uses various AI models from β¦ to develop exploits for Solidity smart contracts.
www.theregister.com/2025/07/10/a...
10.07.2025 23:13 β π 1 π 1 π¬ 0 π 0
Part human, part bot, 100% UNOFFICIAL. I track Australian Research Council grant outcomes. Bot checks outcomes announcements each min. DMs open. FAQ: https://tinyurl.com/ARC-Tracker-FAQ
I research distributed systems.
https://aviv.yai.sh
Professor of Computer Science (Human-Computer Interaction) @ The University of Sydney.
Immersive systems, Human-AI interaction, HCI methodology
NLP faculty - University of Sydney
he/him
(this account is for professional topics only)
https://www.jkk.name
Lecturer at the University of Sydney, Australia. ΰ΄Άΰ΅ΰ΄°ΰ΅ΰ΄¦ΰ΅ΰ΄΅ΰ΄Ώ's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Crypto & Crypto @U Sydney, https://alkistang.github.io/
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts β into puns: sometimes theorems. He/him.
Lecturer @sydney.edu.au @sydneycompsci.bsky.social
Previously Post Doc at @NttResearch, CMU @CyLab. PhD from @UniFAU. Cryptography, Fairness, Blockchain, Cryptocurrency
Webpage: http://aravinda-thyagarajan.com
Associate Professor @ University of Sydney
Building resilient, trustworthy, and scalable systems via dependable computing, decentralised systems, and security protocols.
Research: Blockchain, Consensus, Security & Privacy
π jiangshanyu.github.io
Assoc.Prof. in Complex Systems @sydneycompsci.bsky.social @sydney.edu.au. I use information theory to research information processing in complex systems in nature, complex networks, computational neuroscience, etc. Author of JIDT software. Views my own/RTs
TiΔnchΓ©ng MΓ i | MPhil Student @sydneycompsci.bsky.social | Scalable DKG & Consensus | Sydney Blockchain Centre https://usyd-desci.github.io | Sydney Algorithms Group Alumni https://usyd-sact.github.io
The official account of the School of Computer Science at the University of Sydney.
π https://www.sydney.edu.au/engineering/schools/school-computer-science.html
official Bluesky account (check usernameπ)
Bugs, feature requests, feedback: support@bsky.app
