4 papers
Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification
Amir M. Ahmadian, Hazem Torfah
Formalisms for hyperproperties provide a solid foundation for studying the verification problem across classes of relational properties, such as those in information flow control (…
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…
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…
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…