Daniel Weber 0007, Lukas Gerlach 0001, Leon Trampert, Youheng Lü, Jo Van Bulck, Michael Schwarz 0001. SCASE: Automated Secret Recovery via Side-Channel-Assisted Symbolic Execution. In Lujo Bauer, Giancarlo Pellegrino, editors, 34th USENIX Security Symposium, USENIX Security 2025, Seattle, WA, USA, August 13-15, 2025. pages 5739-5758, USENIX Association, 2025. [doi]
Abstract is missing.