Compositional Security Analysis of Dynamic Component-based Systems.

Narges Khakpour, Charilaos Skandylas.

ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, Pages 1232 – 1244.