@misc{indiciaea7bbb99fa4b7, 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}, url = {https://arxiv.org/abs/2411.11567}, note = {Source identifier: 2411.11567} }