Sydney Blockchain Centre
π¨π¨π£ We now have a Sydney Blockchain Centre led by @jiangshanyu.github.io . It consists of experts from our School on various topics ranging from #distributed #computing, #consensus, #formalverification, to #security and #cryptography. Check out: usyd-desci.github.io/index.html
#Blockchain #USyd
30.05.2025 03:00 β π 3 π 3 π¬ 1 π 0
Sydney Blockchain Centre
Check out our Blockchain Research Centre at @sydneycompsci.bsky.socialβ¬!
usyd-desci.github.io/index.html
We also launched the Decentralised Science Seminar Series, discussing cutting-edge research.
Weβre open to collaborations -- just drop me a message for a coffee chat -- virtual if needed.
26.05.2025 08:26 β π 1 π 0 π¬ 0 π 0
This could have a variety of applications in Central Bank Digital Currency (our work was motivated by the architecture proposed by the Bank for International Settlements and the Hong Kong Monetary Authority), trusted hardwareβbased wallets, and beyond.
17.05.2025 22:16 β π 0 π 0 π¬ 0 π 0
Our CCSβ25 paper introduces the concept of posterior security, enabling anonymity and message hiding for an already generated standard signature, even by someone who has no access to the signing key.
Now available online: eprint.iacr.org/2025/855.pdf
17.05.2025 22:08 β π 0 π 0 π¬ 1 π 0
We propose Mosaic: client-side, local shard decisions, 20,000Γ faster, 228B input vs GBs, 95% throughput retained.
07.05.2025 23:39 β π 0 π 0 π¬ 0 π 0
SOTA schemes like TxAllo (ICDEβ23) use miner-driven global optimisation, requiring miners to sync the full ledger β aiming to cut costly cross-shard txs, but undermining sharded stateβs goal of scalable performance.
07.05.2025 23:39 β π 0 π 0 π¬ 1 π 0
Joint work with my PhD student Yuanzhe Zhang and colleague Shirui Pan (Griffith Uni), towards practical sharding in blockchains.
07.05.2025 23:38 β π 0 π 0 π¬ 1 π 0
We close both gaps:
β’ Constant latency (3Ξ) in the sleepy model
β’ Graded Common Prefix (GCP): generic DAG finality in 2 steps (vs 4 in BFT)
β’ adding flexibility via extended Ebb-and-Flow
07.05.2025 23:34 β π 0 π 0 π¬ 0 π 0
SOTA DAG protocols fall into two camps:
β’ Prioritise liveness: support dynamic availability, but with non-constant latency
β’ Prioritise safety: rely on protocol-specific BFT for finality
07.05.2025 23:34 β π 0 π 0 π¬ 1 π 0
Joint work also with my former student Runchao Han (Babylon Lab) and colleague Ron Steinfeld (Monash Uni)
07.05.2025 23:32 β π 0 π 0 π¬ 1 π 0
Achilles:
β’ Removes rollback prevention from the critical path
β’ Matches CFT protocols in latency (4 steps) & linear message complexity
β’ Delivers state-of-the-art performance among TEE-assisted BFT protocols
07.05.2025 23:29 β π 1 π 0 π¬ 0 π 0
SOTA TEE-assisted BFT faces a trade-off:
β’ High performance (e.g. FlexiBFT) reduces fault tolerance
β’ Strong tolerance (e.g. Damysus) may suffer from rollback issues (e.g. if using SGX)
07.05.2025 23:28 β π 0 π 0 π¬ 0 π 0
Building on our Damysus and OneShot protocols (EuroSysβ22, IPDPSβ24), Achilles takes a key first step toward resolving rollback issues in
TEE-powered hybrid BFT systems.
07.05.2025 23:27 β π 2 π 0 π¬ 2 π 0
We are at the forefront of #mentalhealth & #neuroscience #research. We collaborate across industries & disciplines to find answers to global #health challenges.
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
Enabling the Australian research community and industry access to nationally significant digital research infrastructure, platforms, skills and data collections. Enabled by #NCRIS. Visit https://ardc.edu.au/
Crypto & Crypto @U Sydney, https://alkistang.github.io/
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
Research, campus life and all things #USYD!
Leadership for good.
CRICOS: 00026A
TEQSA: PRV12057
NLP faculty - University of Sydney
he/him
(this account is for professional topics only)
https://www.jkk.name
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts β into puns: sometimes theorems. He/him.
Professor of Computer Science (Human-Computer Interaction) @ The University of Sydney.
Immersive systems, Human-AI interaction, HCI methodology
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
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
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
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
Teaching and Learning Cryptography at Northwestern
https://wangxiao1254.github.io/