EasyChair Smart Slide
An Algebraic Approach for Reasoning About Information Flow
An Algebraic Approach for Reasoning About Information Flow