News

shout 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.

shout News [24 June, 2024]:

Congratulations to Thuan, Shaanan, and Toby on their FEIT Excellence Award in Mid-Career Research.

shout 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.

shout News [28 Feb, 2024]:

Congratulations to Lianglu, Shaanan, Toby, and Thuan on their work, EDEFuzz, which receives a Distinguished Paper Award in ICSE 2024.

shout News [02 November, 2023 ]:

Congratulations to Faxing, Shaanan and Joseph on their paper: "NOTRY: Deniable messaging with retroactive avowal", will appear in PETS 2024.

shout News [25 August, 2023 ]:

Congratulations to Zhiyuan and Chitchanok on their paper: "TeeJam: Sub-Cache-Line Leakages Strike Back", will appear in CHES 2024.

shout 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.

shout 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.

shout 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.

shout News [13 April, 2023 ]:

Congratulations to Chitchanok on her new paper:"CryptOpt: Automatic Optimization of Straightline Code", will appear in ICSE 2023.

shout 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).

shout 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.

shout 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.

shout 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

shout 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.

shout 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

shout 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"

shout 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).

shout 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?"

shout 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

shout New [11 Aug, 2022 ]:

Congrats to Joseph Bonneau on his Asiacrypt '22 paper,"Short-lived zero-knowledge proofs and signatures"

shout New [11 Aug, 2022 ]:

Congrats to Joseph Bonneau on his CCS '22 paper,"VeRSA: Verifiable Registries with Efficient Client Audits from RSA Authenticated Dictionaries"

shout 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"

shout 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"

shout New [10 May, 2022 ]:

Congrats to Shaanan Cohney on his USENIX Security '22 paper,"Watching the Watchers: bias and vulnerability in remote proctoring software"

shout 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!

shout 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!

shout 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

shout Job [20 April, 2022 ]:

Thuan is looking for a student interested in automated security testing for embedded systems. Click to find more info.

shout Job [20 April, 2022 ]:

Shaanan is looking for students interested in the boundary between applied cryptography, security, consumer protection, and law.

shout 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.

shout 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).