Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif. Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. In Guojun Wang, Mohammed Atiquzzaman, Zheng Yan 0002, Kim-Kwang Raymond Choo, editors, Security, Privacy, and Anonymity in Computation, Communication, and Storage - SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings. Volume 10658 of Lecture Notes in Computer Science, pages 209-218, Springer, 2017. [doi]
Abstract is missing.