Modern cloud applications are built from loosely-coupled microservices that coordinate through well-defined APIs to service user requests. A single API request often triggers multiple downstream API calls, some executed sequentially and others spawned asynchronously in parallel. To certify safe and secure inter-service...
Karuna Grewal, P. B. Godfrey, Justin Hsu et al.· 0 citations
This work designs Safe⟨ T⟩, an automaton-theoretic runtime monitoring framework for specifying and enforcing control-flow and data-aware policies over black-box distributed systems and builds a distributed runtime monitor on top of an emerging network infrastructure layer that can control inter-component communication.
Karuna Grewal· Companion Proceedings of the...· 0 citations
Many cloud-based applications are organized as loosely coupled microservices, where invoking a service's API triggers a cascade of APIs across many services and leads to inter-service exchange of API parameters and output responses. Current tools for monitoring microservice safety properties have limited expressiveness...
Karuna Grewal, P. B. Godfrey, Justin Hsu· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.