Just-In-Time Reactive Synthesis. - Shahar Maoz; Ilia Shevrin (ASE, 2020)

Detecting Multi-Step IAM Attacks in AWS Environments via Model Checking. - Ilia Shevrin; Oded Margalit (USENIX Security Symposium, 2023)

Performance Heuristics for GR(1) Realizability Checking and Related Analyses. - Roy Yatskan; Ilia Shevrin; Shahar Maoz (TACAS (1), 2025)