Incremental Adaptive Attack Synthesis
arXiv: Software Engineering, 2019.
Information leakage is a significant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In this paper, we present techniques for automated synthesis of adaptive side-channel attacks that recover secret values. Our attack synthesis techniques iteratively generate inputs w...More
PPT (Upload PPT)