A Logical System for Modular Information Flow Verification. - Adi Prabawa; Mahmudul Faisal Al Ameen; Benedict Lee; Wei-Ngan Chin (VMCAI, 2018)