Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses.

Nicolas D. Ahn, Sepehr Amir-Mohammadian

Browse the full COMPSAC paper archive.