Cited By
View all- Ahmadian ASoloviev MBalliu M(2024)Disjunctive Policies for Database-Backed Programs2024 IEEE 37th Computer Security Foundations Symposium (CSF)10.1109/CSF61375.2024.00017(388-402)Online publication date: 8-Jul-2024
- Coughlin NLam KSmith GWinter K(2024)Detecting Speculative Execution Vulnerabilities on Weak Memory ModelsFormal Methods10.1007/978-3-031-71162-6_25(482-500)Online publication date: 9-Sep-2024
- Geraldo ECosta Seco JHildebrandt T(2023)Data-Dependent Confidentiality in DCR GraphsProceedings of the 25th International Symposium on Principles and Practice of Declarative Programming10.1145/3610612.3610619(1-13)Online publication date: 22-Oct-2023
- Show More Cited By