Modeling the AWS Authorization Engine.

Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gkhan Kici, Neha Rungta, Mary Southern, Chungha Sung

Browse the full FMCAD paper archive.