A Logical System for Modular Information Flow Verification.

Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin

Browse the full VMCAI paper archive.