SseRex: Practical Symbolic Execution of Solana Smart Contracts Tobias Cloosters Pascal Winkler Jens-Rene Giesen Ghassan Karame Lucas Davi 23rd Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '26)