Linked Presentation: Automatic Policy Generation for Inter-Service Access Control of MicroservicesSelectiveTaint: Efficient Data Flow Tracking With Static Binary RewritingTowards Formal Verification of State Continuity for Enclave Programs
