Cited By
View all- Filinski ALarsen KJensen T(2024)Axiomatising an information flow logic based on partial equivalence relationsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00756-z26:4(445-461)Online publication date: 1-Aug-2024
- Venkatakrishnan VXu WDuVarney DSekar R(2022)Provably Correct Runtime Enforcement of Non-interference PropertiesInformation and Communications Security10.1007/11935308_24(332-351)Online publication date: 10-Mar-2022
- Naumann DNgo M(2019)Whither Specifications as ProgramsUnifying Theories of Programming10.1007/978-3-030-31038-7_3(39-61)Online publication date: 8-Oct-2019
- Show More Cited By