Cited By
View all- Andersen MKumar SAbdelBaky MFierro GKolb JKim HCuller DPopa RHeninger NTraynor P(2019)WAVEProceedings of the 28th USENIX Conference on Security Symposium10.5555/3361338.3361434(1375-1392)Online publication date: 14-Aug-2019
- Liu Y(2018)Logic programming applicationsDeclarative Logic Programming10.1145/3191315.3191326(519-548)Online publication date: 1-Sep-2018
- Guarda PRanise SSiswantoro HBertino ESandhu RWeippl E(2017)Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information SystemsProceedings of the 22nd ACM on Symposium on Access Control Models and Technologies10.1145/3078861.3078879(247-254)Online publication date: 7-Jun-2017
- Show More Cited By