A mechanized framework for weak memory model security (2019)

Grant type:
Commonwealth Defence Science and Technology Group
Researchers:
  • Lecturer
    School of Information Technology and Electrical Engineering
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Commonwealth Defence Science and Technology Group