Location: CLT 7.01 Date/Time: 28th May 2015, 14:00 - 15:00
Speaker(s): Speaker: Alexander Kaitai Liang (Aalto University, Finland).
To date, the growth of electronic personal data leads to a trend that data owners prefer to remotely outsource their data to clouds so as to enjoy the high-quality retrieval and storage service without the burden of local data management and maintenance. However, sharing and searching for the outsourced data becomes a formidable task upon considering the protection of the sensitive personal information. With the increasing awareness of privacy, secure encrypted data share and search is of critical importance nowadays. This talk will introduce some works on privacy-preserving and expressive encrypted data share/search from the point of view of public key cryptography.
Location: CLT 7.01 Date/Time: 9th June 2015, 14:00 - 15:00
Speaker(s): Colin Johnson (University of Kent).
Brief Description:Computer programs are written to achieve a task. Program testing and verification processes typically ask the question of whether a program achieves its task or not. In this talk I would like to tackle a related but under examined question, which is whether we can quantify the progress that each program step makes towards achieving its task. This will begin with the idea that each step in a correct program creates some information that is relevant to the task. We will quantify this contribution by using ideas from information theory: compressibility, normalised information distance, and entropy. This talk will include a discussion of the implications of these ideas for bug finding and program synthesis. I will end the talk by discussing whether such measurement methods could also be useful in analysing programs that represent simulations, for example in computational biology.
Location: DAYSH 1.29 (please note an unusual venue!) Date/Time: 10th June 2015, 14:00 - 16:00
Speaker(s): Dr Steve Wright, University of the West of England.
Brief Description:In this talk, Dr Steve Wright looks at how an aircraft's avionics and their associated sensor/actuator systems can fail (and they do fail), and how these systems are designed to be resilient to these failures in hardware, software and architecture. The talk will include practical examples from aircraft industry history and Steve's own experience.
Location: CLT 7.01 Date/Time: 16th June 2015, 14:00 - 15:00
Speaker(s): Vincenzo De Florio (University of Antwerp).
Brief Description:In this talk I tackle this problem by introducing a behavioural model of resilience. I interpret resilience as the property emerging from the interaction of the behaviours produced by two "players": a system and a hosting environment. The outcome of said interaction depends on both intrinsic and extrinsic factors, including the systemic "traits" of the system but also how the system's endowment matches the requirements expressed by the behaviours of the environment. I show how the behavioural approach provides a unifying framework within which it is possible to express coherent definitions for elasticity, change tolerance, and antifragility.