Scaling Information Flow Control By-Construction to Component-Based Software Architectures.

Rasmus C. Rnneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer

Browse the full FORTE paper archive.