Detecting Multi-Step IAM Attacks in AWS Environments via Model Checking

TitleDetecting Multi-Step IAM Attacks in AWS Environments via Model Checking
Publication TypeConference Paper
Year of Publication2023
AuthorsShevrin I, Margalit O
Conference Name32nd USENIX Security Symposium (USENIX Security 23)
Date Published08/2023
PublisherUSENIX Association
Conference LocationAnaheim, CA
ISBN Number978-1-939133-37-3
URLhttps://www.usenix.org/conference/usenixsecurity23/presentation/shevrin