High-Assurance Synthesis of Security Services from Basic Microservices.

Sung Kim, Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen

Browse the full ISSRE paper archive.