D43ABC72-5C44-4720-B42E-B73DEB8CEDEDQuantitative Information FlowResearch GrantEP/C545605/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL871404A3D9701-06A2-43EF-B932-AFEF07C72614Noninterference for Deterministic Interactive Programsf5dc902373e38d217862c02d5010255bD Clark2009-01-01Conference/Paper/Proceeding/Abstractm_201796354113dc12bc