Speaker Deck

A Formal Framework for Program Anomaly Detection

by Xiaokui Shu

Published November 3, 2015 in Research

The slides for my RAID '15 paper (same title). Recording: https://youtu.be/1SmdyImOvY4