Coping with Outside-the-Box Attacks
Abstract elided by the publisher.
Related papers
- Systematic Classification of Attackers via Bounded Model Checking VMCAI 2020
- One Pixel Adversarial Attacks via Sketched Programs PLDI 2023
- Modeling black-box components with probabilistic synthesis GPCE 2020
- Deep Learning Robustness Verification for Few-Pixel Attacks OOPSLA 2023
- BlackBox: lightweight security monitoring for COTS binaries CGO 2016
- Typing dynamic typing ICFP 2002
- Verbatim++: verified, optimized, and semantically rich lexing with derivatives CPP 2022
- Static Identification of Injection Attacks in Java TOPLAS 2019