Mechanized Information Flow Analysis through Inductive Assertions.

Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young

Browse the full FMCAD paper archive.