Yuval Yarom Over the past decades, processors have become increasingly more intricate. This added complexity results in an ever widening gap between program execution and the model programmers use when developing software. In this talk we explore some of the...
- 20/01/2020
Dr. Ron Steinfeld Monash University We discuss new techniques for design and analysis of efficient lattice-based zero-knowledge proofs (ZKP). First, we review previous work, and then introduce our recent work on one-shot proof techniques for non-linear polynomial relations, where the protocol achieves a...
- 12/01/2020
Divesh Srivastava Data are being generated, collected and analyzed today at an unprecedented scale, and data-driven decision making is sweeping through all aspects of society. As the use of big data has grown, so too have concerns that poor quality...
- 17/12/2019
Albert Bifet Big Data and the Internet of Things (IoT) have the potential to fundamentally shift the way we interact with our surroundings. The challenge of deriving insights from the Internet of Things (IoT) has been recognized as one of...
- 17/12/2019
Professor Sanjay K. Jha1 UNSW Sydney In this talk, I will discuss how the community is converging towards the IoT vision having worked in wireless sensor networking and Machine-2-Machine (M2M) communication. This will follow a general discussion of security challenges in IoT....
- 22/01/2019
Professor Fabio Casati1 1University of Trento While machine learning has made amazing progress over the last decades and perhaps even more in recent years, there are still many practical problems that fall outside its reach. The “classical” machine learning setup...
- 21/01/2019
Thomas Sewell1 1Chalmers University, sewell@chalmers.se Computer software is usually written in one language (the source language) and translated from there into the native binary language of the machine which will execute it. Most operating systems, for instance, are written...
- 13/01/2019
Flora Salim1 1Computer Science and IT, School of Science, RMIT University, Melbourne, VIC, flora.salim@rmit.edu.au Context is the most influential signal in analysing human behaviours. Effective and efficient techniques for analyzing contexts inherent in the spatio-temporal sensor data from...
- 06/01/2019
Wenjie Zhang Many real applications naturally use graph to model the relationships of entities, including social networks, World Wide Web, collaboration networks, and biology. Many fundamental research problems have been extensively studied due to the proliferation of graph applications. Among...
- 18/12/2018
Vicki Bennett Summary: The My Health Record is the first national person-centred digital health record in Australia. The Australian Institute of Health and Welfare (AIHW) has been appointed to facilitate access to this data for research and public health purposes,...
- 17/12/2018