PL Reading Group

The Macquarie University Programming Languages Reading Group is a collection of faculty, students and researchers in the Department of Computing at Macquarie University who are interested in learning more about programming language design and implementation. Attendees from outside Macquarie are also welcome.

We read papers and articles on programming language topics and discuss them at (mostly) weekly meetings. Topics are chosen according to the interests of the participants. Occasionally, we have seminars from visitors or students presenting their current work or watch videos on programming language topics.

We meet on Fridays from 4-6pm in 9WW357 (formerly E6A357) except when there is a Friday afternoon seminar and social event in the department. For directions to the Macquarie campus, see here.

The reading group is organised by Anthony SloaneMatthew Roberts, Franck Cassez and Dominic Verity. Please contact them if you are interested in participating.

Announcements about reading group meetings are sent to the whole Department of Computing, but we also maintain a mailing list for regular participants and for participants who are not in the department. The mailing list receives announcements and special mailings not of general interest. Anyone can ask to be subscribed to the list. Alternatively, you can receive announcements by subscribing to the RSS feed of the Latest Space News for the Programming Languages Research Group (PLRG) via the sidebar to the left of this page.

Current Topic: The State of Fault Injection Vulnerability Detection

On September 28, Thomas Given-Wilson will present his work described below.

Fault injection is a well known method to test the robustness and security vulnerabilities of software. Fault injections can be explored by simulations (cheap, but not validated) and hardware experiments (true, but very expensive). Recent simulation works have started to apply formal methods to the detection, analysis, and prevention of fault injection attacks to address verifiability. However, these approaches are ad-hoc and extremely limited in architecture, fault model, and breadth of application. Further, there is very limited connection between simulation results and hardware experiments. Recent work has started to consider broad spectrum simulation approaches that can cover many fault models and relatively large programs. Similarly the connection between these broad spectrum simulations and hardware experiments is being validated to bridge the gap between the two approaches. This presentation highlights the latest developments in applying formal methods to fault injection vulnerability detection, and validating software and hardware results with one another.

Thomas Given-Wilson is a post-doctoral researcher at INRIA TAMIS, Le Chesnay, France. He holds a PhD from the University of Technology, Sydney.

 

Previous topics

PL Reading Group Archive

Future topics

Some ideas are here: PL Reading Group Topic List

 


  • No labels