Security Research Group at the University of Melbourne
Breaking, Fixing, and Making
Teaching and Research Faculty
Toby Murray
Olya Ohrimenko
Shaanan Cohney
Thuan Pham
Benjamin Rubinstein
Chitchanok Chuengsatiansup
Xingliang Yuan
News
learn more
News [24 Oct, 2024]:
Congratulations to Jiankai, Olya, Toby, Ben, and Chitchanok on their new ACM CCS 24 paper: Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget.
News [24 June, 2024]:
Congratulations to Thuan, Shaanan, and Toby on their FEIT Excellence Award in Mid-Career Research.
News [24 June, 2024]:
Congratulations to Pengbo, Olya, and Toby on their new research output: Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms. Will Appear in Formal Methods (FM) 2024.
News [28 Feb, 2024]:
Congratulations to Lianglu, Shaanan, Toby, and Thuan on their work, EDEFuzz, which receives a Distinguished Paper Award in ICSE 2024.
News [02 November, 2023 ]:
Congratulations to Faxing, Shaanan and Joseph on their paper: "NOTRY: Deniable messaging with retroactive avowal", will appear in PETS 2024.
News [25 August, 2023 ]:
Congratulations to Zhiyuan and Chitchanok on their paper: "TeeJam: Sub-Cache-Line Leakages Strike Back", will appear in CHES 2024.
News [16 July, 2023 ]:
Congratulations to Toby on his new paper: "Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications", will appear in ACM CCS 2023.
News [01 June, 2023 ]:
Congratulations to Wentao and Thuan on their new paper: "Beyond the Coverage Plateau: A Comprehensive Study of Fuzz Blockers", will appear in Proceedings of the 2nd International Fuzzing Workshop 2023.
News [01 June, 2023 ]:
Congratulations to Lianglu, Shaanan, Toby, and Thuan on their paper: "EDEFuzz: A Web API Fuzzer for Excessive Data Exposures", will appear in ICSE 2024.
News [13 April, 2023 ]:
Congratulations to Chitchanok on her new paper:"CryptOpt: Automatic Optimization of Straightline Code", will appear in ICSE 2023.
News [13 April, 2023 ]:
Congratulations to Chitchanok on her new paper:"CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives", will appear in PLDI 2023 (Distinguished Paper Award).
News [06 March, 2023 ]:
Congratulations to Zhiyuan and Chitchanok on their two research outputs:"BunnyHop: Exploiting the Instruction Prefetcher" and "Ultimate SLH: Taking Speculative Load Hardening to the Next Level" will appear in USENIX Security 2023.
News [06 March, 2023 ]:
Congratulations to Chitchanok on her recent Side-channel works. "The Gates of Time: Improving Cache Attacks with Transient Execution" will appear in USENIX Security 2023 and "Spectre Declassified: Readingfrom the Right Place at the Wrong Time" will appear in Oakland23.
News [03 March, 2023 ]:
Congratulations to Toby and Rob on their new paper:"Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems", will appear in 25th International Symposium on Formal Methods
News [01 March, 2023 ]:
Welcome our new faculty Prof. Chitchanok Chuengsatiansup. Her research interest resides in Post Quantum Cryptography, Lattice Based Cryptography, and Side-Channel Analysis.
News [22 Feb, 2023 ]:
Congratulations to Olya and Michelle on their new work "Protecting Global Properties of Datasets with Distribution Privacy Mechanisms" that got ACCEPTED in AISTATS23
New [11 Jan, 2023 ]:
Congrats to Joseph Bonneau on his FC '23 papers,"Proof of Necessary Work: Succinct State Verification with Fairness Guarantees","Limits on revocable proof systems, with applications to stateless blockchains","Bicorn: An optimistically efficient distributed randomness beacon"
Job [23 Nov, 2022 ]:
Olya is looking for Research Fellows in Machine Learning, Security or HCI. Join a team across 6 universities in Australia and the US on the Cybersecurity Assurance for Teams of Computers and Humans (CATCH) MURI project. Click to see more details. Application deadline: Jan 19, 2023 (Australian Eastern Daylight Time).
New [27 Sep, 2022 ]:
Check out the Post by Toby Murray entitled "Optus data breach: what can customers do and how can we create a safer data future?"
Job [15 Sep, 2022 ]:
Congrats to Thuan Pham on his ARC DECRA 2023 award entitled "Human-In-The-Loop Fuzzing". Thuan is looking for a Ph.D. student
New [11 Aug, 2022 ]:
Congrats to Joseph Bonneau on his Asiacrypt '22 paper,"Short-lived zero-knowledge proofs and signatures"
New [11 Aug, 2022 ]:
Congrats to Joseph Bonneau on his CCS '22 paper,"VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries"
New [11 May, 2022 ]:
We were lucky to have Clément Canonne from Uni of Sydney at our CS Cyber speaking on "Shuffle and Local DP algorithms for testing goodness-of-fit"
New [11 May, 2022 ]:
Congrats to Thuan Pham on his ISSTA '22 paper,"Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs"
New [10 May, 2022 ]:
Congrats to Shaanan Cohney on his USENIX Security '22 paper,"Watching the Watchers: bias and vulnerability in remote proctoring software"
New [05 May, 2022 ]:
Congrats to Joseph Bonneau who got his coauthored paper "Zero-Knowledge Middleboxes" accepted in Security'22 and also selected for a talk in RWC'22. Very nicely done!
New [04 May, 2022 ]:
Congrats to William Holland, Olya Ohrimenko, Tony Wirth on an AsiaCCS'22 acceptance for their paper "Efficient Oblivious Permutation via the Waksman Network". Very nicely done!
Job [04 May, 2022 ]:
Olya and Trevor Cohn are looking for a Research Fellow in Secure and Privacy-preserving Natural Language Processing. Application deadline: 10 May 2022 11:55 PM AUS Eastern Standard Time
Job [20 April, 2022 ]:
Thuan is looking for a student interested in automated security testing for embedded systems. Click to find more info.
Job [20 April, 2022 ]:
Shaanan is looking for students interested in the boundary between applied cryptography, security, consumer protection, and law.
New [17 April, 2022 ]:
Congratulations to Jinkai Jin, Olga Ohrimenko, Ben Rubinstein, and our former CIS member Eleanor Mcmurtry whose paper, "Are We There Yet? Timing and Floating-Point Attacks on Differential Privacy Systems" were accepted in S&P 22.
New [21 March, 2022 ]:
Congrats to Olya Ohrimenko, Tony Wirth, and Hao WU on their paper "Randomize the Future: Asymptotically Optimal Locally Private Frequency Estimation Protocol for Longitudinal Data" accepted to the premier theory for databases conference PODS2022 (the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems).
Ph.D. Students
Pengbo Yan
Lianglu Pan
Jiankai Jin
Faxing Wang
Wentao Gao
Zhiyuan Zhang
Postdocs
Alumni
Zheguang Zhao
Joseph Bonneau
Ni Ding
Robert Sison