Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.

Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert

Browse the full TAP paper archive.