A Formal Approach for the Verification of AWS IAM Access Control Policies. - Ehtesham Zahoor; Zubaria Asma; Olivier Perrin 001 (ESOCC, 2017)

NPCS: Native Provenance Computation for SPARQL. - Zubaria Asma; Daniel Hernández 002; Luis Galárraga; Giorgos Flouris; Irini Fundulaki; Katja Hose (WWW, 2024)

Code and benchmark for NPCS, a Native Provenance Computation for SPARQL. - Zubaria Asma; Daniel Hernández 002; Luis Galárraga; Giorgos Flouris; Irini Fundulaki; Katja Hose (DaRUS, 2024)