Expressive policy analysis with enhanced system dynamicity.

Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara

Browse the full CCS paper archive.