Cited By
View all- Lu YZhang C(2020)Nontransitive Security Types for Coarse-grained Information Flow Control2020 IEEE 33rd Computer Security Foundations Symposium (CSF)10.1109/CSF49147.2020.00022(199-213)Online publication date: Jul-2020
- Gerking CSchubert D(2019)Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures2019 IEEE International Conference on Software Architecture (ICSA)10.1109/ICSA.2019.00015(61-70)Online publication date: Mar-2019
- Bauereiβ TPesenti Gritti APopescu ARaimondi F(2018)CoSMedJournal of Automated Reasoning10.1007/s10817-017-9443-361:1-4(113-139)Online publication date: 1-Jun-2018
- Show More Cited By