GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code. - Varun Gadey; Raphael Götz; Christoph Sendner; Sampo Sovio; Alexandra Dmitrienko (CoRR, 2024)