Showing cs.CRShow all
3 papers · 1 filter
cs.CR2025
Granite: Granular Runtime Enforcement for GitHub Actions Permissions
Mojtaba Moazen, Amir. M Ahmadian, Musard Balliu
Modern software projects use automated CI/CD pipelines to streamline their development, build, and deployment processes. GitHub Actions is a popular CI/CD platform that enables pro…
cs.CR2025
Securing P4 Programs by Information Flow Control
Anoud Alshnakat, Amir M. Ahmadian, Musard Balliu +2
Software-Defined Networking (SDN) has transformed network architectures by decoupling the control and data-planes, enabling fine-grained control over packet processing and forwardi…
cs.CR2023
Disjunctive Policies for Database-Backed Programs
Amir M. Ahmadian, Matvey Soloviev, Musard Balliu
When specifying security policies for databases, it is often natural to formulate disjunctive dependencies, where a piece of information may depend on at most one of two dependenci…