Incremental Attack Synthesis
ACM SIGSOFT Software Engineering Notes, pp. 16-16, 2019.
Information leakage is a signi cant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In recent years, techniques have been developed for automated synthesis of adaptive side-channel attacks that recover secret values by iteratively generating inputs to reveal partial inf...More
Full Text (Upload PDF)
PPT (Upload PPT)