OR

Browse By

A mechanized framework for weak memory model security (2019)

Grant type:
Commonwealth Defence Science and Technology Group
Researchers:

  • Dr Larissa Meinicke

    Lecturer
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Commonwealth Department of Defence