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
- Pasqua MMiculan M(2024)Behavioral equivalences for AbUTheoretical Computer Science10.1016/j.tcs.2024.114537998:COnline publication date: 1-Jun-2024
- Raimondi GBesson FJensen T(2023)Type-directed Program Transformation for Constant-Time EnforcementProceedings of the 25th International Symposium on Principles and Practice of Declarative Programming10.1145/3610612.3610618(1-13)Online publication date: 22-Oct-2023
- Show More Cited By