Software is both a foundational tool and a primary output of modern computational research, yet citation practices for software remain inconsistent, incomplete, and rarely machine-actionable. Existing infrastructure designed for paper and data citation does not adequately serve the distinct needs of software citation,...
Phil R. Van-Lane, F. Broekgaarden, Daniel S. Katz et al.· 0 citations
A provenance-bounded runtime authorization architecture that quarantines acquired outputs, resolves their actual capabilities from authenticated provider evidence through a versioned resolver, and activates them only through a current activation transaction that checks the resolved manifest, provenance, epochs, and a d...
Gen-Liang Zhu, Chu Wang Accentrust, Georgia Institute of Technology et al.· 0 citations
This work presents ClosureBound, a reference monitor that prevents authorization transfer across material changes to this heterogeneous closure, and establishes metadata non-authority, closure determinism, version non-inheritance, effect non-amplification, bound-value freshness, and path invariance.
Gen-Liang Zhu, Chu Wang Accentrust, Georgia Institute of Technology et al.· 0 citations
This work introduces a random variant sampler that applies common semantics-preserving transformations (SPTs) - spanning control-flow rewrites, dead-code injection, and identifier renaming - to produce perturbed variants, demonstrating that even top frontier models are susceptible to semantics-preserving perturbations.
Hasan Mahmud, Shreya Gupta, Isha Chaudhary et al.· 3 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
