@article{gnnbasedcodeannotationlogicfor, title = {GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code}, author = {Varun Gadey and Raphael Goetz and Christoph Sendner and Sampo Sovio and Alexandra Dmitrienko}, year = {2024}, eprint = {2411.11567}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2411.11567v2}, }