BLOGS WEBSITE

Category: Research

CCS 2016: “Make Sure DSA Signing Exponentiations Really are Constant-Time”

  Our joint work with researchers from the Tampere University of Technology on a weakness in OpenSSL has been accepted to CCS 2016. C. Pereida García, B. B. Brumley and Y. Yarom, “Make Sure DSA Signing Exponentiations Really are Constant-Time”, Abstract: TLS and SSH are two of the most commonly used protocols for securing Internet traffic. Many of the implementations of […]

Posted in Publications, Research, Security | Tagged |

Comments Off on CCS 2016: “Make Sure DSA Signing Exponentiations Really are Constant-Time”

Yuval Yarom to deliver a keynote talk at PROOFS 2016

Yuval Yarom has been invited to present a keynote talk at PROOFS 2016. PROOFS is a security workshop focusing on Security Proofs for Embedded Systems. Title: Thwarting cache-based side-channel attacks Abstract: Cache-based side-channel attacks leak sensitive information through a shared cache. The attacker exploits contention on the cache to trace the victim’s access to memory. These traces […]

Posted in News, Security | Tagged |

Comments Off on Yuval Yarom to deliver a keynote talk at PROOFS 2016

CDIT Presenting in CHES 2016

Next week CDIT is presenting two papers and a tutorial in CHES 2016. The papers are: L. Groot Bruinderink, A. Hülsing, T. Lange and Y. Yarom, Flush, Gauss, and Reload – A Cache Attack on the BLISS Lattice-Based Signature Scheme. We present the first side-channel attack on a lattice-based signature scheme, using the FLUSH+RELOAD cache-attack. The […]

Posted in News, Publications, Security | Tagged |

Comments Off on CDIT Presenting in CHES 2016

CDIT success at 25th ACM CIKM 2016

CDIT researchers have made another successful year at this year’s ACM CIKM conference (http://cikm2016.cs.iupui.edu/), to be held at Indianapolis, USA in Oct. With acceptance rate of full papers as low as 17%, CDIT secured 3 full research papers and 2 short papers. Well done and congratulations!! The three full research papers are: 1. Efficient Orthogonal […]

Posted in News, Web Technologies | Tagged |

Comments Off on CDIT success at 25th ACM CIKM 2016

PhD graduate recognised by Dean’s Commendation for Doctoral Thesis Excellence

Scott Bourne’s PhD thesis was recognised by Dean’s Commendation for Doctoral Thesis Excellence. Co-supervised by Prof. Michael Sheng and Dr Claudia Szabo, Scott’s PhD project focuses on developing novel solutions on formal validation of service-based business processes based on model checking techniques. The result has the potential to be applied in mission-critical applications (e.g., defence) […]

Posted in Complex Systems, News, Web Technologies | Tagged |

Comments Off on PhD graduate recognised by Dean’s Commendation for Doctoral Thesis Excellence

Research Grant: Assessment and OS-Level Mitigation of Timing Channels. Y.Yarom and K. Falkner, Data61 CRP Research Agreement ($682,684) (2016-2019)

Our collaboration with Data 61’s Trustworthy Systems research program (UNSW) continues with a further, multi-year, extension of our CRP Research Agreement in the area of Security and Virtualisation. Dr Yuval Yarom leads this latest grant collaboration, which will survey micro-architectural time-based covert channels and side channels on modern architectures. It will survey existing exploits and mitigation strategies, and attempt […]

Posted in Research, Security | Tagged |

Comments Off on Research Grant: Assessment and OS-Level Mitigation of Timing Channels. Y.Yarom and K. Falkner, Data61 CRP Research Agreement ($682,684) (2016-2019)

The best metrics for identifying self-organisation

Self-organisation is one of the key properties of complex systems yet automated tools to identify it have yet to be applied to systems other than toy models such as the Game of Life. Lachlan’s work is looking at implementing system complexity, Chan’s interaction metric, limited bandwidth recognition, de-centralised emergence detection and multi-scale Shannon entropy. His experiments […]

Posted in Complex Systems, News | Tagged |

Comments Off on The best metrics for identifying self-organisation

Research Grant: Drones for Good: Airborne spatial tracking for saving endangered species. D. Ranasinghe, L. P. Koh, K. Falkner, B. Ostendorf, G. Puddy, ARC Linkage Project ($181,194) (2016-2018)

This project aims to develop an automated and distributed spatial tracking approach using low cost Unmanned Aerial Vehicles (UAVs) to locate and study endangered wildlife. Understanding animal behaviour and habits with granular spatial data is essential to develop effective monitoring and conservation strategies. Spatial tracking of radio collared wildlife using radio telemetry is a critical […]

Posted in Modelling and Analysis, Research, Ubiquitous Computing | Tagged |

Comments Off on Research Grant: Drones for Good: Airborne spatial tracking for saving endangered species. D. Ranasinghe, L. P. Koh, K. Falkner, B. Ostendorf, G. Puddy, ARC Linkage Project ($181,194) (2016-2018)

WSC 2016: CASL: A DECLARATIVE DOMAIN SPECIFIC LANGUAGE FOR MODELING COMPLEX ADAPTIVE SYSTEMS

Lachlan’s paper proposing a modeling language for complex adaptive systems has been accepted to WSC 2016! Abstract: Complex adaptive systems (CAS) are ubiquitous across many domains, such as social networks, supply chains, and smart cities. Currently, the modeling and analysis of CAS relies on adapting techniques used for multi-agent simulation, an approach which lacks several features […]

Posted in Complex Systems, Research | Tagged |

Comments Off on WSC 2016: CASL: A DECLARATIVE DOMAIN SPECIFIC LANGUAGE FOR MODELING COMPLEX ADAPTIVE SYSTEMS

Research Contract: Computing Infrastructure Performance and Interoperability Research (Generic Vehicle Architecture Integration). K. Falkner and C. Szabo, DST Group Research Contract ($110,000) (2016)

This contract agreement continues our collaborative research relationship with DST Group on the MEDEA modelling environment. This research agreement supports three related areas of further research: research, development and integration of new SEM baseline capabilities that will allow for the integration of existing UML-based models; research, development and integration of new SEM baseline modelling and […]

Posted in Modelling and Analysis, Research | Tagged |

Comments Off on Research Contract: Computing Infrastructure Performance and Interoperability Research (Generic Vehicle Architecture Integration). K. Falkner and C. Szabo, DST Group Research Contract ($110,000) (2016)