Skip to content
Log in

Author

Ahmad Abadleh

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Open access Sep 2026

EffectSeal Replication Package for "Beyond Plans and Permissions: Enforcing Physical Effect Closure in Infrastructure Automation"

This record contains the replication package for the manuscript “Beyond Plans and Permissions: Enforcing Physical Effect Closure in Infrastructure Automation.” The package provides the EffectSeal reference implementation, executable verification tests, controlled Terraform/AWS-provider experiment configurations and frozen evidence, historical AWS Lambda and S3 provider reproductions, the AWS authorization-projection census and validity-hardening data, counterfactual stability and divergence analyses, approval-contract renderings, operational-cost accounting, and ordered-monitor scalability measurements. It also contains the frozen genuine-AWS CloudWatch Logs mediation witness and sanitized AWS CloudTrail corroboration. Reproduction instructions are provided in the package README and reproduction guide. The artifact supports the bounded empirical and reproducibility claims reported in the manuscript; it is not presented as production-wide cloud deployment validation or as a measurement of production end-to-end overhead.Licensing: Original EffectSeal software is released under the MIT License. Original data, documentation, and research artifacts produced by the authors are released under the Creative Commons Attribution 4.0 International License. Third-party materials and software remain subject to their respective copyright and license terms and are not relicensed by the authors.

Hamad Alsawalqah, Ahmad Abadleh · 0 citations
#software testing Open access Sep 2026

EffectSeal Replication Package for "Beyond Plans and Permissions: Enforcing Physical Effect Closure in Infrastructure Automation"

This record contains the replication package for the manuscript “Beyond Plans and Permissions: Enforcing Physical Effect Closure in Infrastructure Automation.” The package provides the EffectSeal reference implementation, executable verification tests, controlled Terraform/AWS-provider experiment configurations and frozen evidence, historical AWS Lambda and S3 provider reproductions, the AWS authorization-projection census and validity-hardening data, counterfactual stability and divergence analyses, approval-contract renderings, operational-cost accounting, and ordered-monitor scalability measurements. It also contains the frozen genuine-AWS CloudWatch Logs mediation witness and sanitized AWS CloudTrail corroboration. Reproduction instructions are provided in the package README and reproduction guide. The artifact supports the bounded empirical and reproducibility claims reported in the manuscript; it is not presented as production-wide cloud deployment validation or as a measurement of production end-to-end overhead.Licensing: Original EffectSeal software is released under the MIT License. Original data, documentation, and research artifacts produced by the authors are released under the Creative Commons Attribution 4.0 International License. Third-party materials and software remain subject to their respective copyright and license terms and are not relicensed by the authors.

Hamad Alsawalqah, Ahmad Abadleh · 0 citations