09 Dec 2025
The Centre of Excellence in Mathematics for Quantum Era Security and Trust (MathQuEST) is funded under the Australian Research Council Centres of Excellence
09 Dec 2025
The talk Formosa Crypto: End-to-end formally verified crypto software will appear at RWC 2026
17 Nov 2025
I will serve on the PC at WOOT 2026
01 Oct 2025
I will serve on the PC at EuroS&P 2026
29 Sep 2025
The paper Fish and Chips: On the Root Causes of Co-located Website-Fingerprinting Attacks will appear in IEEE TDSC
01 Sep 2025
I join the Hasso Plattner Institute as a Professor of Cybersecurity
10 Jun 2025
I will serve on the PC at RWC 2026
28 May 2025
I will serve as the Poster Chair at CHES 2025
05 May 2025
I will give a research talk Testing Side-channel Security of Cryptographic Implementations against Future Microarchitectures at ACSD 2025
02 May 2025
I will serve on the PC at Asiacrypt 2025
07 Apr 2025
The paper Slice+Slice Baby: Generating Last-Level Cache Eviction Sets in the Blink of an Eye will appear at IEEE S&P 2025
03 Mar 2025
I will serve on the PC at SPIQE
28 Feb 2025
I will give an invited talk CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives at CASCADE 2025
14 Feb 2025
The paper Protecting Cryptographic Code Against Spectre-RSB will appear at ASPLOS 2025
24 Jan 2025
The talks Stealing Cryptographic Keys with Weird Gates and Testing Side-Channel Security of Cryptographic Implementations against Future Microarchitectures will appear at RWC 2025
15 Jan 2025
The paper Leaky McEliece: Secret Key Recovery From Highly Erroneous Side-Channel Information will appear at CHES 2025
08 Jan 2025
I will give an invited talk (In)security is not an option at IV Insight Technology
05 Dec 2024
I will serve on the PC at ACM CCS 2025
29 Nov 2024
I will serve on the Area Editors at Communications in Cryptology 2025
07 Nov 2024
The project CryptOpt: Verified and High-Performance Cryptographic Code won the First Prize at the 10. Deutscher IT-Sicherheitspreises 2024
04 Nov 2024
I join The University of Klagenfurt as a Professor of Cybersecurity
16 Oct 2024
The paper Testing Side-Channel Security of Cryptographic Implementations Against Future Microarchitectures received a Distinguished Paper Award at CCS 2024
24 Sep 2024
The project CryptOpt: Verified and High-Performance Cryptographic Code is among the finalists of the 10. Deutscher IT-Sicherheitspreises 2024
30 Aug 2024
I will serve on the PC at Euro S&P 2025
10 Jul 2024
The paper Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget will appear at TPDP 2024
04 Jul 2024
I will serve on the PC at CHES 2025
12 Jun 2024
The paper Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget will appear at CCS 2024
20 May 2024
I will give an invited talk CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives at Future Communications Workshop
12 May 2024
I will serve on the PC at Asiacrypt 2024
27 Apr 2024
The paper Testing Side-Channel Security of Cryptographic Implementations Against Future Microarchitectures will appear at CCS 2024
15 Apr 2024
I will serve on the PC at ArcticCrypt 2025
08 Apr 2024
The paper SoK: Can We Really Detect Cache Side-Channel Attacks by Monitoring Performance Counters? will appear at AsiaCCS 2024
18 Mar 2024
The paper Evict+Spec+Time: Exploiting Out-of-Order Execution to Improve Cache-Timing Attacks will appear at CHES 2024
19 Feb 2024
I will serve on the PC at QCNC 2024
01 Jan 2024
The project Terahertz Imaging for Side-Channel Attacks is funded under the National Intelligence and Security Discovery Research Grants
14 Dec 2023
I receive the Excellence in Research Award from the School of Computing and Information Systems , The University of Melbourne
05 Dec 2023
I will give an invited talk Cache-Timing Attack Against HQC at Quantum Safe Migration Center
14 Nov 2023
I will serve on the PC at COSADE 2024
14 Oct 2023
The paper TeeJam: Sub-Cache-Line Leakages Strike Back will appear at CHES 2024
26 Sep 2023
Cyber Today, the Magazine of the Australian Information Security Association (AISA) , has a piece on CryptOpt
02 Aug 2023
I will serve on the Editorial Board at Communications in Cryptology 2024
20 Jul 2023
The work on CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives won the 2023 Humies Gold Award at GECCO 2023
12 Jul 2023
I will serve on the PC at Eurocrypt 2024
10 Jul 2023
I will be a speaker at RISE Workshop
05 Jun 2023
The paper Probing Live PN Junctions With Terahertz Waves will appear at IRMMW-THz 2023
18 May 2023
I will give an invited talk CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives at ACAI 2023
13 May 2023
I will give an invited talk CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives at XIV CNCCAR
11 May 2023
The paper CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives will receive a Distinguished Paper Award at PLDI 2023
19 Apr 2023
I will serve on the PC at ACNS 2024
14 Apr 2023
The paper Cache-Timing Attack Against HQC will appear at CHES 2023
04 Apr 2023
The paper CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives will appear at PLDI 2023
22 Feb 2023
I will serve on the PC at Africacrypt 2023
06 Feb 2023
I will serve on the PC at ISC 2023
28 Jan 2023
The paper BunnyHop: Exploiting the Instruction Prefetcher will appear at USENIX Security 2023
28 Jan 2023
The paper Ultimate SLH: Taking Speculative Load Hardening to the Next Level will appear at USENIX Security 2023
01 Jan 2023
I join The University of Melbourne as a Senior Lecturer