Book
Open access
Oct 2026
ControlsDSL: A Language for Verifiable Cloud Configuration Controls
Cloud providers rely on compliance controls to ensure that customer resources are configured according to security best practices -- from encryption of storage to network isolation of compute instances. Today, these controls are typically written as general-purpose programs (e.g., in Python or Java), making them diffic...
Miyriee Alair, Shrutarshi Basu, Sean Cai et al.
· Proceedings of the 41st IEEE... · 0 citations