TY  - RPRT
TI  - SseRex: Practical Symbolic Execution of Solana Smart Contracts
AU  - Tobias Cloosters
AU  - Pascal Winkler
AU  - Jens-Rene Giesen
AU  - Ghassan Karame
AU  - Lucas Davi
PY  - 2026
UR  - https://arxiv.org/abs/2603.16349
ID  - 2603.16349
ER  -