Tiramisu

OVERVIEW

  • In this project we explore techniques beyond those in the Program Analysis domain, to find bugs and vulnerabilities, as well as ways of preventing such bugs and vulnerabilities from happening in the first instance, through Secure Languages.

    Our main challenges

    1. We explore fuzzing and machine learning techniques to find bugs and vulnerabilities
    2. We explore Secure Languages and their applications to commercial codebases

    To find out more, contact Cristina Cifuentes.

PUBLICATIONS

 

VISITING STUDENTS

  • Dec 2016 - Feb 2017: Chris Gage, Intern, Queensland University of Technology
  • Feb - Nov 2016: Timothy Chappell, Visiting Postdoc, Queensland University of Technology