SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses — EuroS&P 2021
SoK: All You Need to Know About On-Device ML Model Extraction - The Gap Between Research and Practice — USENIX 2024