Day 3 – 23 February 2022

All times are in AEST (Brisbane local time)

Time  Item

08:30am – 09:00am

Coffee and tea on arrival
09:00am – 09:05am Opening

Dali Kaafar, Macquarie University
09:05am – 09:45am Sponsor’s address (In-person presentation)

University of Queensland (Graeme Smith)
Macquarie University (Dali Kaafar)

09:45am – 10:15am

 Session chair: Marthie Grobler (Remote facilitation)

IoT Testing at Scale (In-person presentation)

Kylie McDevitt, InfoSect

10:15am – 10:45am

Prime+Probe 1, JavaScript 0: Overcoming Browser-based Side-Channel Defenses (In-person presentation)

Dr Yuval Yarom, University of Adelaide 

10:45am – 11:05am

 Morning break

11:05am – 12:20am

 Session chair: Adriel Cheng (Remote facilitation)

Session 4: Formal Methods; Secure Software Engineering

11:05am – 11:20am Seed Selection for Successful Fuzzing (In-person presentation)

Adrian Herrera, Hendra Gunadi, Liam Hayes, Shane Magrath, Maggi Sebastian, Felix Friedlander, Michael Norrish and Antony Hosking 

11:20am – 11:35am

Extended Abstract: Towards Practical Verified Information Flow Security for Concurrent Programs (Remote presentation)

Toby Murray

11:35am – 11:50am

What is a Secure Programming Language? (In-person presentation)

Cristina Cifuentes and Gavin Bierman 
 

11:50am – 12:05pm

Verified Verifiers for Verified Elections (In-person presentation)

Thomas Haines, Rajeev Gore and Mukesh Tiwari 

12:05pm – 12:20pm

An abstract semantics of speculative execution for reasoning about security vulnerabilities (In-person presentation)

Robert Colvin and Kirsten Winter  

12:20pm – 1:15pm

Lunch

1:15pm – 2:15pm

 Session chair: Regine Richelle (Remote facilitation)

Keynote address | Arms race in memory error exploit and defense (Remote presentation)

A/Prof. Zhenkai Liang, National University of Singapore

2:15pm – 2:45pm

Session 5: Formal Methods; Secure Software Engineering And Cryptography

2:15pm – 2:30pm

Passive Packet Sniffing Tools for Enabling Wireless Situational Awareness (In-person presentation)

Kwon Choi, Harini Kolamunna, Kanchana Thilakarathna, Suranga Seneviratne, Ralph Holz, Mahbub Hassan and Albert Zomaya 
2:30pm – 2:45pm

Traceable Monero: Anonymous Cryptocurrency with Enhanced Accountability (Remote presentation)

Yannan Li, Guomin Yang, Willy Susilo, Yong Yu, Man Ho Au and Dongxi Liu 

2:45pm – 3:00pm Closing Day 3

Gareth Parker, Defence Science and Technology (DST) Group

Return to Past Events