Skip To Main Content
Michael Emmi on Muck Rack

Michael Emmi

As seen in: Amazon Science
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Michael Emmi’s profile

Articles by Michael Emmi

Compositional taint analysis for enforcing security policies at scale

|
By Michael Emmi, Antonio Filieri, Liana Hadarean, Subarno Banerjee
| Amazon Science
Automated static dataflow analysis is an effective technique for detecting security critical issues like sensitive data leak, and vulnerability to injection attacks. Ensuring high precision and recall requires an analysis that is context, field and object sensitive. However, it is challenging to attain high precision and recall and scale to large industrial code bases.
Open in Who Shared Issue with article?

Rapid: Checking API usage for the cloud in the cloud

|
By Lee Pike, Michael Emmi, Liana Hadarean, Nicolás Rosner
| Amazon Science
We present Rapid, an industrial-strength analysis developed at AWS that aims to help developers by providing automatic, fast and actionable feedback about correct usage of cloud-service APIs. Rapid’s design is based on the insight that cloud service APIs are structured around short-lived request- and response-objects whose usage patterns can be specified as value-dependent type-state automata and be verified by combining local type-state with global value-flow analyses.We describe various...
Open in Who Shared Issue with article?
Show More