Exploring and enforcing security guarantees via program dependence graphs.

Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong

Browse the full PLDI paper archive.